题目链接:http://poj.org/problem?id=1325
题目描述:2台机器A和B,分别有n,m种工作状态,k个工作,可以在A机器x状态下工作,也可以在B机器y状态下工作。问最少切换多少次机器状态可以完成所有工作。
解题思路:把A机器下的工作状态看作点集X,B机器下的每个工作状态看作点集Y,每个任务i看做一条连接状态a[x]和b[y]的边,问题转化为求解最少的点覆盖(关联)每一条边。
此问题也是最小顶点覆盖问题,并且有一个定理,估计大家也很熟悉:
König定理:二分图中的最大匹配数等于这个图中的最小顶点覆盖数。
设二分图的最大匹配数为M,证明如下:(来自黑书)
1) M个是足够的。形成最大匹配的M条边上对应的顶点一定会覆盖所有的边,否则,若有边没有被覆盖,把这条边加入,得到更大的匹配;
2) M个是必需的(最小的)。仅考虑形成最大匹配的M条边,由于它们两两之间没有公共的顶点,因此至少需要M个点才能把他们覆盖(若减去一个任意匹配边e上的点,则e没有被覆盖)。
证明完毕。
顺便,这位Matrix67大牛的博客也有一个证明,表示看的不是很明白,大家去研究吧。
有了这个定理,再加上匈牙利算法的模板,就差不多了,还有一点注意的是:当 x = 0 或者 y = 0 时, 这不需要连边,原因是该任务要在起始状态工作,则不需要切换状态。
代码如下,邻接矩阵实现:
![](https://i-blog.csdnimg.cn/blog_migrate/8f900a89c6347c561fdf2122f13be562.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/961ddebeb323a10fe0623af514929fc1.gif)
1 #include <stdio.h>
2 #include <string.h>
3
4 const int MAXN = 101;
5
6 int n, m;
7 int g[MAXN][MAXN];
8 int linker[MAXN];
9 bool used[MAXN];
10
11 bool dfs(int u) {
12
13 int v;
14
15 for(v = 1; v <= m; v++) {
16 if(g[u][v] && !used[v]) {
17 used[v] = true;
18 if(linker[v] == -1 || dfs(linker[v])) {
19 linker[v] = u;
20 return true;
21 }
22 }
23 }
24
25 return false;
26 }
27
28 int hngary() {
29
30 int res = 0, u;
31
32 memset(linker, -1, sizeof(linker));
33 for(u = 1; u <= n; u++) {
34 memset(used, false, sizeof(used));
35 if(dfs(u)) res++;
36 }
37
38 return res;
39 }
40
41 int main () {
42
43 int k, u, v, i, j;
44
45 while (scanf("%d", &n), n) {
46 scanf("%d%d", &m, &k);
47 memset(g, 0, sizeof(g));
48 for (i = 0; i < k; i++) {
49 scanf("%d%d%d", &j, &u, &v);
50 if (u && v) {
51 g[u][v] = 1;
52 }
53 }
54 printf("%d\n", hngary());
55 }
56
57 return 0;
58 }