題目鏈接

---

題意：就是給你一堆關系，看能不能排出個確定的順序

做法：

1. 拓撲排序+并查集

應該很容易想到的一種思路，大于小于建立單向邊。對于相等的呢，就把他們縮成一個點。就用并查集縮成一個點就行了

• 入度為0進隊列，隊列數目>1，有沖突
• 沒有遍歷完，信息不完整
• 不然，輸出OK

//#pragma comment (linker, "/STACK:102400000,102400000")
#include<bits/stdc++.h>
#include<stdio.h>
#include<string.h>
#include<string>
#include<iostream>
#include<algorithm>
#include<math.h>
#include<set>
#include<stack>
#include<vector>
#include<map>
#include<queue>
#include<list>
#include<time.h>
#define myself i,l,r
#define lson i<<1
#define rson i<<1|1
#define Lson i<<1,l,mid
#define Rson i<<1|1,mid+1,r
#define half (l+r)/2
#define lowbit(x) x&(-x)
#define min4(a, b, c, d) min(min(a,b),min(c,d))
#define min3(x, y, z) min(min(x,y),z)
#define max3(x, y, z) max(max(x,y),z)
#define max4(a, b, c, d) max(max(a,b),max(c,d))
//freopen("E://1.in","r",stdin);
//freopen("E://1.out","w",stdout);
typedef unsigned long long ull;
typedef long long ll;
#define pii make_pair
#define pr pair<int,int>
const int inff = 0x3f3f3f3f;
const int dir[4][2] = {0, 1, 0, -1, 1, 0, -1, 0};
const int mdir[8][2] = {0, 1, 0, -1, 1, 0, -1, 0, 1, 1, -1, 1, 1, -1, -1, -1};
const double eps = 1e-10;
const double PI = acos(-1.0);
const double E = 2.718281828459;
using namespace std;
const long long inFF = 9223372036854775807;
const int mod=1e9+7;
const int maxn=1e5+5;
struct nod
{int x,y;
}a[maxn];
vector<int> v[maxn];
int n,m;
int f[maxn],in[maxn];
int find(int x)
{return x==f[x]?x:f[x]=find(f[x]);
}
void init()
{for(int i=0;i<=n;i++) f[i]=i;for(int i=0;i<=n;i++) v[i].clear(),in[i]=0;
}
int main()
{while(cin>>n>>m){if(m==0) {if (n == 0 || n == 1) puts("OK");else puts("UNCERTAIN");continue;}int cnt=0;int x,y;char s[2];init();for(int i=1;i<=m;i++){scanf("%d%s%d",&x,s,&y);if(s[0]=='='){x=find(x);y=find(y);if(x!=y) f[x]=y;}else if(s[0]=='>') a[++cnt]=nod{x,y};else a[++cnt]=nod{y,x};}int fg=0;for(int i=1;i<=cnt;i++){int x=find(a[i].x);int y=find(a[i].y);if(x==y){fg=1;break;}v[x].push_back(y);in[y]++;}queue<int> q;int num=0,d=0;for(int i=0;i<n;i++){if(find(i)==i){d++;if(in[i]==0) q.push(i);}}if(fg) {puts("CONFLICT");continue;}while(!q.empty()){if(q.size()>1) fg=1;//信息不足int u=q.front();q.pop();num++;for(int x:v[u]){in[x]--;if(in[x]==0)q.push(x);}}if(num!=d) puts("CONFLICT");else if(fg==1) puts("UNCERTAIN");else puts("OK");}
}

2.差分約束最短路+并查集

因為上邊所述的關系屬于差分約束條件，考慮用差分約束來搞。

怎么構造差分直接跳——>點我，用并查集來判斷是否有沒有信息不完整

造完圖后就是一個最短路判環(huán)

如果有負環(huán)，沖突

如果

//#pragma comment (linker, "/STACK:102400000,102400000")
#include<bits/stdc++.h>
#include<stdio.h>
#include<string.h>
#include<string>
#include<iostream>
#include<algorithm>
#include<math.h>
#include<set>
#include<stack>
#include<vector>
#include<map>
#include<queue>
#include<list>
#include<time.h>
#define myself i,l,r
#define lson i<<1
#define rson i<<1|1
#define Lson i<<1,l,mid
#define Rson i<<1|1,mid+1,r
#define half (l+r)/2
#define lowbit(x) x&(-x)
#define min4(a, b, c, d) min(min(a,b),min(c,d))
#define min3(x, y, z) min(min(x,y),z)
#define max3(x, y, z) max(max(x,y),z)
#define max4(a, b, c, d) max(max(a,b),max(c,d))
//freopen("E://1.in","r",stdin);
//freopen("E://1.out","w",stdout);
typedef unsigned long long ull;
typedef long long ll;
#define pii make_pair
#define pr pair<int,int>
const int inff = 0x3f3f3f3f;
const int dir[4][2] = {0, 1, 0, -1, 1, 0, -1, 0};
const int mdir[8][2] = {0, 1, 0, -1, 1, 0, -1, 0, 1, 1, -1, 1, 1, -1, -1, -1};
const double eps = 1e-10;
const double PI = acos(-1.0);
const double E = 2.718281828459;
using namespace std;
const long long inFF = 9223372036854775807;
const int mod=1e9+7;
const int maxn=1e5+5;
int d[maxn],vis[maxn],f[maxn],cnt[maxn];
int head[maxn],sign;
struct node
{int to,p,val;
}edge[maxn];
int n,m,fg;
void init()
{for(int i=0;i<=n;i++){f[i]=i;head[i]=-1;cnt[i]=0;}sign=0;
}
void add(int u,int v,int val)
{edge[sign]=node{v,head[u],val};head[u]=sign++;
}
int find(int x)
{return x==f[x]?x:f[x]=find(f[x]);
}
void meger(int x,int y)
{int fx=find(x);int fy=find(y);if(fx!=fy)f[x]=y;//x->y 有一點疑惑，不知道為什么這么合并，但是確實能判斷信息是否完整
}
void spfa()
{for(int i=0;i<=n;i++) d[i]=inff,vis[i]=0,cnt[i]=0;d[0]=0;queue<int> q;q.push(0);while(!q.empty()){int u=q.front();q.pop();vis[u]=0;for(int i=head[u];~i;i=edge[i].p){int v=edge[i].to;if(d[v]>edge[i].val+d[u]){d[v]=edge[i].val+d[u];if(!vis[v]){vis[v]=1;if(++cnt[v]>n){cout<<"CONFLICT"<<endl;return ;}q.push(v);}}}}if(fg) cout<<"UNCERTAIN"<<endl;else cout<<"OK"<<endl;
}
int main()
{while(cin>>n>>m){int x,y;char ch;init();for(int i=1;i<=m;i++){scanf("%d %c %d",&x,&ch,&y);x++,y++;meger(x,y);if(ch=='=') add(y,x,0),add(x,y,0);else if(ch=='>') add(x,y,-1);else if(ch=='<') add(y,x,-1);}for(int i=1;i<=n;i++) add(0,i,0);int sum=0;fg=0;for(int i=1;i<=n;i++)if(i==find(i)) sum++;if(sum>1) fg=1;spfa();}
}

?

總結

以上是生活随笔為你收集整理的HDU1811 Rank of Tetris 拓扑排序+并查集 OR 差分约束最短路+并查集的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。