TT 的魔法猫(弗洛伊德)

问题描述：

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

input：
第一行给出数据组数。
每组数据第一行给出 N 和 M（N , M <= 500）。
接下来 M 行，每行给出 A B，表示 A 可以胜过 B。
output：
对于每一组数据，判断有多少场比赛的胜负不能预先得知。注意 (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

解题思路：

对于这个题目，首先我们可以得到这样一个关系：如果a>b，b>c，则就有a>c，该关系具有传递性，所以这个题的目的就是让我们求一个传递闭包，有胜负关系的二元组被标记成1，如果(a，b)和(b，a)都没有被标记，那么该场比赛胜负不可知。

由此我们想到可以使用弗洛伊德算法来求解。起初，弗洛伊德是来求解图中任意两点的距离。使用一个三重循环，不断更新i，j之间的最小距离。那么对于这个题，我们只需将判断条件更改一下即可。i，j之间的比赛是否可预知，则通过枚举k，判断i，k之间以及k，j之间的比赛是否可预知，如果满足条件，则i，j之间也可预支。但是如果不进行剪枝，数据范围是500，三重循环很可能会超时。所以我们可以在第三重循环前加一个判断，如果i，k比赛不可知，那么第三重循环中的判断肯定为0，所以无需进行第三重循环，直接跳过即可。只有当i，k比赛可知时，第三重循环才有意义。

解题总结：

弗洛伊德算法既可以求解图中任意两点的距离，也可以扩展到求一个集合的传递闭包，但是它的算法复杂度为$O(n^3)$，所以在大规模数据下会超时。

代码：

#include<iostream>
#include<string.h>
#include<algorithm>
using namespace std;
int n,N,M;
int match[510][510];//标记每一个比赛是否可预知
int main()
{
	cin>>n;
	for(int i=0;i<n;i++)
	{
		memset(match,0,sizeof(match));
		cin>>N>>M;
		for(int j=0;j<M;j++)
		{
			int a,b;
			cin>>a>>b;
			match[a][b]=1;//将输入的比赛标记为可预知
		}
		for(int k=1;k<=N;k++)//弗洛伊德算法，三重循环
			for(int z=1;z<=N;z++)
			{
				if(match[z][k]==1)
				//若z，k之间比赛可预知，才进行第三重循环
				{
					for(int y=1;y<=N;y++)
						match[z][y]=max(match[z][y],match[z][k]&match[k][y]);
				}
			}	
		int all=0;
		for(int j=1;j<=N;j++)
		{
			for(int t=j+1;t<=N;t++)
			{
				if(match[j][t]==0&&match[t][j]==0)
				//若j，t和t，j都不可预支，那么这场比赛不可预支
					all++;
			}
		}
		cout<<all<<endl;
	}
 }