【二分图】[LUOGU P4589 智力竞赛] 二分图最独立集+二分答案

题目：

题目链接：[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;
}

Continue……