[ACM] POJ 1094 Sorting It All Out （拓扑排序）

Sorting It All Out

Time Limit: 1000MS		Memory Limit: 10000K
Total Submissions: 26801		Accepted: 9248

Description

An ascending sorted sequence of distinct values is one in which some form of a less-than operator is used to order the elements from smallest to largest. For example, the sorted sequence A, B, C, D implies that A < B, B < C and C < D. in this problem, we will
give you a set of relations of the form A < B and ask you to determine whether a sorted order has been specified or not.
Input

Input consists of multiple problem instances. Each instance starts with a line containing two positive integers n and m. the first value indicated the number of objects to sort, where 2 <= n <= 26. The objects to be sorted will be the first n characters of
the uppercase alphabet. The second value m indicates the number of relations of the form A < B which will be given in this problem instance. Next will be m lines, each containing one such relation consisting of three characters: an uppercase letter, the character
"<" and a second uppercase letter. No letter will be outside the range of the first n letters of the alphabet. Values of n = m = 0 indicate end of input.
Output

For each problem instance, output consists of one line. This line should be one of the following three:

Sorted sequence determined after xxx relations: yyy...y.

Sorted sequence cannot be determined.

Inconsistency found after xxx relations.

where xxx is the number of relations processed at the time either a sorted sequence is determined or an inconsistency is found, whichever comes first, and yyy...y is the sorted, ascending sequence.

Sample Input

4 6
A<B
A<C
B<C
C<D
B<D
A<B
3 2
A<B
B<A
26 1
A<Z
0 0

Sample Output

Sorted sequence determined after 4 relations: ABCD.
Inconsistency found after 2 relations.
Sorted sequence cannot be determined.

Source

East Central North America 2001

解题思路：
拓扑排序的应用。參考http://www.cnblogs.com/pushing-my-way/archive/2012/08/23/2652033.html做的。

本题须要注意的问题非常多，有点“坑”。以下是从上面博文中转的，（）里面的内容是我自己加的。

题意：给你一些大写字母间的偏序关系，然后让你推断是否能唯一确定它们之间的关系，或者所给关系是矛盾的，或者到最后也不能确定它们之间的关系。

分析：

用拓扑排序：

1.拓扑排序能够用栈来实现，每次入栈的是入度为0的节点（也能够用队列，或者不使用队列和栈,循环n次，找入度为0的点）。

1.拓扑排序的结果一般分为三种情况：1、能够推断（拓扑排序有唯一的结果） 2、有环出现了矛盾(出现了没有入度为0的节点） 3、条件不足，不能推断.

2.这道题不仅须要推断这三种情况，并且还要推断在处理第几个关系时出现前两种情况，对于本道题来说三种情况是有优先级的。前两种情况是平等的谁先出现先输出谁的对应结果，对于第三种情况是在前两种情况下都没有的前提下输出对应结果的.

网上对于这道题的错误提示（须要注意）：

1.本题顺序：

a.先判有没有环，有环就直接输出不能确定；

b.假设没有环，那么就看会不会有多种情况，假设有多种情况就再读下一行；假设所有行读完还是有多种情况，就是确定不了；

c.假设最后没有环，也不存在多种情况（即每次取出来入度为零的点仅仅有一个），那么才是答案；

2.有答案就先出答案，无论后面的会不会矛盾什么的；

3.假设在没有读全然部输入就能出答案，一定要把剩下的行都读完。

代码：

#include <iostream>
#include <algorithm>
#include <string.h>
#include <stack>
#include <queue>
using namespace std;
int indegree[30];//保存入度
int graph[30][30];//是否有边
char output[30];//输出可确定序列
bool ok;//能够被确定
bool dilemma;//有环，矛盾
bool no;//不能被确定
char c1,c,c2;//输入

int topo(int n)
{
int in[30];
for(int i=0;i<n;i++)
in[i]=indegree[i];//使用备用数组进行拓扑排序

stack<int>s;//入度为0的点进栈
for(int i=0;i<n;i++)
if(!in[i])
s.push(i);

bool flag=0;//栈里面入度为0的元素大于一个时，不确定的拓扑排序
int cnt=0;//入度为0的元素个数，也是输出序列里面的个数
while(!s.empty())
{
if((s.size())>1)
flag=1;//不确定
int first=s.top();
s.pop();
output[cnt++]=first+'A';//放入输出序列里面
for(int i=0;i<n;i++)
if(graph[first][i])//与入度为0的元素相连的元素
{
in[i]--;
if(in[i]==0)
s.push(i);//入栈
}
}
if(cnt!=n)//假设没有环的话，序列里面的元素个数肯定等于输入的元素个数，就算在某个元素未输入之前，它的入度也初始化为0
return 2;//有环
else if(flag==1)//不确定的拓扑排序
return -1;
return 1;
}

int main()
{
int n,m;
while(cin>>n>>m&&(n||m))
{
ok=0;dilemma=0;no=0;
memset(indegree,0,sizeof(indegree));
memset(graph,0,sizeof(graph));
for(int i=1;i<=m;i++)
{
cin>>c1>>c>>c2;//当出现矛盾或者通过一些条件可被确定序列，剩下的输入条件就不须要再处理了
if(!ok&&!dilemma)//没有环，没有确定的拓扑排序，这里的拓扑排序必须输入的字母都有。比方输入ABCD  那么仅仅有AB不是确定的
{
int t1=c1-'A';
int t2=c2-'A';
if(graph[t2][t1])//双向边，有环，出现矛盾
{
cout<<"Inconsistency found after "<<i<<" relations."<<endl;
dilemma=1;//出现矛盾
continue;
}

if(!graph[t1][t2])
{
graph[t1][t2]=1;
indegree[t2]++;//入度++
}
int ans=topo(n);//确定返回1，有环返回2
if(ans==2)
{
cout<<"Inconsistency found after "<<i<<" relations."<<endl;
dilemma=1;
continue;
}
if(ans==1)
{
cout<<"Sorted sequence determined after "<<i<<" relations: ";
for(int k=0;k<n;k++)
cout<<output[k];
cout<<"."<<endl;
ok=1;
}
}
}
if(!ok&&!dilemma)
cout<<"Sorted sequence cannot be determined."<<endl;
}
return 0;
}