【图论】POJ-1094 Sorting It All Out

这段时间要沉迷刷题一段时间了，就让CSDN陪我一起吧！

一、题目大意

不同值的升序排序序列是其中使用某种形式的小于运算符来从最小到最大排序元素的序列。例如，排序的序列A，B，C，D意味着A <B，B <C和C <D。在这个问题中，我们将为您提供一组A <B形式的关系序列，并要求您确定是否可以确定唯一的拓扑排序。

输入包含多组测试用例。每组测试用例的第一行是两个整数N和M，N代表要排序物的数量，排序物将会是字母表中的前N个字母。M代表所提供关系序列的关系数。然后接下来的M行是关系序列，形式如下：A<B

输出包含三种形式：

Sorted sequence determined after xxx relations: yyy…y.
Sorted sequence cannot be determined.
Inconsistency found after xxx relations.

其中xxx是第一次发现有环或者有确定数列时的关系序列编号。yyy…y.是已经排序完成的升序序列。

二、题目思路以及AC代码

这题的题目很少，看起来也很简单，就是拓扑排序嘛！但是要真正理解这个题目的意思却并不容易，换句话说，如果你真的理解了题目的需求，那么你就能做出这道题了。因为整体的思路很简单，就是逐个的把每个输入加入图中，每次都进行拓扑排序，根据结果进行处理。

我这里就直接说一下题目的需求，大家可以看看是否和自己想的有所偏差。

第一，题目是要求全部输入完毕的。这一点我觉得好多人会忽略，也很容易就写成边输入边处理的形式，一旦发现有环或者排序好就跳出，后面的输入也就没输入进去。

第二，题目要求是唯一的拓扑排序。这就意味着不是按照传统的拓扑排序方法，每次检测有入度为0的顶点，而是要每次检测图中有且只有一个入度为0的点，这才叫找到一个唯一的拓扑排序序列。

第三，题目要求的逻辑。这点是很多人不能AC的主要原因。根据题目要求，输出的三个结果是有一定的优先级的。首先，如果在处理过程中发现有环，那么直接结束即可。然后，如果没环，在处理的过程中发现一个包含所有顶点的唯一的拓扑序列，也是直接结束即可。最后，如果又没环，而且也没有唯一的拓扑序列，就要一直进行处理，知道发现以上两种情况，或者处理到输入结束，如果到结束都没有以上两种情况，那么就输出Sorted sequence cannot be determined.

以上就是这题中比较坑的地方了，而且题目说的很不明确，基本全靠运气猜…

还有一点需要提醒大家的是，这题需要注意一下输出的时候，在输出拓扑序列的时候，很容易就会把最后的句号丢掉！！！

我在POJ的discuss区中找到了本题的全部测试数据，有需要的同学可以自取。
POJ 1094测试数据

下面是AC代码：

Topology：

#include <iostream>
#include <vector>
#include <string>
#include <cstring>
#define MAXN 30
using namespace std;

int N, M;
vector<int> v[MAXN];
int inDegree[MAXN];
bool vis[MAXN];
bool appear[MAXN];

string edges[1000];

void init() {
	for (int i = 0; i < MAXN; i++) {
		v[i].clear();
		inDegree[i] = 0;
		vis[i] = false;
		appear[i] = false;
	}
}

void AddEdge(string str) {
	int s = str[0] - 'A';
	int e = str[2] - 'A';
	
	v[s].push_back(e);
	appear[s] = appear[e] = true;
	inDegree[e]++;
}

int Topology(int idx) {
	vector<int> topo;

	for (int i = 0; i < MAXN; i++) {
		vis[i] = false;
	}

	int* tmpIn = new int[N];
	for (int i = 0; i < N; i++) {
		tmpIn[i] = inDegree[i];
	}

	int appearCnt = 0;
	for (int i = 0; i < N; i++) {
		if (appear[i])
			appearCnt++;
	}

	bool flag = false;
	while (1) {
		int x = -1;
		for (int i = 0; i < N; i++) {
			if (!vis[i] && !tmpIn[i] && appear[i]) {
				if (x == -1) x = i;
				else flag = true;					// Sorted sequence cannot be determined. 
			}
		}

		if (x == -1) break;	 
		vis[x] = true;
		topo.push_back(x);

		int size = v[x].size();
		for (int i = 0; i < size; i++) {
			tmpIn[v[x][i]]--;
		}
	}

	int cnt = topo.size();
	if (cnt != appearCnt) { printf("Inconsistency found after %d relations.\n", idx); return 0; }
	else if (appearCnt != N) return 1;
	else { 
		if (flag) return 1;
		printf("Sorted sequence determined after %d relations: ", idx);
		for (int i = 0; i < cnt; i++) {
			printf("%c", topo[i] + 'A');
		}
		printf(".\n");
		return 2; 
	}
}

int main()
{
	while (scanf("%d%d", &N, &M) != EOF) {
		init();

		if (!N && !M) break;

		for (int i = 1; i <= M; i++) {
			cin >> edges[i];
		}

		bool f = false;
		for (int i = 1;!f && i <= M; i++) {
			AddEdge(edges[i]);
			switch (Topology(i))
			{
			case 0:
				f = true;
				break;
			case 1:
				break;
			case 2:
				f = true;
				break;
			}
		}

		if (!f) {
			printf("Sorted sequence cannot be determined.\n");
		}
	}

    return 0;
}

如有问题，欢迎大家指正！！！