图论匹配与因子分解.pptVIP

匹配与因子分解  (一)、图的匹配与贝尔热定理 图的匹配相关概念 (1)、匹配M-如果M是图G的边子集(不含环),且 M中的任意两条边没有共同顶点,则称M是G的一个匹 配或对集或边独立集。 如果G中顶点v是G的匹配M中某条边的端点,称它 为M饱和点,否则为M非饱和点。 M,=67, V,8) M1M2,M3等都是G的匹配。  2、贝尔热定理 定理1(贝尔热,1957)G的匹配M是最大匹配,当且 仅当G不包含M可扩路。 证明:“必要性” 若G包含一条M可扩路P,则可令该可扩路为 P=14 显然,P中M中的边比非M中的边少一条。于是作新 的匹配M,它当中的边由P中非M中边组成。M1中边比 M中多一条,这与M是G的最大匹配矛盾。 充分性” 若不然,设M1是G的一个最大匹配,则MM。  令H=M1MM。 容易知道:GH的每个分支或者是由M1与M中边交 替组成的偶圈,或者是由M1与M中边交替组成的路 在每个偶圈中,M1与M中边数相等;但因MM, 所以,至少有一条路P,其起点和终点都是M非饱和点, 于是,它是G的一条M可扩路。这与条件矛盾。 注:贝尔热定理给我们提供了扩充G的匹配的思路。 贝尔热(1926--2002)法国著名数学家。他的《无限图 理论及其应用》(1958)是继哥尼之后的图论历史上的第 二本图论专著。他不仅在图论领域