AcWing
  • 首页
  • 课程
  • 题库
  • 更多
    • 竞赛
    • 题解
    • 分享
    • 问答
    • 应用
    • 校园
  • 关闭
    历史记录
    清除记录
    猜你想搜
    AcWing热点
  • App
  • 登录/注册

AcWing 379. 捉迷藏    原题链接    中等

作者: 作者的头像   Pr ,  2021-04-16 19:42:48 ,  所有人可见 ,  阅读 867


6


1

下面内容都是来自y总的强大脑回路,可以结合y总的视频食用

最小相交路径点覆盖

下面的不是严谨的数学证明,但是可能让你觉得这样求的算法貌似大概是对的

在这里插入图片描述

最小可重复路径点覆盖

在这里插入图片描述

Dilworth定理

在这里插入图片描述

二分图的常用技巧–建单向边即可

在这里插入图片描述

//DAG图中,最长反链长度 = 最小链覆盖(用最少的链覆盖所有顶点)
//所以我们先对有向图传递闭包(偏序关系补全),然后n^2
//有向无环图G的最小路径点覆盖包含的路径条数,等于n减去拆点二分图G2的最大匹配数。证明暂且不会,y总说学了网络流再学证明
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=210;
int n,m;
bool g[N][N];
bool st[N];
int match[N];
bool find(int x)
{
    for (int i = 1; i <= n; i ++ )
        if (g[x][i] && !st[i])
        {
            st[i] = true;
            int t = match[i];
            if (t == 0 || find(t))
            {
                match[i] = x;
                return true;
            }
        }

    return false;
}

int main()
{
    scanf("%d%d",&n,&m);
    while(m--)
    {
        int a,b;
        scanf("%d%d",&a,&b);
        g[a][b]=1;
    }
    //floyd求传递闭包,n^3
    for(int k=1;k<=n;k++){
        for(int i=1;i<=n;i++){
            for(int j=1;j<=n;j++){
                 g[i][j]|=(g[i][k]&g[k][j]);
            }
        }
    }
    //建二分图,不用真的建二分图
    int res = 0;
    for (int i = 1; i <= n; i ++ )
    {
        memset(st, 0, sizeof st);
        if (find(i)) res ++ ;
    }

    printf("%d\n", n - res);

    return 0;
}

0 评论

App 内打开
你确定删除吗?
1024
x

© 2018-2025 AcWing 版权所有  |  京ICP备2021015969号-2
用户协议  |  隐私政策  |  常见问题  |  联系我们
AcWing
请输入登录信息
更多登录方式: 微信图标 qq图标 qq图标
请输入绑定的邮箱地址
请输入注册信息