下面内容都是来自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;
}