第章 图论.pptVIP

Chapter 7 图论 图论的创始人是瑞士数学家L. Euler，他于1736年首次建立“图”模型解决了K?ningsberg七桥问题. 图论的应用领域非常广泛，它已经渗透到诸如语言学、逻辑学、物理学、化学、电信工程、信息论、控制论、经济管理等各个领域，特别是在计算机科学中的数据结构、计算机网络、计算机软件、算法理论、操作系统、分布式系统、编译程序以及数据挖掘等方面都扮演着重要角色. 7.1 图的基本概念 哥尼斯堡(K?ningsberg)七桥问题: 问题是: 是否可从某一个地方出发，经过七座桥，每座桥只经过一次，然后又回到原出发点. 7.2 节点的度数 边与节点的关联次数? Def 设G = (V, E)是无向图, v ? V,称与节点v关联的所有边的关联次数之和为节点v的度数(degree),记为deg(v). 一个环算2度? 7.3 子图、图的运算和图同构 1.子图 可以通过一个图的子图去考察原图的有关性质以及原图的局部结构. Def 设G = (V, E)和H = (W, F)是图, 若W ? V且F ? E, 则称H = (W, F)是G = (V, E)的子图(subgraph). 若H = (W, F)是G = (V, E)的子图且W = V, 则称H = (W, F)是G = (V, E)的生成子图(spanning subgraph). 7.4 路与回路 在图G = (V, E)中, 经常考虑从一个节点出发,沿着一些边连续移动到另一个节点的问题,这就是路的概念. 1.路(walk, way) Def 对于任意图G = (V, E), 7.5 图的连通性 图的基本性质之一是其连通性,它与图中从节点到节点的路密切相关. 为了讨论方便,先给出 Def 在任何图G = (V, E)中,若从节点u到v存在一条路,则称u可达v (accessible). 由于节点v到v总存在一条长度为0的路, 因此任意节点v可达v自身. 7.6 图的矩阵表示 将一个图画出来是最直观的表示图的方式. 为了便于使用计算机存储和处理图,更为了借助于完善的矩阵理论(线性代数知识之一!)研究图的有关性质,有必要学习图的矩阵表示. 本节简单介绍图的常见的3种矩阵表示及一些简单结论, 不涉及更多的有关图的矩阵方面的知识. 7.7 赋权图及最短路径 1.赋权图 在图的实际应用中,除建立图论模型外,有时还需要将一些附加信息赋予图的边或节点,其中之一就是赋权图(weighted graph). 本节仅讨论边赋权图. Def 设G = (V, E)是任意图,若G的每一条边上都赋予一个非负实数,则称G是边赋权图. 图7.39(a)(b)是两个边赋权图. 强连通图? 单向连通图? 弱连通图. 但反过来均不成立! Theorem7-9 设G = (V, E)是有向图, 则G强连通当且仅当G中存在一条回路, 它通过所有节点. Def 设G = (V, E)是有向图, G的极大的强连通子图称为G的强连通分支(strongly connected component). (i)子图; (ii)强连通; (iii)极大. Theorem 7-10 设G = (V, E)是有向图,则G的任意节点都位于且仅位于的一个强连通分支中. Hint 任意节点v本身强连通. (2)单向连通图 Def 设G = (V, E)是有向图,对于任意u, v ? V,从u可达v或者从v可达u,则称G为单向连通图(unilateral connected digraph). 下述定理对确定有向图的单向连通分支是非常有用的. Theorem 7-11 设G = (V, E)是有向图, 则G单向连通当且仅当G中存在一条路,它通过所有节点 . Def 7-26 设G = (V, E)是有向图, G的极大的单向连通子图称为G的单向连通分支. 图7-29有2个单向连通分支: G[1, 2, 3, 4, 5]; G[5, 6]. 无向连通图的节点可以位于不同的单向连通分支中. (3)弱连通图 Def 7-27 设G = (V, E)是有向图,若不考虑边的方向是一个无向连通图,则称G有向图为弱连通图(weakly connected digraph),简称有向图连通. 例子? 三者之间的关系? Def 7-28 设G = (V, E)是有向图, G的极大的弱连通子图称为G的弱连通分支. 作业 习题7.5 3, 9, 10, 11. 1.图的邻接(adjacency)矩阵 第一种图的矩阵表示—邻接矩阵,它表示的是图中任意两个节点间的邻接关系. Def 7-29 ? G = (V, E), 对节点编