拓扑排序专题 POJ - 1094

•题意：对于N个大写字母，给定它们的一些偏序关系，要求判断出经过多少个偏序关系之后可以确定它们的排序或者存在冲突，或者所有的偏序关系用上之后依旧无法确定唯一的排序。

•思路：题目要求的是经过多少个关系之后就可以确定答案，因此每读入一个关系，就要进行一次拓扑排序，如果某一次拓扑排序之后可以确定它们的唯一排序或者发现冲突存在，记录第几步，后面的直接略过。

不唯一确定：多个点入度为0，则不知道哪个点先哪个点后

发生冲突：存在回路

•注意：之前已经确定了符合约束的序列，那么之后再给出的矛盾的条件是无效的

#include<iostream>
#include<cstdio>
#include<cstring>
#include<math.h>
#include<algorithm>
#include<queue>
#define maxn 30
using namespace std;
bool G[maxn][maxn];
int in_degree[maxn];
int in_degTemp[maxn];
int n,m;
char ans[maxn];
priority_queue<int,vector<int>,greater<int> > q;
int  toposort(){
	int unsure=1;
	for(int i = 0;i < n; i++){
		if(in_degree[i]==0) q.push(i); 
	}
    int c = 0;
    while(!q.empty())
    {
		if(q.size()>1)     // 判断入度为0的是否只有一个
		    unsure=0;
        int v=q.top();
        q.pop();
        ans[c]=v+'A';
        c++;
        for(int i = 0; i < n; i++){
            if(!G[v][i]){
                continue;
            }
            in_degree[i]--;
            if(!in_degree[i])
                q.push(i);
        }
    }
    if(c<n) return -1;   //有回环 
    if(unsure==0) return 0;//不确定 
    return 1;  //唯一确定 
}
void init(){
    memset(G,0,sizeof(G));
    memset(in_degree,0,sizeof(in_degree));
    memset(in_degTemp,0,sizeof(in_degTemp));
    while(!q.empty()) q.pop();
    memset(ans,0,sizeof(ans));
}
int main(){
    while(cin>>n>>m){
    	if(n==0&&m==0){
    		break;
		}
        init();
        int res,flag=1,topo;
        for(int i = 1;i <= m; i++){
            char x,y,z;
            cin>>x>>z>>y;
	    if(flag==0) continue;
            int a=x-'A';
            int b=y-'A';  
	    in_degree[b]++; 
	    if(!G[a][b]) {
		G[a][b]=1;
	       }
	    memcpy(in_degTemp,in_degree,sizeof(in_degree));  //虚拟数组  
            topo=toposort();
	    memcpy(in_degree,in_degTemp,sizeof(in_degTemp));
	    if(topo!=0){
		res=i;
		flag=0;
		}
        }
	if(topo==1) {
	      cout<<"Sorted sequence determined after "<<res<<" relations: ";
	      for(int i = 0;i < n; i++){
		cout<<ans[i];
		}
	      cout<<"."<<endl;
	}
        else if(topo==0) cout<<"Sorted sequence cannot be determined."<<endl;
        else if(topo==-1) cout<<"Inconsistency found after "<<res<<" relations."<<endl;
        
			 
    }
    return 0;
}