二分图最大对集算法.pptVIP

5.4 二分图最大对集算法 人员分派问题是二分图中的对集在实际应 用中的一个具体例子。如设某单位有 n 名工 作人员 和 m 项工作 能否给每个人恰好分派一项他能胜任的工 作，且每项工作至多分派给一名能胜任该 项工作的人员？ 人员分派问题可以用图的语言叙述： 令 X={ }, Y={ }. 构造二分图如下： 其顶点集的二分划为 X 和 Y，对于1≤i≤n, 1≤j≤m。当且仅当人员 能胜任工作 时，G 中存在连接顶点 和 的边。于是人员分派问题就成为在 G 中求出一个饱和 X 中的每个顶点的对集问题。 在上一节的定理 5.3.1 给出了这种对集的 存在的充分必要条件。然而在实际应用中， 我们希望找到一种便于运用的算法，这个算 法应该满足以下要求：当问题存在解时，它 至少求出一个解，当问题不存在解时，求出 X的一个子集 S，使 , 或求一个最大对集。 下面要介绍的就是一个满足要求的算法，通常称为匈牙利算法。 匈牙利方法：（从G的任意一个对集M开始） （1）若 M 饱和 X 中的每个顶点，则停止。否则，设 u 是 X 中的一个 M非饱和点。置 S={u}, B=Φ。 （2）若 ，由于|S|=|B|+1，所以 因而停止。根据定理5.3.1，不存在饱和 X 的每个顶点的堆积。否则，令 y∈ 。 （3）若 y 是 M 饱和的，设 yz ∈ M, 用 S∪{z} 代替 S, B ∪{y} 代替 B，并转到第（2）步（仍有 |S|=|B|+1 ），否则 y 是 M 非饱和的顶点，则 G 中存在从 u 到 y 的 M 可扩路，设为 P，用 MΔE(P) 代替 M并转到第（1）步。 该算法结束时所得到的结果或是一个饱和 X 中每个顶点的对集，或有一个 X 的子集 S，满足 ，此时说明了G=(X,Y;E) 中没一个对 集能饱和 X 的每个点。若需要求出二分图 G=(X,Y;E) 的最大对集，则应在第二种结果的基 础上继续检查是否存在其他 M 非饱和点有 M 可扩 路。 为此下面给出求二分图最大对集的一个算法，仍从任意一个对集M开始。 （1）置 S=Φ, B=Φ. （2）若 X-S 中每个点是 M 饱和点的，则停止。否则令 u 是 X-S 中的一个 M 非饱和点，置 S:S ∪{u}。 （3）若 NG (S)=B 转第（5）步。否则令 y∈ NG (S)-B。 （4）若 y 是 M 饱和的，设 yz ∈ M, 用 S∪{z} 代替 S,B ∪{y} 代替B，并转到第（3）步. 否则 y 是 M 非饱和的顶点，令 P 是从 u 到 y 的 M 可扩路，并用 MΔE(P) 代替 M 转到第（1）步. （5）若 X-S=Φ, 则停止。否则转第（2）步。 用这个算法最终得到的对集 M 就是二分图 G=(X,Y;E) 的最大对集。 * www .course. zjnu. cn/ gtjpkc * 算法的基本思想：从任意一个对集 M 开始，如果 M 饱和 X 中每个顶点，则 M 即为所求。否则令 u 为起点作 G 的所有M交错路，如果存在 M 可扩路 P，则 M1 =MΔE(P) 就是比 M 大的一个对集，然后以 M1 代替 M，并重复这过程。如果不存在 M 可扩路可扩路，记 Z={v: G 存在从 u 到 v 的 M 交错路} A=X∩Z-{u} B 为 Y 中在 M 下与 A 匹配的顶点集。S= A∪{u}，则如同定理 5.3.1 证明那样： |NG (S)| = |B|= |S|-1|S| 即 G 不存在饱和 X 中每个顶点的对集。