POJ 1094 Sorting It All Out

      http://poj.org/problem?id=1094

　　这道题基本上是1A的……是过了样例之后就1A了，但是之前花了大量的时间。

　　题目大意是：给定一些关系，形如 x<y ，判断在第几个条件前能确定唯一的大小关系，或者无法判断他们之间的大小关系。

　　解法应该是拓扑排序，但是思路不清晰是很难办的……

　　首先应该判断图中有没有环，有环肯定无解，这个用拓扑排序解决。

　　然后，使用传递闭包判断得出的解是否唯一。

 

　　

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <queue>
#include <vector>
using namespace std;

vector<int> ans;
queue<int> q;
int degree[27],map[27][27],n,m;
bool vis[27];
char s[3];

bool topsort(){
	memset(degree,0,sizeof(degree));
	ans.clear();
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
			degree[j]+=map[i][j];
	for(int i=1;i<=n;i++)
		if(degree[i]==0) q.push(i);
	while(!q.empty()){
		int i=q.front();q.pop();
		ans.push_back(i);
		for(int j=1;j<=n;j++)
			if(map[i][j]){
				degree[j]--;
				if(!degree[j]) q.push(j);
			}
	}
	for(int i=1;i<=n;i++)
		if(degree[i]) return false;
	return true;
}
			

int main(){
	while(scanf("%d%d",&n,&m),n+m){
		memset(map,0,sizeof(map));
		bool answered=false;
		for(int t=1;t<=m;t++){
			getchar();
			scanf("%s",s);
			if(answered) continue;
			int u=s[0]-'A'+1,v=s[2]-'A'+1;
			map[u][v]=1;
			if(!topsort()){
                printf("Inconsistency found after %d relations.\n",t);
                answered=true;
            }
            for(int k=1;k<=n;k++)
	            for(int i=1;i<=n;i++)
	            	for(int j=1;j<=n;j++)
	            		if(map[i][k] && map[k][j]) map[i][j]=1;
	        memset(vis,false,sizeof(vis));
	        bool unique=true;
	        for(int i=1;i<=n;i++){
				int get=0;
				for(int j=0;j<=n;j++)
					if(i!=j) get+=map[i][j];
				if(!vis[get]) vis[get]=true;
				else{
					unique=false;
					break;
				}
			}
			if(!unique) continue;
			printf("Sorted sequence determined after %d relations: ",t);
			for(int i=0;i<n;i++) printf("%c",ans[i]+'A'-1);
			printf(".\n");
			answered=true;
		}
		if(!answered) printf("Sorted sequence cannot be determined.\n");
	}
	return 0;
}