687. Sorting It All Out

【题目描述】

给定$n$个变量，$m$个不等式。

不等式之间具有传递性，即若$A>B$,且$B>C$，则$A>C$。

判断这$m$个不等式是否有矛盾。

若无矛盾，则判断这$m$个不等式是否能确定每一对边两者间的关系，

   若能，则求出$t$的最小值，满足仅用前$t$个不等式就能确定每一对变量之间的大小关系。

【输入格式】

有多组测试数据。

对于每一组测试数据：

第一行两个整数，表示$n$,$m$。

  $n$表示前$n$个大写字母

接下来$m$行每行一共三个字符，第一个大写字母，字符“<”和第二个大写字母，没有字母超出字母表的前n个字母的范围。

以0 0结尾作为结束标志

【输出格式】

对于每一组测试数据，输出由一行组成，一共有三种情况：

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

Sorted sequence cannot be determined.

Inconsistency found after xxx relations. 

表示：
其中xxx是在确定排序序列或找到不一致时处理的关系数，以靠前者为准，yyy 是已排序的升序序列。

【样例输入】

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

【样例输出】

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

【提示】

$2<=n<=26$

【来源】

East Central North America 2001   POJ 1094