【CTSC 2008】祭祀

【题目】

传送门

Description

在遥远的东方，有一个神秘的民族，自称 Y 族。他们世代居住在水面上，奉龙王为神。每逢重大庆典， Y 族都会在水面上举办盛大的祭祀活动。我们可以把 Y 族居住地水系看成一个由岔口和河道组成的网络。每条河道连接着两个岔口，并且水在河道内按照一个固定的方向流动。显然，水系中不会有环流（下图描述一个环流的例子）。

由于人数众多的原因，Y 族的祭祀活动会在多个岔口上同时举行。出于对龙王的尊重，这些祭祀地点的选择必须非常慎重。准确地说，Y 族人认为，如果水流可以从一个祭祀点流到另外一个祭祀点，那么祭祀就会失去它神圣的意义。族长希望在保持祭祀神圣性的基础上，选择尽可能多的祭祀的地点。
　　
Input

第一行包含两个用空格隔开的整数 N、M，分别表示岔口和河道的数目，岔口从 1 到 N 编号。
接下来 M 行，每行包含两个用空格隔开的整数 u 、v，
描述一条连接岔口 u 和岔口 v 的河道，水流方向为自 u 向 v 。
N ≤ 100，M ≤ 1000

Output

第一行包含一个整数 K，表示最多能选取的祭祀点的个数。

Sample Input

4 4
1 2
3 4
3 2
4 2

Sample Output

2

Hint

在样例给出的水系中，不存在一种方法能够选择三个或者三个以上的祭祀点。包含两个祭祀点的测试点的方案有两种：

选择岔口 1 与岔口 3（如样例输出第二行），选择岔口 1 与岔口 4。

水流可以从任意岔口流至岔口 2。如果在岔口 2 建立祭祀点，那么任意其他岔口都不能建立祭祀点，但是在最优的一种祭祀点的选取方案中我们可以建立两个祭祀点，所以岔口 2 不能建立祭祀点。对于其他岔口至少存在一个最优方案选择该岔口为祭祀点，所以输出为 1011。

【分析】

先说一下最长反链的定义吧：给定一个 DAG，求最大的点集，使得内部两个点两两不能到达。

很显然，这道题要让我们求解最长反链

其实记住一个结论就行，也即最长反链等于最小链覆盖

如果你想看证明的话就戳这里吧最长反链等于最小链覆盖的证明

最后用最小链覆盖求解即可

$Ps$：这是简化版的题意，只用输出个数，原题还要输出方案之类的，如果追求刺激更高的水平的话可以去洛谷上交，那里有加强版数据

【代码】

#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 105
using namespace std;
int n,m;
int match[N],a[N][N];
bool vis[N];
void floyd()
{
	int i,j,k;
	for(k=1;k<=n;++k)
	  for(i=1;i<=n;++i)  if(a[i][k])
	    for(j=1;j<=n;++j)  if(a[k][j])
	      a[i][j]=1;
}
bool find(int x)
{
	int i;
	for(i=1;i<=n;++i)
	{
		if(a[x][i]&&!vis[i])
		{
			vis[i]=true;
			if(match[i]==0||find(match[i]))
			{
				match[i]=x;
				return true;
			}
		}
	}
	return false;
}
int main()
{
	int x,y,i,j,ans;
	scanf("%d%d",&n,&m);
	for(i=1;i<=m;++i)
	{
		scanf("%d%d",&x,&y);
		a[x][y]=1;
	}
	floyd();ans=n;
	for(i=1;i<=n;++i)
	{
		memset(vis,false,sizeof(vis));
		bool flag=find(i);
		if(flag)  ans--;
	}
	printf("%d\n",ans);
	return 0;
}