bzoj1143 [CTSC2008]祭祀river-CFANZ编程社区

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

　　由于人数众多的原因，Y族的祭祀活动会在多个岔口上同时举行。出于对龙王的尊重，这些祭祀地点的选择必
须非常慎重。准确地说，Y族人认为，如果水流可以从一个祭祀点流到另外一个祭祀点，那么祭祀就会失去它神圣
的意义。族长希望在保持祭祀神圣性的基础上，选择尽可能多的祭祀的地点。
Input
　　第一行包含两个用空格隔开的整数N、M，分别表示岔口和河道的数目，岔口从1到N编号。接下来M行，每行包
含两个用空格隔开的整数u、v，描述一条连接岔口u和岔口v的河道，水流方向为自u向v。 N ≤ 100 M ≤ 1 000
Output

　　第一行包含一个整数K，表示最多能选取的祭祀点的个数。
Sample Input
4 4
1 2
3 4
3 2
4 2
Sample Output

【样例说明】
在样例给出的水系中，不存在一种方法能够选择三个或者三个以上的祭祀点。包含两个祭祀点的测试点的方案有两种：
选择岔口1与岔口3（如样例输出第二行），选择岔口1与岔口4。
水流可以从任意岔口流至岔口2。如果在岔口2建立祭祀点，那么任意其他岔口都不能建立祭祀点
但是在最优的一种祭祀点的选取方案中我们可以建立两个祭祀点，所以岔口2不能建立祭祀点。对于其他岔口
至少存在一个最优方案选择该岔口为祭祀点，所以输出为1011。
其实这题我在看的时候大概yy过如何去搞大概因为两个祭祀点不能有关联的确可以先floyd传递闭包搞一搞然后呢这个图我觉得建出来就像匹配了还像最小割就两个点不能同时选否则会有问题（其实真正代码写出来感觉似乎和正解差别不大
但是看到Icefox巨佬还有网上blog都写的是最长反链似乎和导弹拦截很像蒟蒻我尝试理解了半天qwq
反链大概就是找一些点组成集合使得这个集合内中所有点都互相不可到达那么据说有个定理可以把这个最长反链转化为求最小可相交覆盖路径数那么大概就是刚刚的做法了 floyd 然后左边1~n 右边1~n 然后有关系就连容量为1的边左边和源连1的边右边和汇连1的边最大流即可

#include<queue>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 220
#define inf 0x3f3f3f3f
using namespace std;
inline char gc(){
    static char now[1<<16],*S,*T;
    if (T==S){T=(S=now)+fread(now,1,1<<16,stdin);if (T==S) return EOF;}
    return *S++;
}
inline int read(){
    int x=0;char ch=gc();
    while(ch<'0'||ch>'9') ch=gc();
    while(ch<='9'&&ch>='0'){x=x*10+ch-'0';ch=gc();}return x;
}
int n,m,mp[N][N],h[N],num=1,level[N],T,cur[N];
struct node{
    int y,z,next;
}data[N*N*2];
inline void insert1(int x,int y,int z){
    data[++num].y=y;data[num].z=z;data[num].next=h[x];h[x]=num;
    data[++num].y=x;data[num].z=0;data[num].next=h[y];h[y]=num;
}
inline bool bfs(){
    queue<int>q;q.push(0);memset(level,0,sizeof(level));level[0]=1;
    while(!q.empty()){
        int x=q.front();q.pop();
        for (int i=h[x];i;i=data[i].next){
            int y=data[i].y,z=data[i].z;
            if(level[y]||!z) continue;level[y]=level[x]+1;if(y==T) return 1;q.push(y);
        }
    }return 0;
}
inline int dfs(int x,int s){
    if(x==T) return s;int ss=s;
    for (int &i=cur[x];i;i=data[i].next){
        int y=data[i].y,z=data[i].z;
        if(level[x]+1==level[y]&&z){
            int xx=dfs(y,min(z,s));if (!xx) level[y]=0;
            s-=xx;data[i].z-=xx;data[i^1].z+=xx;if(!s) return ss;
        }
    }return ss-s;
}
int main(){
    freopen("bzoj1143.in","r",stdin);
    n=read();m=read();T=n*2+1;
    for (int i=1;i<=m;++i){
        int x=read(),y=read();mp[x][y]=1;
    }
    for (int k=1;k<=n;++k)
        for (int i=1;i<=n;++i)
            for (int j=1;j<=n;++j)
                if(i!=j) mp[i][j]|=mp[i][k]&mp[k][j];
    for (int i=1;i<=n;++i) insert1(0,i,1),insert1(i+n,T,1);
    for (int i=1;i<=n;++i)
        for (int j=1;j<=n;++j){
            if (i==j||!mp[i][j]) continue;insert1(i,j+n,1);
        }int ans=0;
    while(bfs()) memcpy(cur,h,sizeof(h)),ans+=dfs(0,inf);printf("%d\n",n-ans);
    return 0;
}