排序——传递闭包

题目描述

给定 n 个变量和 m 个不等式。其中 n 小于等于26，变量分别用前 n 的大写英文字母表示。

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

请从前往后遍历每对关系，每次遍历时判断：

如果能够确定全部关系且无矛盾，则结束循环，输出确定的次序；
如果发生矛盾，则结束循环，输出有矛盾；
如果循环结束时没有发生上述两种情况，则输出无定解。

输入格式
输入包含多组测试数据。

每组测试数据，第一行包含两个整数n和m。

接下来m行，每行包含一个不等式，不等式全部为小于关系。

当输入一行0 0时，表示输入终止。

输出格式
每组数据输出一个占一行的结果。

结果可能为下列三种之一：

1. 如果可以确定两两之间的关系，则输出 “Sorted sequence determined after t relations: yyy…y.”,其中’t’指迭代次数，'yyy…y’是指升序排列的所有变量。
2. 如果有矛盾，则输出： “Inconsistency found after t relations.”，其中’t’指迭代次数。
3. 如果没有矛盾，且不能确定两两之间的关系，则输出 “Sorted sequence cannot be determined.”。

数据范围
2 ≤ n ≤ 26，变量只可能为大写字母A~Z。

输入样例：
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.

解题思路

具体的做法就是每读入一个比较关系式，就采用floyd算法求传递闭包，然后根据结果去判断当前处于什么状态：

1. 矛盾：如果有 i < i 那么即可确定存在矛盾；
2. 已可确定顺序：对于任意两个变量 i、j（i != j），必定有i < j || j < i；
3. 暂未确定：排开上述两种情况，那么即未不确定状态。

思路来源：AcWing 算法提高课

代码

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

using namespace std;

const int N = 30;

int n, m;
bool g[N][N], st[N];

void floyd()
{
   
    for (int k =