poj 1094

题意:给出字母个数,和有限个有序对(a<b)求出能确定字母序列的最少的条件个数.即,从第一个条件开始,往下,当加入某一条件时,如果能够确定这个序列,则输出这个序列,如果得出矛盾则说明冲突,如果所有条件都完毕也没有结果,则输出不能确定.
思路:每读一个有序对,添加一条边,然后对其拓扑排序,如果成功,则输出序列,如果不成功,判断其是否有环,如果有环,输出冲突,如果没有定论,则读入下一个有序对.当所有有序对读完还没有结果,输出不能确定.

 

代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;

#define MAXN 27

int in[MAXN], temp[MAXN], topo[MAXN]; //入度，topo排序结果
bool visit[MAXN][MAXN]; //标记i, j存在i < j关系
int n, m;//字母数，边数

int toposort() //拓扑排序，三个返回值：环、继续读边(未完成)、排序完成
{
	int u, v, count;
	int num; //入度为0的字母
	bool flag;
	count = 1; //已排序字母个数
	flag = true;
	memset(topo, 0, sizeof(topo));
	int i,j;
	for( i = 1; i <= n; ++i)
		temp[i] = in[i];
	for(i = 1; i <= n; ++i)
	{
		num = 0; //这个不能写在外面，删边后度变化。。。。错了N久啊。。。
		for(j = 1; j <= n; ++j) //统计入度为0的字母个数
			if(temp[j] == 0)
			{
				u = j;
				num++;
			}
			if(num == 0) //为环
				return 0;
			if(num > 1) //多条分支,继续读边
				flag = false;
			temp[u] = -1;
			topo[count++] = u; //加入拓扑序列
			for(int j = 1; j <= n; ++j) //删边操作
				if(visit[u][j] == true)
					temp[j]--;
	}
	if(flag == false)
		return -1;
	return 1; //经过n次排序到达这里，则排序完成
}

int main()
{
	char str[5];
	int start, end;
	bool flag;
	int res; //toposort返回的结果
	while(scanf("%d%d", &n, &m) != EOF)
	{
		if(n == 0 && m == 0)
			break;
		memset(in, 0, sizeof(in));
		memset(visit, false, sizeof(visit));
		flag = true;
		for(int i = 1; i <= m; ++i)
		{
			scanf("%s", str);
			if(flag == false) //出现环或者矛盾
				continue;
			start = str[0] - 'A' + 1;
			end = str[2] - 'A' + 1;
			in[end]++;
			visit[start][end] = true;
			res = toposort(); //加一次边拓扑排序一次
			if(res == 0)
			{
				printf("Inconsistency found after %d relations.\n", i);
				flag = false;
			}
			else if(res == 1)
			{
				printf("Sorted sequence determined after %d relations: ", i);
				for(int j = 1; j <= n; ++j)
					printf("%c", topo[j] + 'A' - 1);
				printf(".\n");
				flag = false;
			}
		}
		if(flag == true)
			printf("Sorted sequence cannot be determined.\n");
	}
	return 0;
}