离散实验sdut4175传递闭包

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

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;
	}
}