《离散数学》课件-第8章 图论.pptVIP

* 例1 下图中的图是否是二部图？ * * 二部图不一定是连通图。例如 定理8-14　图 G 为二部图的充要条件是它的所有回路均为偶数长。 证明 设 G 是一个二部图，则它的结点集 V 能分为两个子集 V1 和 V2，并且若 {vi, vj} 为其边，则 vi ? V1，vj ? V2。令 为 G 中任一长度为 l 的回路。不失一般性，设 vi ? V1，于是 因而 l – 1 为奇数，即 l 必为偶数。 0 反之，设 G 中每一回路的长度均为偶数，并设 G 是连通的。 定义 V 的子集 V1 = {vi | vi 和某一固定结点 v 之间的距离为偶数}，V2 = V – V1。 假设有一条边 {vi, vj} 存在，其 vi, vj ? V1，则由 v 和 vi 间的短程（偶数长）、边 {vi, vj} 及 vj 和 v 之间的短程（偶数长）所组成的回路必具有奇数长。得出矛盾。因此 G 中无边具有形式 {vi, vj} 而 vi, vj ? V1。 其次，假设有一条边 {vi, vj} 存在，其 vi, vj ? V2，则由 v 和 vi 间的短程（奇数长）、边 {vi, vj} 及 vj 和 v 间的短程（奇数长）所组成的回路必具有奇数长。又得出矛盾。 于是 G 中的每一条边必具有形式 {vi, vj}，其中 vi ? Vl, vj ? V2，即 G 是具有互补结点子集 V1 和 V2 的一个二部图。 若 G 中每一回路的长为偶数，但 G 是不连通的，则可对 G 的每一分图重复上述证明，最后得出同样的结论。 * 二、匹配 定义8-17 设 G 是具有互补结点子集 V1 和 V2 的二部图，其中 V1 = {v1, v2, …, vq}，V1 对 V2 的匹配是 G 的一个子图，它由 q 条边 {v1, v1?}, {v2, v2?}, …, {vq , vq?} 组成，其中 v1?, v2?, …, vq? 是 V2 中 q 个不同的元素。 实际问题：有 m 个人和 n 件工作，每个人都只熟悉这 n 件工作中的某几件，每一件工作都需要一个人干，那么能不能将这 n 件工作都分配给熟悉它的人干呢？ 用 V1 中的结点代表人，V2 中的结点代表工作，当且仅当 u ? V1 熟悉工作 v ? V2 时，图中有边 {u, v}。 问题是能否在此二部图中找到一个 V2 对 V1 的匹配。 * 例2　下图所给出的二部图是否存在 V1 对 V2 的匹配？是否存在 V2 对 V1 的匹配？ 一个二部图存在 V1 对 V2 的匹配的一个必要条件是 #V1 ? #V2。 * 定理8-15 设 G 是具有互补结点子集 V1 和 V2 的二部图，则 G 中存在一个 V1 对 V2 的匹配的充要条件是：V1 中每 k 个结点（k = 1, 2, …, #V1）至少和 V2 中 k 个结点相连接。—— 相异性条件 证明 令 #V1 = q，若 G 中存在 V1对 V2 的匹配，则 V1 的 q 个结点分别和 V2 中 q 个相异的结点相连接，因此相异性条件显然成立。 反之，设 G 满足相异性条件，我们将证明（对 V1 的结点个数进行归纳），一个 V1 对 V2 的匹配能被构造出来。 当 #V1 = 1 和 #V1 = 2 时，若相异性条件满足，则一个 V1 对 V2 的匹配是显然存在的。 * 设对于 #V1 = 1, 2, …, q – 1，任何具有互补结点子集 V1 和 V2 的二部图，当相异性条件满足时，存在一个 V1 对 V2 的匹配。 又设图 G 满足相异性条件，且 #V1 = q。 (1) 若 V1 中每 k 个结点（k = 1, 2, …, q – 1）和 V2 中多于 k 个结点相连接，则一个 V1 对 V2 的匹配能如下法构造： 指定任一边 {vi, vj}（其中 vi ? V1, vj ? V2）给匹配。 显然，在具有互补结点子集 V1 – {vi} 和 V2 – {vj} 的二部图中，相异性条件仍然满足。因此，根据归纳假设，一匹配能被构造出来。 该匹配和 {vi, vj} 一起即是所要寻找的 V1 对 V2 的匹配。 (2) 若存在某正整数 k0 ? q – 1，使得具有 k0 个结点的一集合 U1 ? V1，其中的结点和 U2 ? V2 中的恰好 k0 个结点相连接。在此情况下，一个 V1 对 V2 的匹配能如下法构造： 首先，由于 U1 中 k0 个结点只与 U2 中的结点相连接，且由已知图 G 满足相异性条件，因此，在具有互补结点子集 U1 和 U2 的二部图中，相异性条件满足。由归纳假设一 U1 对 U2 的匹配能被构造出来。 假设具有互补结点子集 U1? = V1 – U1（其中 #U