(二分图理论.docVIP

*7.5 二部图及匹配 7.5.1二部图 在许多实际问题中常用到二部图，本节先介绍二部图的基本概念和主要结论，然后介绍它的一个重要应用匹配。 定义7.5.1 若无向图的顶点集能分成两个子集和，满足 （1），； （2），均有，。 则称为二部图或偶图，和称为互补顶点子集，常记为。如果中每个顶点都与中所有顶点邻接，则称为完全二部图或完全偶图，并记为，其中。 由定义可知，二部图是无自回路的图。 图7-55中，都是二部图，其中是完全二部图。 图7-55二部图显然，在完全二部图中中，顶点数，边数。 一个无向图如果能画成上面的样式，很容易判定它是二部图。有些图虽然表面上不是上面的样式，但经过改画就能成为上面的样式，仍可判定它是一个二图，如图756中可改画成图，图可改画成图。可以看出，它们仍是二图。 图7-56二部图 定理7.5.1 无向图为二部图的充分必要条件为中所有回路的长度均为偶数。 证先证必要性。 设是具有互补节点子集和的二部图。是中任一长度为的回路，不妨设，则，，所以必为偶数，不然，不存在边。 再证充分性。 设是连通图，否则对的每个连通分支进行证明。设只含有长度为偶数的回路，定义互补节点子集和如下：任取一个顶点，令 现在证明中任意两节点间无边存在。 假若存在一条边，且，则由到间的最短路（长度为偶数）， 边和到间的最短路（长度为偶数）所组成的回路的长度为奇数，与假设