离散数学导论(盘) 教学课件 ppt 作者 王元元　张桂芸 第九章演示文稿.pdfVIP

第 九 章 特 殊 图 第九章 特 殊 图 9.1 二 分 图 9.2 平 面 图 9.3 树 第九章 特 殊 图 9.1 二 分 图 9.1.1 二分图的基本概念 9.1.2 匹配 第九章 特 殊 图 9.2 平 面 图 9.2.1 平面图的基本概念 9.2.2 欧拉公式和库拉托夫斯基定理 9.2.3 着色问题 第九章 特 殊 图 9.3 树 9.3.1 树的基本概念 9.3.2 生成树 9.3.3 根树 第九章 特 殊 图 9.1 二 分 图 9.1.1 二分图的基本概念 定义9.1 定义9.1 无向图G = V，E ，称为二分图 （bipartite 二分图 graph ），如果有非空集合X ，Y使X ∪Y = V ， X ∩Y = ，且对每一eE ，(e) = (x, y)，x X ，y Y 。 此时常用X ，E ，Y表示二分图G 。若对X 中任一x及Y 中任一y恰有一边eE ，使(e) = (x, y), 则称G为完全 完全 二分图 （complete bipartite graph ）。当X = m ，Y = 二分图 n时，完全二分图G记为K 。 m,n 第九章 特 殊 图 9.1 二 分 图 9.1.1 二分图的基本概念 定理9.1 定理9.1 无向图G为二分图的充分必要条件是， G至少有两个顶点,且其所有回路的长度均 为偶数。 第九章 特 殊 图 9.1 二 分 图 9.1.2 二分图的基本概念 定义9.2 定义9.2 设G = X，E ，Y为二分图，ME 。称M为G 的一个匹配 （matching ），如果M 中任何两条边都没 匹配 有公共端点。G的所有匹配中边数最多的匹配称为最 最 大匹配 （maximal matching ）。如果X(Y) 中任一顶 大匹配 点均为匹配M 中边的端点，那么称M为X(Y)- 完全匹 X(Y)- 完全匹 配(perfect matching ) 。若M既是X-完全匹配又是Y-完 配 全匹配，则称M为G 的完全匹配。 G 的完全匹配。 第九章 特 殊 图 9.1 二 分 图 9.1.2 二分图的基本概念 定义9.3 定义9.3 设G = X，E ，Y ，M为G的一个匹配。 （1）M