POJ1094《Sorting It All Out》方法：拓扑排序

转自http://www.cnblogs.com/pushing-my-way/archive/2012/08/23/2652033.html

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

分析：

用拓扑排序：

1.拓扑排序可以用栈来实现，每次入栈的是入度为0的节点。

1.拓扑排序的结果一般分为三种情况：1、可以判断 2、有环出现了矛盾 3、条件不足，不能判断.

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

网上对于这道题的错误提示：

1.本题顺序：

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

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

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

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

3.如果在没有读完所有输入就能出答案，一定要把剩下的行都读完。

#include <iostream> #include <cstdio> #include <cstring> #include <stack> using namespace std; const int N = 27; int n, m; //n个元素，m种比较关系 int graph[N][N], indegree[N], list[N]; // graph[][]=1点i指向j int toposort() { int indegr[N]; memcpy(indegr, indegree, sizeof(indegree)); stack<int> s; //入度为0的点入栈 for (int i = 0; i < n; ++i) if (!indegr[i]) s.push(i); // 如果这些点多余1的话，序列不能唯一确定 bool flag = false; //序列不确定 int u, num=0; // u出栈点，num出栈点数目 while (!s.empty()) { if (s.size() > 1) flag = true; u = s.top(); s.pop(); list[num++] = u; for (int v = 0; v < n; ++v) if (graph[u][v]) if (--indegr[v] == 0) //入度为0后再入栈 s.push(v); } if (num != n) // 不能拓扑排序，有环 return 1; else if (flag == true) // 序列不能唯一确定 return 2; return 0; // 序列被唯一确定 } int main() { freopen("temp.txt", "r", stdin); char tmp; // 填补'<' char a, b; int determined, inconsistency, res; // determined序列被唯一确定，inconsistency矛盾，即有环 while (cin >> n >> m && n && m) { determined = inconsistency = 0; memset(graph, 0, sizeof(graph)); memset(indegree, 0, sizeof(indegree)); for (int i = 1; i <= m; ++i) { cin >> a >> tmp >> b; if (!determined && !inconsistency) { if (graph[b-'A'][a-'A'] == 1) { //存在反向边，矛盾 inconsistency = 1; cout << "Inconsistency found after " << i << " relations." << endl; continue; //一定要把剩下的行都读完 } if (graph[a-'A'][b-'A'] == 0) { graph[a-'A'][b-'A'] = 1; ++indegree[b-'A']; } res = toposort(); if (res == 0) { cout << "Sorted sequence determined after " << i << " relations: "; for (int j = 0; j < n; ++j) printf("%c", list[j]+'A'); cout << "." << endl; determined = 1; } else if (res == 1) {//有环 cout << "Inconsistency found after " << i << " relations." << endl; inconsistency = 1; } } } if (!determined && !inconsistency) { cout << "Sorted sequence cannot be determined." << endl; } } return 0; }