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

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

思路

本题是Floyd算法的简单应用
Floyd算法是三次嵌套遍历整个图中的节点以更新节点之间的距离。
在此题中是更新节点之间是否有胜负关系。
但是如果直接使用Floyd算法模板会使得时间复杂度过高而超时，必须进行剪枝：因为i与k之间无法比较胜负关系即dis[i][k]为false时，不需要在使用j进行更新了，因为此时无法更新dis[i][j]；

代码

#include <iostream>
#include <cstdio>
#include <cmath>
using namespace std;
bool dis[503][503];//布尔型二维数组来表示个点之间的胜负关系
int main()
{
    int c,c1=0;
    cin>>c;
    for(int c1=0;c1<c;c1++)
    {
        for (int i = 0; i < 503; i++)
            for (int j = 0; j < 503; j++)
                dis[i][j] = false;
        int n, m;
        cin >> n >> m;
        for (int i = 0; i < m; i++)
        {
            int a, b;
            cin >> a >> b;
            dis[a][b] = true;
        }
        for (int k = 1; k <= n; k++)
            for (int i = 1; i <= n; i++)
            {
                if(dis[i][k])
                {
                    for (int j = 1; j <= n; j++)
                        dis[i][j] = dis[i][j]||(dis[i][k]&&dis[k][j]);
                }
            }
        int count = 0;
        for (int i = 1; i <= n; i++)
            for (int j = i + 1; j <= n; j++)
                if (!dis[i][j]  && !dis[j][i] )//只有当两者全为false时，两人的胜负关系才无法判断
                    count++;
        cout << count << endl;
    }
    return 0;
}