bzoj 1143: [CTSC2008]祭祀river 求最长反链：网络流

题意

给出一个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;
}