二部图与匹配精选.pptxVIP

二部图与匹配 二部图与匹配 1*二部图相关的定义 2*二部图的判定 3*匹配相关定义 4*二部图最大匹配——匈牙利算法 1*二部图相关的定义 二部图与匹配 二部图有着许多应用，很多实际问题都可以使用二部图来解决，如资源分配，任务派遣等。这类问题的本质是在两个不相交的子集中寻找一种匹配对方案，并且在给定的条件下，希望这种配对达到最大，对条件的满足程度最好。 定义：给定无向图 ,若能将顶点集 划分成两个非空子集 和 ,满足 ， ,且对 中的任意一条边 ，有 , ,则称 为二部图， 和 称为 的互补顶点子集，可记为 。 在二部图 中 的每个顶点与 的每个顶点都有且仅有一条边相连接，则称 是完全二部图。记为 其中 , 。 二部图与匹配 是二部图 完全二部图 。 不是二部图 1.判断题 二部图与匹配 二部图的判定： 1*任意一点标记为A； 2*把上一步标记为A的所有相邻的点标记为B，同样把上一步标记为B的所有相邻的点标记为A，照此继续直到每点都被标记为止； 3*判断原则：如果标记后的图没有任何相邻两点有相同的标记，则G是二部图，否则不是二部图。 二部图与匹配 例2 二部图与匹配 5.16定理（二部图的判定定理） 一个无向图G是二部图当且仅当G中无奇数长度的回路。 定理的通俗阐释：二部图中的任何一条通路，其顶点序列往返于互补点集 和 之间，因此，图中任意一条回路都是偶数边构成。 (1) (2) 二部图与匹配 定理证明： 必要性：设 是一个二部图，不妨设回路从 出发，由于回路的每条边依次是从 到 ，再从 到 ，再从 到 ，再从 到 ......,最后回到 ，从而回路的长度为偶数。 充分性：不妨设 至少有一条边且连通，取任一顶点 ，令 ， 其中, 表示顶点 到顶点 的路长度，则 . 先证 中任意两点不相邻.假设存在 设 分别是 到 和 到 的路径，则 是一条回路，其长度为奇数,与假设矛盾.同理 中任意两点不相邻. 二部图与匹配 匹配相关定义5.28 设图 是二部图， 是图 中一些边组成的集合，如果 中的任意两条边都没有公共端点，则称 为图 的一个匹配（或称对集）。设 是图 中的顶点，如果 是匹配 中某一条边的端点，则称 饱和顶点 ，并称 是 饱和的.否则称 是 非饱和的。 例如，在图中，边集 是匹配，顶点 和 都是 饱和的，顶点 和 是 是非饱和的。 二部图与匹配 若 中的每个结点都是 饱和点，则称 是完美匹配。显然，每个完美匹配是最大匹配，但反之不真。 定义5.92：设 为一个二部图， 为 中的一个最大匹配，若 ，称 为 中的一个完备匹配，且若 ，称 为 到 的一个完备匹配；若 ,此时 为 的完美匹配。 显然，完美匹配是完备匹配，反之不真。 二部图与匹配 定理5.17 （Hall定理）设 是一个二分图， , 中存在从 到 的完备匹配当且仅当 中任意 个顶点（ ）至少邻接 中的 个顶点。 由Hall定理容易证明下面的定理。 设 是一个二分图，若存在正整数 ，满足 （1） 中每个顶点至少关联 条边。 （2） 中每个顶点至多关联 条边。 则 中存在从 到 的完备匹配。 二部图与匹配 最大匹配的求法： 增益路径：设 和 是二部图 的两个互补顶点集， 是一个初始匹配，如果 有一条简单路径起点连着 中的 非饱和点，而终点连着 中的 非饱和点，路径上边交替出现在 和 中，即路径的第一条边不在 ，第二条边在 中，以此类推，直到最后一条边不在 中。这样的路径称为 的增益路径。 二部图与匹配 匈牙利算法：寻找关于当前匹配的增广路径，然后沿着增广路径进行增广，将得到一个更大的匹配，重复这一个过程，直到找不到增广路径时停止。 （1）**先把 进行