离散数学考点复习2013.ppt

匹配 定义11.4.2 在偶图G = V1, E, V2中，V1 = {v1, v2, …, vq}，若存在E的子集E’ = {(v1, v1’)，(v2, v2’)，…，(vq, vq’)，其中v1’, v2’, …, vq’ 是V2中的q个不同的结点}，则称G的子图G’ = V1, E’, V2为从V1到V2的一个完全匹配(Complete Matching)，简称匹配。 必要条件 在偶图G = V1, E, V2中，若存在V1到V2的单射f，使得对任意v∈V1，都有(v, f(v))∈E，则存在V1到V2的匹配。 由单射的性质知，不是所有的偶图都有匹配，存在匹配的必要条件是|V1| ≤ |V2|。 然而，这个条件并不是充分条件。 霍尔定理 定理11.4.2 (霍尔定理) 偶图G = V1, E, V2中存在从V1到V2的匹配的充分必要条件是V1中任意k个结点至少与V2中的k个结点相邻，k = 1, 2, …, |V1|。 定理11.4.2中的条件通常称为相异性条件(Diversity Condition)。 定理11.4.3 设G = V1,E,V2是一个偶图。如果满足条件 （1）V1中每个结点至少关联t条边； （2）V2中每个结点至多关联t条边； 则G中存在从V1到V2的匹配。其中t为正整数。 证明 由条件(1)知，V1中k个结点至少关联tk条边(1≤k≤|V1|)，由条件(2)知，这tk条边至少与V2中k个结点相关联，于是V1中的k个结点至少与V2中的k个结点相邻接，因而满足相异性条件，所以G中存在从V1到V2的匹配。 定理11.4.3中的条件通常称为t条件(t-Condition)。 判断t条件非常简单，只需要计算V1中结点的最小度数和V2中结点的最大度数即可。 11.4.5 偶图的应用 例11.4.3 有n台计算机和n个磁盘驱动器。每台计算机与m＞0个磁盘驱动器兼容，每个磁盘驱动器与m台计算机兼容。能否为每台计算机配置一台与它兼容的磁盘驱动器？ 解 用V1表示n台计算机的集合，V2表示n台磁盘驱动器的集合。以V1，V2为互补结点子集，以E = {(vi, vj) | vi∈V1, vj∈V2且vi与vj兼容}为边集，构造偶图。它显然满足t条件(t = m)，所以存在匹配，故能够为每台计算机配置一台与它兼容的磁盘驱动器。 定义11.5.1 如果能把一个无向图G的所有结点和边画在平面上，使得任何两边除公共结点外没有其他交叉点，则称G为平面图(Plane Graph)，否则称G为非平面图(Nonplanar Graph)。 当且仅当一个图的每个连通分支都是平面图时，这个图是平面图。因此,下面只研究连通平面图。 应当注意，有些图从表面上看它的某些边是相交叉的，但是不能就此肯定它不是平面图。 v1 v2 v3 v4 v5 v1 v2 v3 v4 v5 平面图的平面表示 11.5.3 欧拉公式 定义11.5.2 在平面图G的一个平面表示中， 由边所包围的其内部不包含图的结点和边的区域，称为G的一个面(Surface)， 包围该面的诸边所构成的回路称为这个面的边界(Bound)， 面r的边界的长度称为该面的次数(Degree)，记为D(r)。 区域面积有限的面称为有限面(Finite Surface)，区域面积无限的面称为无限面(Infinite Surface)。 平面图有且仅有一个无限面。 例11.5.2 考察下图所示平面图的面、边界和次数。 a b d e c h i j k r0 r1 r2 r3 解 平面图把平面分成4个面： r0，边界为abdeheca，D(r0)=7 r1，边界为abca，D(r1)=3 r2，边界为becijikicb，D(r2)=9 r3，边界为bdeb，D(r3)=3 r1、r2和r3是有限面，r0是无限面。 注意：对于平面图的不同平面表示，虽然面的数目相同，但各面的边界和次数会不同。 i j a b d e c h k r0 r1 r2 r3 欧拉公式 定理11.5.2 设G = V, E是连通平面图，若它有n个结点、m条边和r个面，则有 n-m+r = 2 推论11.5.1 设G是一个(n,m)简单连通平面图，若m＞1，则有 m≤3n-6 推论11.5.2设G是一个(n, m)简单连通平面图，若每个面的次数至少为k(k≥3)，则有 库拉托夫斯基定理 定理11.5.3(库拉托夫斯基定理) 一个图是平面图的充分必要条件是它的任何子图都不可能收缩为K5或K3,3。 推论11.5.3 一个图是非平面图的充分必要条件是它存在一个能收缩为K5或K3,3的子图。 我们将K5和K3,3称为库拉托夫斯基图(Kur