只是利用拓扑排序来计算！每加一个表达式就计算出他的拓扑排序：
1，不存在拓扑排序，就是表明这些表达式存在矛盾
2，如果存在唯一的拓扑排序，就可以输出结果
3，如果不存在唯一的排序，即存在入度相同的点，此时表示不能确定排序关系或者存在结果矛盾（所以在不能确定排序的时候，还要判断是不是存在环，从而确定是不是存在拓扑排序）
[cpp]
#include
//#include
using namespace std;
#define MAX 30
/*340K 16MS*/
//var
int n;
int a[MAX][MAX];
bool flag1,flag2; //flag1代表发现矛盾，flag2代表出现想要的结果
char s[MAX];
//fstream fin;
//function
void toposort();
//main函数
int main()
{
//fin.open("1094.txt",ios::in);
int m;
while(cin>>n>>m)
{
if(n==0&&m==0) break;
memset(a,0,sizeof(a));
flag1=flag2=false;
int count=0;
char b1,b2;
for(int i=0;i
cin>>b1>>b2>>b2;
if(flag1||flag2) continue;
if(a[b1-'A'][b2-'A']==0)
{
a[b1-'A'][b2-'A']=1;
//计算出拓扑排序
toposort();
}
++count;
}
//第一个
if(flag1)
cout<<"Inconsistency found after "<
cout<<"Sorted sequence determined after "<
cout<<"Sorted sequence cannot be determined."<
}
system("pause");
return 0;
}
void toposort()
{
int *ind=new int[n];
memset(ind,0,sizeof(int)*n);
//计算出入度
for(int i=0;i
ind[j]++;
for(int i=0;i
//入度为0的点
int t=-1;
for(int j=0;j
if(ind[j]==0&&t==-1)
t=j;
else if(ind[j]==0&&t!=-1)
{
//当存在多个入度为0的点时还是要记得去判断是不是存在环
for(int kk=0;kk
a[ii][jj]=1;
for(int ii=0;ii
flag1=true;
return;} //代表有多个入度为0的点，即不能够进行排序
}
if(t==-1)
{flag1=true;return;} //代表存在着环
//相应的边对应的度减一
for(int j=0;j
ind[j]--;
ind[t]--;
s[i]='A'+t;
}
flag2=true;
s[n]='\0';
}