floyd-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) 等价，即每一个二元组只被计算一次。

思路

本题中人与胜负关系可以构成一个有向图，A胜过B可以表示成A->B,因为A->B和B->A等价，所以只计算一次，并且胜负关系具有传递性，所以A->B与B->C可以得出A->C,这与路径判断两点是否连通具有相同特点，因为每两个人都可以进行比赛，所以想到了floyd算法，在这里每次更新时dis[i][j]表示（i,j)是否可判断胜负，可以判断为1，不可以则为0，这里注意在松弛操作时，dis[i][j]=max(dis[i][j],dis[i][k]&dis[k][j]);。

总结

这是一道floyd题目，用来求取图中任意两点之间的关系，是传递闭包问题，即任意两点之间的连通关系。

反思

算法复杂度是o(n^3),所以再利用算法时常需要剪枝，根据判断dis[x][y]的值去掉多余的更新操作。

代码

//floyd
//求取图中任意两点之间的关系 //任意两点   即关系为n^2    n(n-1)/2 
/*void floyd(int n,int **dis)
{
	for(int k=1;k<=n;k++)
	{
		for(int i=1;i<=n;i++)
		{
			for(int j=1;j<=n;j++)//进行剪枝 //i!=j 
		     dis[i][j]=min(dis[i][j],dis[i][k]+dis[k][j]);//用于传递闭包！dis[i][j]的值可由中间的k进行传递dis[i][k],dis[k][j]-->dis[i][j]; 
		}
	}
}*/

//题目
//一共n(n-1)/2 
#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;

int dis[510][510];int count;
void floyd(int n,int dis[510][510]) //两点之间不断更新 
{
	for(int k=1;k<=n;k++)
	{
		for(int i=1;i<=n;i++)
		{   if(!dis[i][k])continue;//剪枝 
			for(int j=1;j<=n;j++)
			{   if(i!=j&&dis[i][j]!=1&&dis[j][i]!=1)
				{
					dis[i][j]=max(dis[i][j],dis[i][k]&dis[k][j]);//dis[i][k]==0则不需要循环 
					if(dis[i][j])count++; 
				}
     		} 
		}
	 }
}
int main()
{   
	int num;scanf("%d",&num);
	while(num--)
	{   memset(dis,0,sizeof(dis));count=0;
		int n,m;scanf("%d%d",&n,&m);
		for(int i=1;i<=m;i++)
		{
			int a,b;scanf("%d%d",&a,&b);
			dis[a][b]=1;count++;	//此题相当于有向图	
		}
		floyd(n,dis);
		cout<<n*(n-1)/2-count<<endl;
		
	 } 
}