[匈牙利算法] 最小点覆盖 König定理

König定理：

一个二分图中的最大匹配数等于这个图中的最小点覆盖数。

（你都能用最少的覆盖最多的还不是最大匹配数？？）

poj 1325 Machine Schedule

【题目描述】有两部机器A和B。A机器有n中工作模式0，1，2，3，……n-1，总共n种。B机器有m中工作模式，0，1，2，3，……m-1 ，总共m种。有k个任务，每个任务可以在A机器的某个模式或者B机器的某个模式中完成。
A和B机器开始时都默认在0模式，要选择其他模式就要重启一次。求完成k个任务至少需要重启多少次机器。最后以0结束。输出最少重启机器的次数。
【输入】第一行三个整数n, m，k( 0< n, m < 100，0< k < 1000），n表示A机器有n种模式，m表示B机器有m中模式，k表示k个任务。下来k行，每行三个数 p，x，y，第一个表示第p个任务，后面两个，表示该任务可以在A机器的x模式完成，或者可以选择B机器的y模式完成该任务。
【输出】一个整数，为最少重启机器的次数。
【解析】：要完成所有任务，那么就是要覆盖所有任务，任务为边，AB机器的模式是点，边连接两个点表示任务可在A机器中某个模式或B机器中某个模式完成。构图完成后，那么剩下就是用匈牙利算法求最小点覆盖数。

#include <cstdio>
#include <cstring>
using namespace std;
int a[210],n,m,k,ans;
//a[]：这个母牛所匹配到的公牛
bool pp[210][210],ch[210];
//pp[][]:可以匹配的公牛母牛
//ch[i]：i这个母牛能否访问
int find(int x)
{for (int i=1;i<=m;i++){if (pp[x][i]==true&&ch[i]==true){ch[i]=false;if (a[i]==0||find(a[i])==1){a[i]=x;return 1;}}}return -1;
}
int main()
{while (1){   scanf("%d",&n);if (n==0) break;scanf("%d%d",&m,&k);memset(pp,false,sizeof(pp));memset(a,0,sizeof(a));for (int i=1;i<=k;i++){int u,x,y;scanf("%d%d%d",&u,&x,&y);pp[x][y]=true;}ans=0;for (int i=1;i<=n;i++){memset(ch,true,sizeof(ch));if (find(i)==1) ans++;}printf("%d\n",ans);}return 0;
}

König定理证明：
虽然直接应用König定理可以解决许多最小覆盖的题目，但这类题难点往往在于构图，要做到灵活构图应用König定理，则对其证明需要有一定的了解。König定理的证明是建立在匈牙利算法操作细节上的，掌握匈牙利算法的全过程很重要。
假设二分图G分为左边X和右边Y两个互不相交的点集。G经过匈牙利算法后找到一个最大匹配M，则可知G中再也找不到一条增广路径。
根据König定理从最大匹配边中选M个点。下来说明选点策略，再证明这个策略的正确性。
选点策略：
标记右边未匹配边的顶点，并从右边未匹配边的顶点出发，按照边：未匹配→匹配→未匹配→……的原则标记途中经过的顶点，则最后一条经过的边必定为匹配边（否则为增广路经）。重复上述过程，直到右边不再含有未匹配边的点。

[匈牙利算法] 最小点覆盖 König定理相关推荐

Asteroids POJ - 3041 匈牙利算法+最小点覆盖König定理
题意: 给出一个N*N的地图N 地图里面有K个障碍你每次可以选择一条直线消除这条直线上的所有障碍 (直线只能和列和行平行) 问最少要消除几次题解: 如果(x,y)上有一个障碍则把 ...
二分图最小点覆盖König定理的简单证明
König定理是一个二分图中很重要的定理,它的意思是,一个二分图中的最大匹配数等于这个图中的最小点覆盖数.如果你还不知道什么是最小点覆盖,我也在这里说一下:假如选了一个点就相当于覆盖了以它为端点的所有 ...
edmonds算法matlab,匈牙利算法的matlab实现
匈牙利算法算法简介算法原理算法实现(附代码) 测试算法简介下面摘用百度百科中的解释. 匈牙利算法(Hungarian method)是由匈牙利数学家Edmonds于1965年提出,因而得名. ...
匈牙利算法以及在分配问题中的使用
前部分算法解释引自https://blog.csdn.net/dark_scope/article/details/8880547感谢大神的讲解 [书本上的算法往往讲得非常复杂,我和我的朋友计划用一些 ...
二分匹配（匈牙利算法）
匈牙利算法是由匈牙利数学家Edmonds于1965年提出,因而得名.匈牙利算法是基于Hall定理中充分性证明的思想,它是部图匹配最常见的算法,该算法的核心就是寻找增广路径,它是一种用增广路径求二分图最 ...
匈牙利算法c语言代码,漫谈匈牙利算法
匈牙利算法是由匈牙利数学家Edmonds于1965年提出,因而得名.匈牙利算法是基于Hall定理中充分性证明的思想,它是部图匹配最常见的算法,该算法的核心就是寻找增广路径,它是一种用增广路径求二分图最 ...
【匈牙利算法】【二分图匹配】【转载】趣写算法系列之--匈牙利算法
转载自:http://blog.csdn.net/dark_scope/article/details/8880547 [书本上的算法往往讲得非常复杂,我和我的朋友计划用一些简单通俗的例子来描述算法的 ...
算法讲解 -- 二分图之匈牙利算法
匈牙利算法是由匈牙利数学家Edmonds于1965年提出,因而得名.匈牙利算法是基于Hall定理中充分性证明的思想,它是部图匹配最常见的算法,该算法的核心就是寻找增广路径,它是一种用增广路径求二分图最 ...
匈牙利算法——最大匹配问题详解
2017年中兴提前批校招,就考了一题匈牙利算法. 匈牙利算法是由匈牙利数学家Edmonds于1965年提出,因而得名.匈牙利算法是基于Hall定理中充分性证明的思想,它是部图匹配最常见的算法,该算法的 ...

[匈牙利算法] 最小点覆盖 König定理

König定理：

[匈牙利算法] 最小点覆盖 König定理相关推荐

最新文章

热门文章