本来是打算刷一下离散实验题水题的,发现题目还是可以的,然后还有很多不会做,还是有收获的,所以写下这篇博客记录一下。
传递闭包

Problem Description
已知有n头牛,m次战斗关系,询问最终可以确定排名的牛的数量。

Input
多组测试数据,对于每组测试数据,第1行输入两个整数n(1 <= n <= 100)和m(0 <= m <= 4950),分别表示有n头牛和m次战斗关系,之后m行每行输入两个正整数x和y表示编号为x的牛可以战胜编号为y的牛,数据保证合法,询问可以确定排名的牛的数量。

Output
对于每组测试数据,输出整数ans,表示可以确定排名的牛的数量。

Sample Input
5 5
4 3
4 2
3 2
1 2
2 5
Sample Output
2
Hint
Source
xry-fhf

这里:首先我对传递闭包的理解是有一点点误差的,一开始我以为传递闭包是包含自反闭包的,然后通过warshall算法发现其实传递闭包并不包含自反闭包以及对称闭包,所以再求特定的问题的时候我们需要自己添加需要的条件,这个题就是用warshall算法求那么传递闭包,然后确定所有牛的关系,即a[i][j]=1代表 i号牛打败了j号牛,要求i行所有关系都是确定的,即a[i][j]=1或者可以是a[i][j]=0当且仅当a[j][i]=1代表i被j打败了,如果a[i][j]=0&&a[j][i]=0代表i没有打败j且j也没有打败i这种情况不能确定牛的排名,我们只需要把这种情况剔除掉就可以了,凭借这个思想可以很快写出对应的算法。

额,补充一点warshall算法的证明过程是由动态规划过来的,我暂时还不会,大约就是穷举的思想,把a[i][j]的对每行的所有元素穷举,最后得出传递闭包,额,大约就是穷举吧。
贴上代码(c++):

#include<bits/stdc++.h>
using namespace std;

int n,m;
int dp[105][105];
int main()
{
	while(cin>>n>>m)
	{
		for(int i=1;i<=n;i++)//加上自反 
		{
			for(int j=1;j<=n;j++)
			{
				if(i==j)
				dp[i][j]=1;
				else
				dp[i][j]=0;
			}
		}
		for(int i=1;i<=m;i++)
		{
			int a,b;
			cin>>a>>b;
			dp[a][b]=1;
		}
		for(int i=1;i<=n;i++)//warshall算法求传递闭包 
		{
			for(int j=1;j<=n;j++)
			{
				for(int k=1;k<=n;k++)
				{
					dp[j][k]=dp[j][k]||dp[j][i]&&dp[i][k];
				}
			}
		}
	//	cout<<"传递闭包:"<<endl; 
		for(int i=1;i<=n;i++)
		{
			for(int j=1;j<=n;j++)
			{
				cout<<dp[i][j]<<"  ";
			}
			cout<<endl;
		}
		int count=0;
		for(int i=1;i<=n;i++)
		{
			bool flag=true;
			for(int j=1;j<=n;j++)
			{
				if(dp[i][j]==0&&dp[j][i]==0)
				{
					flag=false;
					break;
				}
			}
			if(flag)
			count++; 
		}
		//cout<<"已确定的关系:"<<endl;
		cout<<count<<endl;
	}
}