《离散数学一些特殊的图.ppt

* 第8章 一些特殊的图 8.1 二部图 8.2 欧拉图 8.3 哈密顿图 8.4 平面图 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 8.1 二部图 二部图 完全二部图 匹配 极大匹配 最大匹配 匹配数 完备匹配 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 二部图 定义 设无向图 G=V,E, 若能将V 分成V1 和 V2 (V1?V2=V, V1?V2=?), 使得G中的每条边的两个端 点都一个属于V1, 另一个属于V2, 则称G为二部图(二分图), 记为V1,V2,E, 称V1和V2为互补顶点子集. 又若G 是简单图, 且V1中每个顶点均与V2中每个顶点都相 邻, 则称G为完全二部图, 记为Kr,s, 其中r=|V1|, s=|V2|. (a) (b) 以上两个图都是二部图，其中(b)图是完全二部图。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 例 完全二分图Km, n=(V1,V2,E)共有 多少条边? 解 因为V1中每个顶点都与V2 中每个顶点相邻接,所以V1 中每个顶点关联 |V2| = n 条边; 而V1 中有m个顶点, 所以Km, n共有mn条边。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 二部图的判别法 定理 无向图G=V,E是二部图当且仅当G中 无奇圈 。即G中的每一条回路都是由偶 数条边组成。 证明：当G(V1,V2)是二部图时，G中的任意一条回路的各边必须往返于V1,V2之间，因此其回路必由偶数条边组成。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 例：判断下图是否为二部图。 解：图中的每一条回路都是由偶数条边组成。所以此图为二部图。 → Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 匹配 设G = (V, E)是具有互补顶点子集V1和V2的二 分图, M ? E, 若M中任意两条边都不相邻, 则称 M为G中的匹配(对集)。 如果M是G的匹配, 且M中再加入任何一条边就都是不匹配了, 则称M为极大匹配。 最大匹配: 边数最多的匹配 匹配数: 最大匹配中的边数, 记为?1。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 如在下图中，如果用a1,a2,a3,a4表示4位教师，b1,b2,b3表示三门待开的课程。当某位教师能开某门课程时，则把它们的对应顶点用边连接起来。如果规定一个教师只能担任一门课程，那么匹配M就表示了一种排课方案。为了使排课方案能最大限度地作到“各尽其能”，这就是最大匹配的概念。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 匹配 (续) 设M为G中一个匹配 ai与bj被M匹配: (ai,bj)?M ai为M饱和点: M中有边与ai关联 ai为M非饱和点: M中没有边与ai关联 M为完美匹配: G的每个顶点都是M饱和点 Evaluation only. Create