二分图的对集.pptVIP

5.3 二分图的对集; 设二分图为 ，本节求饱和 中每个点的对集的一个充分必要条件，这是Hall在1935年给出的，称为Hall定理。 ;;定理5.3.1的证明： 必要性：假设 是二分图 的一 个饱和 中每个顶点的一个对集，对 中的 任一个子集 则在 中有 个顶点 在 下分别 与 配对，因此有 ; 充分性：假设 满足条件， 是 的一个最大对集。下证 饱和 中所有点。 反证法。假设 是一个非饱和点。令 记 为 中在 下与 配对的顶点集合。 下证 ，其中 。 否则，设 ，记 ，使 ，则 。下分两种情况讨论： ;;推论5.3.2 二分图 有完美对集的充分必要条件是 ，并且对一切 ,均有;;推论5.3.4 设 是连通的二分图，则G的每一条边都含在一个完美对集中的充分必要条件是 ，且对X的每一个非空真子集S,均有;;任取一条边 ，考虑二分图 ，则对 中的每一个非空子集 ，可以推出 根据定理5.3.1， 有饱和 每个顶点 的对集 。而 就是 的含边 的完美 对集。;;证明：作二分图 ，其中 分别表示 个自然数和 张纸牌。 与 之间的边数等于 在纸牌 中出现的次数。 则所得图是2-正则二分图，由定理5.3.3， 有完美对集。设为 则只要将纸牌 中的1朝上； 中的2朝上， 中的 朝上等等。;; 1 2 3 4 5 6 7 则对完美对集 我们只要将 中的2朝上， 中的4朝上， 中的5朝上等等。