SDU_week7_A - TT 的魔法猫（floyd计算传递闭包+剪枝）

题目描述

众所周知，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

题目分析

这道题是说给定关系矩阵，求传递闭包，并输出dis[i][j]和dis[j][i]全为0的数量。注意，这样的每组只记录一次。
解题方法是含剪枝的floyd算法，对于稀疏阵，复杂度从O（n^3） 降低到O（a * n ^2）。
如何理解floyd算法？
它是说N个数从1开始记为k，看看任何其他两点间经过k和原本相比，能不能变短；或者任何两点经过k，能否传递关系。一般floyd对应稀疏矩阵都配合剪枝使用，即从某点经过k就行不通，必然不能找到更合适的解决方案。

HITS

floyd算法作用：
• 用于求取图中任意两点之间的关系
• 多源最短路，任意两点的距离关系（初始化为无穷）
• 图上的传递闭包，任意两点的连通关系

代码

#define _CRT_SECURE_NO_WARNINGS
#define _ ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);

#include <bits/stdc++.h>
//#include <iostream>
//#include<algorithm>

using namespace std;

int dis[509][509];
long long n;//n组数据
int N, M;//n个人，m个关系
int a, b;//待比较的两个人
int ans;//不能确定的情况

void floyd()
{
	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 main()
{
	_;
    cin >> n;
	while (n--)
	{
		memset(dis, 0, sizeof(dis));
		cin >> N >> M;
		while (M--)
		{
			cin >> a >> b;
			dis[a][b] = 1;
		}
		floyd();
		ans = 0;
		for (int i = 1; i <=N; i++)
		{
			for (int j = i + 1; j <= N; j++)
			{
				if (!dis[i][j] && !dis[j][i])
					ans++;//（a，b）与（b，a）等价，值计算一次
			}
		}
		cout << ans << endl;
	}
}