Week7 -- 作业 -- A -- TT 的魔法猫[Floyed+闭包]

题目描述

众所周知，TT 有一只魔法猫。
这一天，TT 正在专心致志地玩《猫和老鼠》游戏，然而比赛还没开始，聪明的魔法猫便告诉了 TT 比赛的最终结果。TT 非常诧异，不仅诧异于他的小猫咪居然会说话，更诧异于这可爱的小不点为何有如此魔力？
魔法猫告诉 TT，它其实拥有一张游戏胜负表，上面有 N 个人以及 M 个胜负关系，每个胜负关系为 A B，表示 A 能胜过 B，且胜负关系具有传递性。即 A 胜过 B，B 胜过 C，则 A 也能胜过 C。
TT 不相信他的小猫咪什么比赛都能预测，因此他想知道有多少对选手的胜负无法预先得知，你能帮帮他吗？

输入

第一行给出数据组数。
每组数据第一行给出 N 和 M（N , M <= 500）。
接下来 M 行，每行给出 A B，表示 A 可以胜过 B。

输出

对于每一组数据，判断有多少场比赛的胜负不能预先得知。注意 (a, b) 与 (b, a) 等价，即每一个二元组只被计算一次。

样例输入

3
3 3
1 2
1 3
2 3
3 2
1 2
2 3
4 2
1 2
3 4

样例输出

0
0
4

思路

综述

这道题考察多源最短路+闭包

多源最短路算法：Floyed

Floyed算法：(详见：图论)
：O（n^3）的for循环，对每一个中间节点k做松弛（寻找更短路径）；
但它适合算多源最短路径，即任意两点间的距离。

闭包：

如果a能到b，b能到c，则说明a能到c；

过程

Step1：输入

因为是闭包问题，所以不需要边权，所以采用二维bool数组来存储，两个点是否有边相连（有向边）

bool cmp[maxn][maxn];

Step2：Floyed

对每一个中间节点k进行松弛；
闭包关键表达式：

cmp[i][j] = cmp[i][j]||(cmp[i][k] && cmp[k][j]);

所以一旦cmp[i][k]！=true则第三重循环不必进行，所以可进行剪枝；

void Floyed() {
	for (int k = 1; k <= n; k++) {
		for (int i = 1; i <= n; i++) {
			if (cmp[i][k]) {
				for (int j = 1; j <= n; j++)
						cmp[i][j] = cmp[i][j]||(cmp[i][k] && cmp[k][j]);
			}	
		}
	}
}

总结

Floyed算法是多源最短路算法，复杂度极高O（n^3）;
1）求解多源最短路，任意两点的最短距离；
2）图上的闭包，任意两点的连通关系；

代码

上文有详细注释

#include <iostream>
#include <cstdlib>
#include <cmath>
#include <algorithm>
using namespace std;
const int maxn = 500 + 5;
bool cmp[maxn][maxn];
int m, n;
int t;
int tot;
void Floyed() {
	for (int k = 1; k <= n; k++) {
		for (int i = 1; i <= n; i++) {
			if (cmp[i][k]) {
				for (int j = 1; j <= n; j++)
						cmp[i][j] = cmp[i][j]||(cmp[i][k] && cmp[k][j]);
			}	
		}
	}
}

void init() {
	for (int i = 0; i < maxn; i++) {
		for (int j = 0; j < maxn; j++) {
			cmp[i][j] = false;
		}
	}
}

int main() {
	cin >> t;
	int a, b;
	for (int j = 0; j < t; j++) {
		init();
		cin >> n >> m;
		for (int i = 0; i < m; i++) {
			cin >> a >> b;
			cmp[a][b] = true;
		}
		Floyed();
		tot = 0;
		for (int x = 1; x <= n; x++) {
			for (int y = x + 1; y <= n; y++) {
				if (cmp[x][y]==false && cmp[y][x]==false) {
					tot++;
				}
			}
		}
		cout << tot << endl;
	}
}