bzoj1143 [CTSC2008]祭祀river

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

2

【样例说明】
在样例给出的水系中，不存在一种方法能够选择三个或者三个以上的祭祀点。包含两个祭祀点的测试点的方案有两种：
选择岔口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;
}