题目:
题目链接:[LUOGU P4589 智力竞赛]
题意:就是给出一个带权有向图,选出n + 1条链,问能否全部点覆盖,如果不能,问不能覆盖的点权最小值最大是多少
题解:
发现题目要求的就是可相交的最小路径覆盖,再求一下Floyed传递闭包,可以求出每个点能到达的点集,二分答案,check里面用栈存一下判最大独立集即可。
二分图的相关总结:
点覆盖:点集合使得任意一条边至少有一个端点在集合中。
独立集:点集合中任何两个顶点都不互相连接。
路径覆盖:任何一个点都属于且仅属于一条路径。
1、(Konig 定理):最小点覆盖数 = 最大匹配数
2、最大独立集 = 顶点数 - 最大匹配数
3、最小路径覆盖数 = 顶点数 – 最大匹配数
代码:
#include<bits/stdc++.h>
using namespace std;
inline int read()
{
int s=0,w=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')w=-1;ch=getchar();}
while(ch<='9'&&ch>='0')s=s*10+ch-'0',ch=getchar();
return s*w;
}
const int sea=700;
int w[sea],tim=1,mx,n,m,top,v[sea],pre[sea],st[sea],g[sea][sea];
bool hgry(int x)
{
for(int i=1;i<=top;i++)
if(g[st[x]][st[i]])
{
if(v[i]==tim) continue;
v[i]=tim;
if(!pre[i]||hgry(pre[i])) {pre[i]=x;return 1;}
}
return 0;
}
bool check(int xx)
{
memset(pre,0,sizeof(pre)); top=0;int s=0;
for(int i=1;i<=m;i++) if(w[i]<xx) st[++top]=i;
for(int i=1;i<=top;i++,tim++) if(hgry(i)) s++;
return top-s<=n+1;//判断符合条件的点的最大独立集是否<=n+1
}
int main()
{
n=read(); m=read(); mx=0;
for(int i=1;i<=m;i++)
{
w[i]=read(); mx=max(mx,w[i]);
int k=read(); for(int j=1;j<=k;j++) g[i][read()]=1;
}
//Floyed传递闭包
for(int k=1;k<=m;k++)
for(int i=1;i<=m;i++)
for(int j=1;j<=m;j++)
g[i][j]|=g[i][k]&g[k][j];
//二分答案
int l=0,r=mx,ans=0;
while(l<=r)
{
int mid=(l+r)/2;
if(check(mid)) ans=mid,l=mid+1;
else r=mid-1;
}
if(ans>=mx) puts("AK");else printf("%d\n",ans);
return 0;
}