hihocoder 1127 : 二分图三·二分图最小点覆盖和最大独立集
2015-12-29 17:57
253 查看
最大独立集问题:
在图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相邻的边都能够被它给覆盖掉,那么与这条边对应的另一端顶点就不需要考虑了,并且在最大匹配的点集合中,必定有一半的点所关连的边不止一条。所以可以很直观地得到这个结论。
在图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; }
相关文章推荐
- 初学图论-Kahn拓扑排序算法(Kahn's Topological Sort Algorithm)
- 初学图论-Bellman-Ford单源最短路径算法
- 初学图论-DAG单源最短路径算法
- 初学图论-Dijkstra单源最短路径算法
- 初学图论-Dijkstra单源最短路径算法基于优先级队列(Priority Queue)的实现
- 封装好的Folyd建图,C++源码
- LCA模板
- 图论学习笔记之一——Floyd算法
- 【LCA】SPOJ QTREE2
- poj 3249 Test for Job 最长路
- HDU 2544
- Timus 1557 Network Attack DFS+各种各种...
- HDU1289 Tarjan-模板题
- Poj2638 网络流+最短路+二分答案
- Aizu1311 分层图最短路 (...大概)
- HDU 3631 Shortest Path
- 二分图匹配模板
- 最短路径 -- spfa
- POJ2377 Bad Cowtractors
- Six Degrees of Cowvin Bacon(最短路径floyd算法)