题意:给定一组字母的大小关系判断他们是否能组成唯一的拓扑序列。
思路:
典型的拓扑排序,但输出格式上有三种形式:
1.该字母序列有序,并依次输出;
2.该序列不能判断是否有序;
3.该序列字母次序之间有矛盾,即有环存在。
而这三种形式的判断是有顺序的:先判断是否有环(3),再判断是否有序(1),最后才能判断是否能得出结果(2)。注意:对于(2)必须遍历完整个图,而(1)和(3)一旦得出结果,对后面的输入就不用做处理了。
注意代码中:top()函数里,if(k>1) flag=-1;这是判断是否无序, 当时我就想着 满足条件赋值成-1之后,flag不会再变了,为什么不直接return-1, 还是上面需要注意的 要先判断是否有环,虽然现在是无序,但是可能有环,所以不能直接return
#include<iostream>
#include<algorithm>
#include<string.h>
#include<queue>
#include<cmath>
#include<cstdio>
#define ll long long
using namespace std;
const int maxn=1e5+5;
struct Edge{
int next,to,val;
}edge[maxn];
int head[maxn],cnt=1,n,m,deg[maxn],myqueue[30];
void addedge(int u,int v)
{
edge[cnt].to=v;
//edge[cnt].val=val;
edge[cnt].next=head[u];
head[u]=cnt++;
}
int top()
{
int temp[30];
int flag=1;
for(int i=0;i<=n;i++)
temp[i]=deg[i];
for(int i=1;i<=n;i++)
{
int k=0;
for(int j=1;j<=n;j++)
if(!temp[j])
{
k++;
myqueue[i]=j;
}
if(k>1) flag=-1;//多个入度为0的 无序
if(k==0) return 0;//有环
temp[myqueue[i]]=-1;
for(int j=head[myqueue[i]];j;j=edge[j].next)
{
int v=edge[j].to;
temp[v]--;
}
}
return flag;
}
int main()
{
while(scanf("%d%d",&n,&m)&&n&&m)
{
int flag=0;
memset(head,0,sizeof(head));
memset(deg,0,sizeof(deg));
for(int i=1;i<=m;i++)
{
string s;
cin>>s;
if(flag)
continue;
int u,v;
u=s[0]-'A'+1;
v=s[2]-'A'+1;
addedge(u,v);
deg[v]++;
int check=top();
if(check==0)
{
printf("Inconsistency found after %d relations.\n",i);
flag=1;
}
else if(check==1)
{
printf("Sorted sequence determined after %d relations: ",i);
for(int j=1;j<=n;j++)
printf("%c",myqueue[j]+'A'-1);
printf(".\n");
flag=1;
}
}
if(!flag)
printf("Sorted sequence cannot be determined.\n");
}
return 0;
}