第14讲 图及有关概念,节点及度数.ppt

第14讲 图的有关概念,节点的度数 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). * * 主要内容: 1.图的有关概念. 2.节点的度数. 3.子图与图的同构. 程序调用的图论模型: e8: v3可调用v2; e1: v2可调用v1; e4: v5可调用v5自身. 单行道; 好感? 1.图的定义 由前面的2个例子可以得出 Definition 图G(graph)主要由2部分组成: (1)节点集合V, 其中的元素称为节点(vertex 或node). (2)边集合E, 其中的元素称为边(edge). 通常将图G记为G = (V, E). 几点说明: (a)节点又可以称为点、顶点或结点,常用一个实心点或空心点表示,但在实际应用中还可以用诸如方形、圆形、菱形等符号,为了方便可以在这些符号的旁边或内部写上表意名称. (计算机学科中常称节点.) (b)边及其的表示. 无向边? b3 = AB = BA ={A, B}(可重). 有向边(弧)? 所有边都是无向边的图称为无向图(graph, undirected graph),所有边都是有向边的图称为有向图(digraph, directed graph). (c)图的拓扑不变性质. 需要注意的是,我们讨论的图不但与节点位置无关,而且与边的形状和长短也无关. 有n个节点的图称为n阶(order)图,有n个节点m条边的图称为(n, m)图. 在图G = (V, E)中, 称V = ?的图为空图(empty graph), 记为?, 若 V ? ?但E = ?的图称为零图(discrete graph), n阶零图可记为Nn,仅一个节点的零图称为平凡图(trivial graph). 2.邻接 Def 设G = (V, E)是图, 对于任意u, v ? V,若从节点u到节点v有边, 则称u邻接到(adjacent to) v或称u和v是邻接的(adjacent). 无向图? 有向图? (无向图的两条边邻接是指它们有公共端点.) 3.关联 Def 设G = (V, E)是图, e ? E, e的两个端点分别为u和v, 则称边e与节点u以及边e与节点v是关联的(incident). 显然,图的任意一条边都关联两个节点. 关联相同两个节点的边称为吊环,可简称环(loop) .关联的起点相同与终点也相同的边称为多重边(multiple edges)或平行边,其边数称为边的重数(multiplicity). 例子见书Figure 7-4(a)(b). 4.简单图 (1)简单图 Def 设G = (V, E)是图, 若G中既无吊环又无多重边,则称G是简单图(simple graph). 简单图的例子? 彼得森(Petersen, 1831~1910)图, 它是一个有着特殊性质的简单图, 后面会多次出现. (2)完全无向图 Def 设G = (V, E)是n阶简单无向图, 若G中任意节点都与其余n - 1个节点邻接, 则称G为n阶完全无向图(complete graph), 记为Kn. K5: 将n阶完全无向图Kn的边任意加一个方向所得到的有向图称为n阶竞赛图. (3)补图 Def 设G = (V, E)是n阶简单无向图,由G的所有节点以及由能使G成为Kn需要添加的边构成的图称为G的补图,记为 (u和v在G中不邻接