TT 的魔法猫（floyed+剪枝）

问题描述

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

Sample input

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

Sample output

0
0
4

解题思路

这个题就是找胜负关系，由于胜负关系具有传递性，所以我们可以使用floyed来做，其中：

• dis[a][b]=1表示a比b强
• dis[a][b]=0表示胜负关系不明
• 在最终比较的时候dis[a][b]=0，并且dis[b][a]=0，那么这两个的胜负就无法得知。

在floyed的时候，松弛条件变成了dis[i][j]=max(dis[i][j],dis[i][k]&dis[k][j]);，就是如果前k个中，$i>k,k>j$那么$i>j$。

需要注意的一点是，这个题需要剪枝，就是在floyed的时候，判断如果dis[i][k]==0了，那么就不需要 j 的循环了。因为dis[i][k]==0，那么后面的松弛条件不会成立，这样就可以减少运行的时间。

完整代码

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <cstring>
#include <string>
#include <climits>
#include <algorithm>
#include <queue>
#include <vector>
using namespace std;

const int maxn=500+10;
int dis[maxn][maxn],m,n,ans,t;

int getint()
{
    int x=0,s=1;
    char ch=' ';
    while(ch<'0' || ch>'9')
    {
        ch=getchar();
        if(ch=='-') s=-1;
    }
    while(ch>='0' && ch<='9')
    {
        x=x*10+ch-'0';
        ch=getchar();
    }
    return x*s;
}
int main()
{
    t=getint();
    while(t--)
    {
        n=getint(); m=getint();
        for (int i=1; i<=m; i++){
            int A=getint(),B=getint();
            dis[A][B]=1;
        }
        for(int k=1; k<=n; k++)
            for (int i=1; i<=n; i++)
                if(dis[i][k]!=0){
                    for (int j=1; j<=n; j++)
                        dis[i][j]=max(dis[i][j],dis[i][k]&dis[k][j]);
                }


        for (int i=1; i<=n; i++)
            for (int j=i+1; j<=n; j++)
                if(dis[i][j]==0 && dis[j][i]==0)
                    ans++;

        printf("%d\n",ans);

        for (int i=1; i<=n; i++)
            for (int j=1; j<=n; j++)
                dis[i][j]=0;

        ans=0;
    }

    return 0;
}