离散数学——图论.pptVIP

例：求G=V,E的可达矩阵， V、E如下 ： V={v1,v2,v3,v4}， E={(v1,v2),(v2,v3),(v2,v4),(v3,v2),(v3,v4),(v3,v1), (v4,v1)}。 离散数学——图论全文共93页，当前为第63页。 解： 离散数学——图论全文共93页，当前为第64页。 由于根据Rn计算可达矩阵较复杂，在以后的计算中引入布尔运算。 例子：教材136页例8.11是否存在递归调用？ 离散数学——图论全文共93页，当前为第65页。 多重图及有权图的矩阵表示 举例说明。 离散数学——图论全文共93页，当前为第66页。 矩阵与无向图的连通性 设G为无向图，由连通性定义知，任两个结点都是可达的。 G连通当且仅当G的可达矩阵P除对角线外，所有元素均为1。 离散数学——图论全文共93页，当前为第67页。 矩阵与有向图的连通性 设G为有向图，设P为G的可达矩阵。 （1）G强连通当且仅当P除对角线外均为1。 （2）G单向连通当且仅当P’=P+PT， P’除对角线外其余元素均为1。 （3）G弱连通当且仅当A’=A+AT， P’ 是A’的可达矩阵， P’除对角线外其余元素均为1。 离散数学——图论全文共93页，当前为第68页。 第九章常用图 本章介绍图论中几种常用图的基本原理和方法。 树是图论中重要概念之一，它在计算机科学中如算法分析、数据结构等有广泛应用。 平面图 两步图 离散数学——图论全文共93页，当前为第69页。 §9.1树 定义：树是不包含回路的连通图。 在树中次数为1的结点称为叶，次数大于1的结点称为分支结点。 例 离散数学——图论全文共93页，当前为第70页。 树的定理 定理9.1：在（n,m）树中，必有m=n-1。 证明：对n用归纳法。 定理9.2：具有两个结点以上的树必至少有两片叶。 证明：用反证法、直接法两种方法。 定理9.3：图G是树的充要条件是G的每对结点间只有一条通路。 离散数学——图论全文共93页，当前为第71页。 树的等价定义 设图T=V,E是（n,m）图，T是树。 T连通无回路。 T连通且m=n-1。 T无回路，且m=n-1。 T是最小连通图。 T是最大无回路图。 T的每对结点间恰有唯一一条通路。 离散数学——图论全文共93页，当前为第72页。 有向树 定义：在有向图中若不考虑边的方向而构成树，则称为有向树。 一般常用的有向树为外向树和内向树。 离散数学——图论全文共93页，当前为第73页。 外向树 定义外向树：满足下列条件的有向树T称为外向树。 （1）T有且仅有一个根。（引入次数为0） （2）T的其它结点的引入次数均为1. （3）T有叶。（引出次数为0，当然引入次数仍为1） 定义：由外向树的根到结点vi的通路长度称为结点vi的级。 离散数学——图论全文共93页，当前为第74页。 外向树的相关概念 两个结点如从根到结点的通路长度相等，则它们同级。否则不同级。 可用外向树表示上面家属关系。例子：红楼梦人物简表。双亲，儿子，祖先，子孙，兄弟。 从家属树中引入有序树的概念。兄弟间有一定的次序。 离散数学——图论全文共93页，当前为第75页。 定义内向树 定义内向树：满足下列条件的有向树T称为内向树。 （1）T有且仅有一个根。（引出次数为0） （2）T的其它结点的引出次数均为1. （3）T有叶。（引入次数为0，当然引出次数仍为1） 内向树的概念和性质与外向树类似，故以后只考虑外向树。 离散数学——图论全文共93页，当前为第76页。 m元树 定义：设有n个结点的外向树T=V,E，若 vi的引出次数≤m，称T为m元树；若除了叶外， vi的引出次数=m，则称T为m元完全树。 例：用二元树表示算术表达式。 例：计算机中的程序流程图也可用有序二元树表示。 离散数学——图论全文共93页，当前为第77页。 二元树的真正作用在于：任一外向树均可用二元树表示。 例子。 离散数学——图论全文共93页，当前为第78页。 生成树 定义：设G=V,E是一连通图，T=V’,E’是G的一个子图，T是树，且V’=V，E’是E的子集，称T是G的生成树。 由一连通图G寻找它的生成树过程如下：在G中寻找基本回路，找到后在此回路中删去一边，并继续寻找直至G中无基本回路为止。 一般而言，G的生成树不是唯一的。 离散数学——图论全文共93页，当前为第79页。 求生成树 若G=（n,m）图，得到的生成树为（n,m-1）图，故由G得到一个生成树，必须删去m-(n-1)=m-n+1条边，称之为G的基本回路的秩。 练习：求一图的生成树。 离散数学——图论全文共93页，当前为第80页。 寻找一个图的生成树是很有实际价值的。 一个连通图可以有多个生成树，寻找生成树使它的总长