题目:
这一天,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
这题是求递归闭包,而Floyd算法可以用来求递归闭包。
常规的Floyd算法
求递归闭包的Floyd算法只需要把dis[i][j]=min(dis[i][j],dis[i][k]+dis[k][j])换成dis[i][j]||(dis[i][k]&&dis[k][j]),其中dis[i][j]=1表示i和j之间可以得知胜负,dis[i][j]=0表示不可知。
但是直接这样写复杂度有点大,可以在第二层和第三层循环间加入一个判断,因为只有dis[i][k]等于1的情况下才需要下一层循环。
以下是完整代码:
#include<iostream>
using namespace std;
int n;
int N,M;
int A,B;
int map[510][510];
int ans;
void floyd()
{
for(int k=1;k<=N;k++)
{
for(int i=1;i<=N;i++)
{
if(map[i][k])//剪枝
for(int j=1;j<=N;j++)
{
if(map[k][j])
{
map[i][j]=1;
}
}
}
}
}
int main()
{
cin>>n;
for(int i=0;i<n;i++)
{
cin>>N>>M;
ans=0;
for(int j=0;j<=N;j++)//初始化
{
for(int k=0;k<=N;k++)
{
map[j][k]=0;
}
}
for(int j=0;j<M;j++)
{
cin>>A>>B;
map[A][B]=1;
}
floyd();
for(int j=1;j<=N;j++)
{
for(int k=j+1;k<=N;k++)
{
if(map[j][k]!=1&&map[k][j]!=1)
{
ans++;
}
}
}
cout<<ans<<'\n';
}
}