bzoj1143 [CTSC2008]祭祀river（最长反链长度，Floyd+二分图最大匹配）

最新推荐文章于 2022-02-10 08:31:00 发布

原创最新推荐文章于 2022-02-10 08:31:00 发布 · 621 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

bzoj 同时被 3 个专栏收录

764 篇文章

订阅专栏

---------图论---------

260 篇文章

订阅专栏

最短路

72 篇文章

订阅专栏

本文探讨了在有向无环图（DAG）中，最长反链长度与最小链覆盖的关系。利用Floyd算法计算传递闭包后，结合二分图最大匹配来寻找不可相交的最小路径覆盖。这个问题源于偏序集理论，具体定理为Dilworth定理。导弹拦截问题的第二问是该定理的实际应用。

在有向无环图中，有如下的一些定义和性质：

链：一条链是一些点的集合，链上任意两个点x, y，满足要么 x 能到达 y ，要么 y 能到达 x 。

反链：一条反链是一些点的集合，链上任意两个点x, y，满足 x 不能到达 y，且 y 也不能到达 x。

那么很显然这道题就是求最长反链长度了。

一个定理：最长反链长度 = 最小链覆盖

对偶定理：最长链长度 = 最小反链覆盖

那么我们要求出的就是这个有向无环图的最小链覆盖了。最小链覆盖也就是路径可以相交的最小路径覆盖。可以先floyd求出传递闭包，然后二分图最大匹配求不可相交最小路径覆盖。

链的定义应该来源于偏序集，而DAG正好对应了一个偏序集。所以这种题的一个大前提是：有向无环图！这个定理名字叫做：Dilworth定理。证明可以去百度。
noip1999的导弹拦截，第二问实质上就是应用了这个定理。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
#include <stack>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 110
inline 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;
}
int n,m,h[N],num=1,ans=0,bf[N];
bool mp[N][N],f[N];
struct edge{
    int to,next;
}data[11000];
inline void add(int x,int y){
    data[++num].to=y;data[num].next=h[x];h[x]=num;
}
inline bool find(int x){
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;if(f[y]) continue;f[y]=1;
        if(!bf[y]||find(bf[y])){bf[y]=x;return 1;}
    }return 0;
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();
    while(m--){
        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)
                mp[i][j]|=(mp[i][k]&mp[k][j]);
    for(int i=1;i<=n;++i)
        for(int j=1;j<=n;++j)
            if(mp[i][j]) add(i,j);
    for(int i=1;i<=n;++i){
        memset(f,0,sizeof(f));if(find(i)) ans++;
    }printf("%d\n",n-ans);
    return 0;
}