题目大意:
一共有N个变量,给出M个关系
1.如果给出关系之间有矛盾,则输出
Inconsistency found after D relations.
其中D为在给出的第D中关系中发现有矛盾
2.如果没有矛盾并且在前d个关系中找出所有变量之间的大小关系,则输出:
Sorted sequence determined after d relations: ABCD.
ABCD 表示 A < B < C < D
也就是说如果我们在第6个关系后知道
A < C < D < B
那我们输出的就是
Sorted sequence determined after 6 relations: ACDB.
3.如果没有矛盾但是却判断不出所有变量的大小关系,则输出:
Sorted sequence cannot be determined.
解题思路:
解法一:
没用,不知道具体解法,似乎是top排序
解法二:
如果A < B && B < C
那么可以得到A<C;
如果A<B && B<C && B<D
可以得到A<C A<D
即每一次读取一个条件可以根据以前的条件,可以得出读入字符和其他已读入字符有关系的字符间的大小关系
我们用邻接矩阵f[][]来存储
令f[i][j]表示i是否小于j,即f[i][j] == 1表示已知i<j,f[i][j] == 0 暂时未有i<j这一组关系
当我们读入一组关系:x < y时
若存在f[y][x] == 1,则有矛盾,也就是题目大意中的情况1
否则,对于所有的f[i][x] == 1,都赋值f[i][y] = 1
对于所有的f[y][j] == 1,都赋值f[x][j] = 1。
然后我们就可以根据f[][]得出一些(全部)变量的大小关系
我们发现,可以按照f数组的第一维f[]的和来判断具体的大小,那么我们就用count[i]来作为第i个变量的f[i]和
只要count[0—n-1]都大于0且唯一,那么我们就可以得出情况2
当然,如果情况1 和 情况2都没有发生,那么就是情况1
code:
poj炸了没测,不知道能不能A
#include<cstdio>
#include<cstring>
#include<algorithm>
#define rep(i, a, b) for (register int i = a; i <= b; ++i)
int N, M, D, d;//D, d见题目
int f[27][27], count[27], id[27];
int cmp(const void *a,const void *b) {
return count[*(int*)a] - count[*(int*)b];
}
int main() {
scanf("%d %d", &N, &M);
if (N + M == 0) return 0;
memset(f, 0, sizeof f);
memset(count, 0, sizeof count);
rep(i, 1, 26) count[i] = 0;
char c[5];
D = 0; d = 0;
rep(i, 0, 26) id[i] = i;
rep(i, 1, M) {
scanf("%s", c + 1);
if (D || d) continue;
int x = c[1]-65, y = c[3]-65;
if (f[y][x]) { D = i; continue; }
if (f[x][y]) continue;
f[x][y] = 1;
count[x]++;
rep(j, 0, N-1) {
if (f[j][x] && !f[j][y])
f[j][y] = 1, count[j]++;
if (f[y][j] && !f[x][j])
f[x][j] = 1, count[x]++;
}
qsort(id, N, sizeof(int), cmp);
//神奇的操作,意思是将id按照count的大小排序
int Y = 1;
rep(X, 0, N-1)
if (count[id[X]] != X) {
Y = 0; break;
}
if (Y) d = i;
}
if (D) printf("Inconsistency found after %d relations.\n", D);
else if (d) {
printf("Sorted sequence determined after %d relations: ", d);
for (int i = N-1; i >= 0; i--) putchar(id[i] + 65);
putchar('.'); putchar('\n');
}
else puts("Sorted sequence cannot be determined.");
//三种情况
return main();//因为(N != 0 || M != 0)所以继续
}