离散数学导论盘王元元张桂芸第九章演示文稿.ppt

第九章 特 殊 图 9.3 树 9.3.3 根树 定义9.12 树T称为根树（rooted tree），如果 （1）T为一孤立结点v0 。v0又被称为T的树根。 （2）T1，T2,…,Tk为以v1，v2,…，vk为树根的 根树，T由T1，T2,…,Tk及与v1，v2,…，vk 相邻的结点v0所组成。v0称为T的树根。 第九章 特 殊 图 9.3 树 9.3.3 根树 定义9.13 在定义9.12中， （1）v1，v2,…，vk称为v0的儿子，v0称为它们的父亲。 vi，vj同为一顶点v的儿子时，称它们为兄弟。 （2）顶点间的父子关系的传递闭包称为顶点间的祖孙 关系。即当vi为vi+1 (i = 1, 2,…, l-1) 的父亲时，v1是vl的祖先，vl为v1的子孙。 （3）根树T自身及以它的树根的子孙为根的根树 （T的子图），均称为T的子树（subtree），后者又 称为T的真子树。 第九章 特 殊 图 9.3 树 9.3.3 根树 定义9.14 除了树叶外，每个结点都有两个儿子的 根树称为完全2元树（binary tree）。 定理9.24 完全2元树的顶点个数n必定是奇数。 第九章 特 殊 图 9.3 树 9.3.3 根树 定理9.25 完全二元树中叶的数目 其中n为树的顶点数。 第九章 特 殊 图 9.3 树 9.3.3 根树 定理9.26 完全二元树高h满足 这里n为二元树的顶点个数，[a]表示大于等于a的最小整数。 第九章 特 殊 图 9.3 树 9.3.3 根树 定义9.15 每个结点都至多有两个儿子的根树称为 二元树（quasibinary tree）。类似地，每个结点都 至多有n个儿子的根树称为n元树。 对各分支结点 的诸儿子规定了次序（例如左兄右弟）的n 元树称 为n元有序树；若对各分支结点的已排序的诸儿子 规定了在图示中的位置（例如左、中、右），那么 该n元有序树又称n元位置树。2元位置树各分支结点 的左右儿子分别称为左儿子和右儿子。 在线教务辅导网： 更多课程配套课件资源请访问在线教务辅导网 尚辅网 / 第 九 章 特 殊 图 9.1 二 分 图 9.2 平 面 图 9.3 树 第九章 特 殊 图 9.1.1 二分图的基本概念 9.1.2 匹配 第九章 特 殊 图 9.1 二 分 图 9.2.1 平面图的基本概念 9.2.2 欧拉公式和库拉托夫斯基定理 9.2.3 着色问题 第九章 特 殊 图 9.2 平 面 图 9.3.1 树的基本概念 9.3.2 生成树 9.3.3 根树 第九章 特 殊 图 9.3 树 第九章 特 殊 图 9.1 二 分 图 9.1.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记为Km,n。 第九章 特 殊 图 9.1 二 分 图 9.1.1 二分图的基本概念 定理9.1 无向图G为二分图的充分必要条件是， G至少有两个顶点,且其所有回路的长度均 为偶数。 第九章 特 殊 图 9.1 二 分 图 9.1.2 二分图的基本概念 定义9.2 设G = <X，E，Y>为二分图，M?E。称M为G的一个匹配（matching），如果M中任何两条边都没有公共端点。G的所有匹配中边数最多的匹配称为最大匹配（maximal matching）。如果X(Y)中任一顶点均为匹配M中边的端点，那么称M为X(Y)-完全匹配(perfect matching)。若M既是X-完全匹配又是Y-完全匹配，则称M为G的完全匹配。 第九章 特 殊 图 9.1 二 分 图 9.1.2 二分图的基本概念 设G = <X，E，Y>，M为G