hihocoder 1127 : 二分图三·二分图最小点覆盖和最大独立集

最大独立集问题:

在图G中选取尽可能多的点，使得任意两个点之间没有连边。

结论：最大独立集的点数 = 总点数 - 二分图最大匹配

证明：

假设最大独立集的点数为|U|，二分图最大匹配的匹配数为|M|，最大匹配中所有顶点集合为EM

先证明 |U|≤|V|-|M|

M中任意一条边的两个端点是连接的，所有对于M中的边必有一个端点不在|U|集合中，所以|M|≤|V|-|U|

再证明|U|≥|V|-|M|

首先我们知道一定有|U|≥|V|-|EM|，即将最大匹配的点删除之后，剩下的点一定都不相连。
接下来我们考虑能否将M集合中的一个端点放入U中：
假设(x,y)属于M，存在(a,x),(b,y)，且a,b都在U中，则会出现两种情况：

• 如果(a,b)连接，则有一个更大的匹配存在，矛盾
• 如果(a,b)不连接，a->x->y->b有一个新的增广路，因此有一个更大的匹配，矛盾
  故有a,b两点中至多只有1个点属于U，则我们总是可以选取x,y中一个点放入集合U
  所以|U|≥|V|-|EM|+|M|=|V|-|M|
  
  综上有|U|=|V|-|M|
  

  
  

  最小点覆盖问题:
  

  在图G中选取尽可能少的点，使得图中每一条边至少有一个端点被选中。即用最少的点去覆盖所有的边。

  结论：最小点覆盖的点数 = 二分图最大匹配
  

  其实最小点覆盖的点数=二分图最大匹配这个结论可以很直观地感受，假设最小点集合里面的一个顶点为V，那么与V相邻的边都能够被它给覆盖掉，那么与这条边对应的另一端顶点就不需要考虑了，并且在最大匹配的点集合中，必定有一半的点所关连的边不止一条。所以可以很直观地得到这个结论。

  
  

  
  

  #include<iostream>
  #include<cstdio>
  #include<cstring>
  using namespace std;
  
  const int maxn = 1001;
  int n,m,belong[maxn];
  bool vis[maxn],line[maxn][maxn];
  
  bool find(int x)
  {
  	for(int i = 1; i <= n; i++)
  	{
  		if(line[x][i] == true && vis[i] == false)
  		{
  			vis[i] = true;
  			if(belong[i] == 0 || find(belong[i]) == true)
  			{
  				belong[i] = x;
  				return true;
  			}
  		}
  	}
  	return false;
  }
  
  int main()
  {	
  	while(scanf("%d%d",&n,&m)!=EOF)
  	{
  		for(int i = 1; i <= m; i++)
  		{
  			int u,v;
  			scanf("%d%d",&u,&v);
  			line[u][v] = line[v][u] = true;
  		}
  		int ans = 0;
  		for(int i = 1; i <= n; i++)
  		{
  			memset(vis,false,sizeof(vis));
  			if(find(i)) ans++;
  		}
  		printf("%d\n%d\n",ans/2,n-ans/2);
  	}
  	return 0;
  }