POJ 1094 Sorting It All Out 拓扑排序

题意：输入n, m，n表示26个大写字母组成的字母表中前n个字母，m表示将输入m对字母的大小关系式，（ch1 < ch2)问根据输入多少个关系式时能惟一确定这n个字母有可能出现的关系，共有3 种情况：
（1）如果出现ch1 < ch2同时又有ch1 > ch2则表示这n个字母是inconsistency。
（2）能确定有惟一这n个的字母的拓扑序。
（3）不能根据输入的m对关系确定这n个字母逻辑大小的关系。
题解：

（1）用d[i][j]表示第字符'A'+ i和字符‘A' + j的关系， ‘A' + i < 'A' + j时，d[i][j] = true，否则为false;
（2）当出现d[i][j] 和 d[j][i]同时为true时，出现矛盾，可以判定inconsistency.
（3）记录d[i][j] ＝ true（0 <= i < n && 0 <= j < n) 的关系式有count个时，当count == n * (n - 1) /2时，可以确定有惟一的拓扑序。

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

int m, n, find, step;
int map[30][30],in[30];
char str[5],ans[30];

bool loop()   /* 判断是否有环 */
{
int i, j, k;
for (  k = 0; k < m; k++ )
for ( i = 0; i < m; i++ )
for ( j = 0; j < m; j++ )
if ( map[i][k] && map[k][j] )
map[i][j] = 1;
for ( i = 0; i < m; i++ )
if ( map[i][i] )
return true;
return false;
}

int topo ()
{
if ( loop() ) return 3;
memset(in,0,sizeof(in));
memset(ans,0,sizeof(ans));
for ( int i = 0; i < m; i++ )
{
for ( int j = 0; j < m; j++ )
if ( map[j][i] )
in[i]++;
if ( ans[in[i]] == 0 )
ans[in[i]] = i+'A';
else return 2;
}
ans[m] = '\0';
return 1;
}

int main()
{
while ( scanf("%d%d",&m,&n) && m+n )
{
find = step = 0;
memset(map,0,sizeof(map));
for ( int i = 1; i <= n; i++ )
{
scanf("%s",str);
map[str[0]-'A'][str[2]-'A'] = 1;
if ( ! find )
{
int temp = topo();
if ( temp == 3 )
{
find = 3; step = i;
}
else if ( temp == 1 )
{
find = 1; step = i;
}
else if ( i == n )
find = 2;
}
}

if ( find == 1 )
printf("Sorted sequence determined after %d relations: %s.\n", step, ans);
else if ( find == 2 )
printf("Sorted sequence cannot be determined.\n");
else if ( find == 3 )
printf("Inconsistency found after %d relations.\n", step);
}
return 0;
}