题意
给出一个DAG,求一个最大的点集满足集合里面的点两两之间不能到达。
n<=100
分析
一个很详细的题解
vfk关于相关定理的证明
链:是一个点集,满足对于集合里面的任意两点u,v,要么能从u到达v,要么能从v到达u。
反链:是一个点集,满足对于集合里面的任意两点u,v,既不能从u到v,也不能从v到u。
现在这题要求的就是最长反链。由定理最长反链=最小链覆盖(每个点至少被经过一次)可得,这题要求的就是最小链覆盖。
我们可以先用floyd求出其传递闭包,也就是两两点之间的连通性,然后假如x能到达y,则在新图中连一条x->y的边,这样问题就变成了求新图中的最小路径覆盖(每个点恰好被经过一次)。
DAG的最小路径覆盖求法:对于图中的每个点x拆成两个点x1和x2,对于一条边x->y,连一条新边x1->y2,显然新图是一个二分图,那么最小路径覆盖=原图点数-二分图最大匹配。
证明:一开始每个点看做一条路径,在二分图中,每匹配一条边,就相当于在原图中选择了一条边,也就是合并了两条路径。如果我们把x1看成出点,x2看成入点,那么每个点就最多被进入一次,最多出去一次,所以不会有点被重复经过。
代码
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
const int N=105;
const int inf=0x3f3f3f3f;
int n,m,cnt,last[N*2],cur[N*2],dis[N*2],s,t;
bool f[N][N];
queue<int> que;
struct edge{int to,c,next;}e[N*N*2];
int read()
{
int x=0,f=1;char ch=getchar();
while (ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
void addedge(int u,int v,int c)
{
e[++cnt].to=v;e[cnt].c=c;e[cnt].next=last[u];last[u]=cnt;
e[++cnt].to=u;e[cnt].c=0;e[cnt].next=last[v];last[v]=cnt;
}
bool bfs()
{
for (int i=s;i<=t;i++) dis[i]=0;
while (!que.empty()) que.pop();
dis[s]=1;que.push(s);
while (!que.empty())
{
int u=que.front();que.pop();
for (int i=last[u];i;i=e[i].next)
if (e[i].c&&!dis[e[i].to])
{
dis[e[i].to]=dis[u]+1;
if (e[i].to==t) return 1;
que.push(e[i].to);
}
}
return 0;
}
int dfs(int x,int maxf)
{
if (x==t||!maxf) return maxf;
int ret=0;
for (int &i=cur[x];i;i=e[i].next)
if (e[i].c&&dis[e[i].to]==dis[x]+1)
{
int f=dfs(e[i].to,min(e[i].c,maxf-ret));
e[i].c-=f;
e[i^1].c+=f;
ret+=f;
if (maxf==ret) break;
}
return ret;
}
int dinic()
{
int ans=0;
while (bfs())
{
for (int i=s;i<=t;i++) cur[i]=last[i];
ans+=dfs(s,inf);
}
return ans;
}
int main()
{
n=read();m=read();
for (int i=1;i<=m;i++)
{
int x=read(),y=read();
f[x][y]=1;
}
for (int k=1;k<=n;k++)
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++)
f[i][j]|=f[i][k]&f[k][j];
s=0;t=n*2+1;cnt=1;
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++)
if (f[i][j]) addedge(i,j+n,1);
for (int i=1;i<=n;i++) addedge(s,i,1),addedge(i+n,t,1);
printf("%d",n-dinic());
return 0;
}