正盈量二部图的最大匹配数下界的紧性.pdfVIP

第23卷第6期 龙岩学院学报 2005年12月 V01．23No．6 of Deeember2005 JournalLongyanUniversity 正盈量二部图的最大匹配数下界的紧性 刘春扬 (福建医科大学数理计算机教学部 福建福州 350004) 的二部图，刻画了其当亏度def(G)给定时达到最大匹配数下界的二部图，从而验证了此类二部图最大匹配数下界的紧 性。 关键词：二部图；最大匹配数；正盈量 一 中图分类号：0157．5 文献标识码：A 文章编号：1673—4629(2005)06—0009—02 最大匹配问题是匹配理论中核心问题之一，它广泛应 二部图．则： 用在组合优化、线性规划、理论化学与量子化学等领域。对 and C(G)=咖，A(G)=AD(G)=B． 最大匹配的理论研究近年来取得了很大进展，特别是对二 部图的最大匹配研究。至今已确定了正盈量二部图最大匹 配的下界并刻画了当亏度为1时达到下界的图。本文对具 大匹配使该顶点v未被覆盖；对图G的任意边e一定落在 有正盈量的二部图，找到了亏度大于或等于2时达到下界 某些最大匹配中。 的那些二部图．从而验证了正盈量二部图最大匹配数下界 的紧性；同时还刻画了当亏度为2时达到下界的图。 仅当它包含A中的顶点度数均为2的生成森林。 设图G为无向简单图，其顶点集为V(G)，边集为E(G)。 对顶点集X∈V(G)，其在G中的邻集记为N。(X)；G中的顶言)的二部图，如果对任意顶点u∈A有dc 点11的度数记为d。(u)；G中所有顶点的最小度数记为8(G)；一棵树，de,G)=1，且G恰好有lAl+1个最大匹配。 图G生成森林是顶点与G相同的不含圈的G的子图：顶点 u的悬挂边是指图G中一个顶点为u，另一个顶点的度数为 个最大匹配。 1的边：图G的匹配是G中一组不相邻的边；图G的完美匹 配是G中这样的匹配：它饱和(或称覆盖)G中所有的顶点； M为G的匹配．若不存在匹配M’使得lM’IIMI“MI为M所 大于等于3的顶点均存在一条悬挂边时．图G的最大匹配 包含的边数)，则称M为G的最大匹配，且记叫G)=IMI；图G 数达到下界：IE(G)I—IAI+I。 的亏度(deficiency)为未被最大匹配所覆盖的顶点数，记def (G)。显然deffG)=IV(G)l一2v(G)。图G的最大匹配数为其所 包含的最大匹配的个数。最大匹配数的下界是紧的(tight)当 且仅当该最大匹配数能取到下界。 悬挂边，则U是唯一一个A中具有至少2条悬挂边的顶点。 记DfGl为G中至少未被一个最大匹配所被覆盖的顶 点集；A(G)为V(G)一D(G)中至少与D(G)中一个顶点相邻的 顶点集；C(G)：V(G)一A(G)一D(G) 通性，d(u1)≥3．取X=A—u—ul，贝0： 设G为二部图，记G(A，B)，若对A中任意非空顶点集 正盈量(对A而言)矛盾。 X，有IN积)I1XI，则称二部图G(A，B)有正盈量(对A而言)。 定理1(Hall定理)o，i设G(A，B)为二部图，则G(A，B) 包含饱和A的每一顶点的匹配当且仅当对任何A的非空子 1I≥lXl 集X有：INc(X 挂边，若T为G的生成树，则U为T中唯一一个度数≥3的 引理2闭．设图G(A，B)为具有正盈量(对A而言)的