链接:http://acm.hdu.edu.cn/showproblem.php?pid=1811
3 3 0 > 1 1 < 2 0 > 2 4 4 1 = 2 1 > 3 2 > 0 0 > 1 3 3 1 > 0 1 > 2 2 < 1
OK CONFLICT UNCERTAIN
如果有点没访问,就是说明有环,说明矛盾。
如果队列同时有两个点在,说明这两个点大小关系不明,不明确。
#include<stdio.h> #include<vector> #include<algorithm> #include<queue> using namespace std; int f[10010]; int find(int x){return x==f[x]?x:f[x] = find(f[x]);} //初始化为自己 void Union(int x, int y){ int fx = find(x), fy = find(y); if(fx == fy)return ; if(fx>fy) swap(fx,fy); f[fx] = f[x] = f[y] = fy;//这样 就可以直接查f[i] 判断祖先了 } int num[20010][2]; int bi[20010]; vector <int>vec[10010]; int du[10010]; int main() { int T; int n,m,nn,mm; char a; while(scanf("%d%d",&n,&m)!=EOF) { for(int i=1;i<=n;i++) { f[i]=i; vec[i].clear(); du[i]=0;//入度 为0 说明是最小的 } for(int j=0; j<m; j++) { scanf("%d %c %d",&num[j][0],&a,&num[j][1]); num[j][0]++; num[j][1]++; if(a=='>') { bi[j]=1; } else if(a=='=') { Union(num[j][0],num[j][1]); bi[j]=0; } else { bi[j]=-1; } } for(int j=0;j<m;j++) { if(bi[j]==1) { du[find(num[j][0])]++; vec[find(num[j][1])].push_back(num[j][0]); } else if(bi[j]==-1) { du[find(num[j][1])]++; vec[find(num[j][0])].push_back(num[j][1]); } } int numb=0; int sum=0; queue<int>q; while(!q.empty()) q.pop(); for(int i=1;i<=n;i++)//开始最小的 { if(find(i)==i) sum++; if(du[find(i)]==0) { q.push(find(i)); du[find(i)]=-1;//表示已经访问过了, numb++; } } int flag=0; if(q.size()>1)//如果有两个同时入队 说明两者之间没有大小关系 不明确 flag=1; while(!q.empty()) { int tt=q.front(); q.pop(); tt=find(tt); for(int i=0;i<vec[tt].size();i++) { int dian=find(vec[tt][i]); du[dian]--; if(du[dian]==0) { q.push(dian); du[dian]=-1; numb++; } } if(q.size()>1) flag=1; } if(numb<sum)//如果有没访问过的点 就是有自环,说明矛盾 flag|=2; if(flag==0) puts("OK"); else if(flag==1) puts("UNCERTAIN"); else if(flag==2) puts("CONFLICT"); else puts("CONFLICT"); } return 0; }