匹配与独立集.docVIP

匹配与独立集 5.1 匹配 设D是无环非空图，M是E(D)的非空子集。若M中任何两条边在D中均不相邻，则称M为D的匹配（matching）。 例如，在图5.1所示图中，粗边所示的边集是该图的一个匹配。D中与M中边关联的顶点称为M饱和点（saturated vertex）。反之，称为非M饱和点。设。若X中每点都是M饱和点,则称M饱和X。若M饱和，则称M为D的完备匹配（perfect matching）。若对D的任何匹配均有，则称M为D的最大匹配(maximum matching)。显然，每个完备匹配都是最大匹配，反之不真。 由于这些概念均与边的方向无关，所以我们只需讨论无向图G中的匹配问题。图5.1中粗边所示的匹配分别是该图的最大匹配和完备匹配。 图G应满足什么条件才有完备匹配呢？这是我们在本节中关心的主要问题。先看G是2部分图的情形。 下面的定理被称为Hall定理，是组合数学中最基本的定理之一。它有各种表达形式，其图论表达形式为 定理5.1（Hall定理，Hall，1935）设G是2部划分为{X ，Y}的2部分图，则：G有饱和X的匹配 , （5.1） 证明设M是G中饱和X的匹配，并设。由于M将S中每个顶点与中顶点配对，所以应有 . 令M是G中最大匹配。我们只须证明 当时，条件（5.1）显然是充分的，以下进行归纳步骤。 假设对任何均有。取。则是2部分图且满足条件（5.1）。于是由归纳假设，中有饱和的匹配。因此是G中饱和X的匹配。 假设存在使。令，。则和都是2部分图，而且显然满足条件（5.1）。任取，则 . 所以也满足条件（5.1）。于是，由归纳假设，中存在饱和S的匹配，中存在饱和的匹配。因此是G中饱和X的匹配。 由Hall定理，我们立即得到判别2部分图是否有完备匹配的下列准则。 推论 5.1.1（婚姻定理，Frobenius ,1917）2部划分为{X ，Y}的2部分图G有完备匹配，并且对任何（或Y）均有。 推论 5.1.2（Kong ，1916）设G是正则2部分图，则G有完备匹配。 证明 设G是2部划分为{X ，Y}的正则2部分图，则 . 由于，所以。任取，并用和分别表示G中与S和中点关联的边集，则。因而 , 即 ，. 由Hall定理（5.1）知G有饱和X的匹配M。由于，所以M是完备匹配。 注 推论5.1.2中条件“G是2部分图”不可少。事实上，对任何，存在正则简单图使其不含完备匹配（习题5.1.2（c））。 推论 5.1.3设G是2部划分为{X ，Y}的简单2部分图，而且。若，则G有完备匹配。 证明 任取。若，则由于G是简单2部分图且，所以，而且。令，则，即 , 矛盾于。故有 ，. 由Hall定理和知G有完备匹配。 注 条件“” 不能修改为“”。例如中不含完备匹配。 对于一般的图有完备匹配的一个充要条件由Tutte (1947)获得。下面的定理有许多证明，这里的证明是Mader(1973)给出的。 定理5.2（Tutte 定理） G有完备匹配 ,， 其中是的奇阶连通分支数目。