题意
这一天,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;
}
}