poj1094 Sorting It All Out

链接：http://poj.org/problem?id=1094 
题意：题目的意思很简单。就是给定一些字母之间的先后关系，然后对其排序。 排序的结果有三种：一、唯一的序列；二、存在矛盾（即有环）；三、无法确定序列。总的来说是这三种，但每种又有好多种情况！！！这个是本题的难点，要把所有的情况都搞清楚。然后我说一下具体的情况：1、序列唯一。如果在输入了w条边后，序列已确定，即包含了所有前n个顶点，即便后面有矛盾，序列依旧确定；2、存在矛盾，即有环存在。如果既有多个无前驱节点（即无法确定排序）又有环，则先输出矛盾。3、无法确定序列。如果输入的字母大于了最后第n个字母，则排序无法确定。如果最终输入的最大的字母任然小于第n个字母，则无法排序。如果排序完毕，无矛盾，但是字母数量没达到n个，则无法确定排序。如果一个图的子图存在多个无前驱节点，则也无法确定排序（前提是图中无矛盾）。
这个题的图是随着边条数的增加不断更新的，然后边做判断。

#include<iostream>using namespace std;#define  MAXN 2500struct Edge{  int l,r;}edge[MAXN];int relate[30][30];char sans[30];  //ans再改为sans后，就能输出ABCD了int flag;int all_edge_num,edge_num,lett_num,rela_num;void  Topo_Sort(){  int i,j,u,zeroflag=0,count=1,temp_lett_num=0,zerodegree_num=0;  int into[30];  flag=1;  for(i=1;i<=lett_num;i++)  into[i]=-2;  memset(sans,'0',sizeof(sans));  for(i=1;i<=edge_num;i++){into[edge[i].l]=0;into[edge[i].r]=0;}  for(i=1;i<=lett_num;i++)  if(into[i]==0)temp_lett_num++;  for(i=1;i<=edge_num;i++)if(relate[edge[i].l][edge[i].r]>0)into[edge[i].r]++;  for(i=1;i<=lett_num;i++)if(into[i]==0)  zerodegree_num++; //入度为0的点的个数  if(zerodegree_num==0)  {    flag=0;    return;  }  if(zerodegree_num>1)zeroflag=1;   for(i=1;i<=temp_lett_num;i++)  {    j=0;u=1;while(into[u]!=0){  if(into[u]==-1)j++;  u++;  if(j>temp_lett_num||u>lett_num)  {flag=0;return;  }}sans[count++]=u+64;into[u]=-1;if(count==lett_num+1&&zerodegree_num==1)return ;for(int k=1;k<=edge_num;k++){   if(edge[k].l==u)into[edge[k].r]--;}if(!zeroflag){zerodegree_num=0;for(int t=1;t<=lett_num;t++)      if(into[t]==0)       zerodegree_num++;  if(zerodegree_num>1)  zeroflag=1;}    }  if((count<lett_num+1||zerodegree_num>1)&&(edge_num==all_edge_num))  {    flag=-1;return;  }  flag=-2;  return ;}int main(){int n,m,max1,max2,signal,conflict;int i;char a,b,c;while(cin>>n>>m){  if(n==0&&m==0)return 0;  lett_num=n;  all_edge_num=m;  conflict=0;  max2=0;  signal=0;  memset(relate,0,sizeof(relate));  for(i=1;i<=m;i++)  {    cin>>a>>c>>b;edge[i].l=a-64;edge[i].r=b-64;max1=(edge[i].l>edge[i].r)?edge[i].l:edge[i].r;if(max1>n&&!signal){  conflict=1;  signal=1;  rela_num=i;}  }  if(conflict)  {cout<<"Inconsistency found after "<<rela_num<<" relations."<<endl;continue;  }  for(i=1;i<=m;i++)  {relate[edge[i].l][edge[i].r]=1;max1=(edge[i].l>edge[i].r)?edge[i].l:edge[i].r;if(max1>max2)max2=max1;edge_num=i;rela_num=i;    Topo_Sort();    if(flag==1)    {  cout<<"Sorted sequence determined after "<<rela_num<<" relations: ";  for(int t=1;t<=n;t++)  cout<<sans[t];          cout<<"."<<endl;          break;      }    if(flag==0){cout<<"Inconsistency found after "<<rela_num<<" relations."<<endl;break;}    if(flag==-1){  cout<<"Sorted sequence cannot be determined."<<endl;  break;}if(i==m&&max2<n){  cout<<"Sorted sequence cannot be determined."<<endl;  break;}  }  }  return 0;}