第14讲图的有关概念,节点的度数.pptVIP

第14讲 图的有关概念,节点的度数;Chapter 7 图论;7.1 图的基本概念;程序调用的图论模型: 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中不邻接? u和v在 中邻接) ;7.2 节点的度数;Def 设G = (V, E)是有向图, v ? V, 称以v为起点的边的数目为节点的出度(out-degree),记为deg+(v),以v为终点的边的数目为节点的入度(in-degree),记为deg-(v), 称deg+(v) + deg-(v)为节点v的度数,记为deg (v). 一个环算2度?;下面的定理是L. Euler在1736年证明的图论中的第一定理,常称为“握手(?)定理”. Theorem 在任何(n, m)图G = (V, E)中, 其所有节点度数之和等于边数m的2倍,即 Corollary 在任意图G = (V, E)中, 度数为奇数的节点个数必为偶数. Proof ;由定理及其推论很容易知道,在任何一次聚会上,所有人握手次数之和必为偶数并且握了奇数次手的人数必为偶数.(环的解释?) 在任意有向图中,显然有 Theorem 在任意有向图中,所有节点的出度之和等于入度之和. 在任意图中, 度数为0的节点称为孤立点(isolated vertex), 度数为1的节点称为悬挂点(pendant vertex).;例7-1(P200) 证明: 对于任意n(n ? 2)个人的组里,必有两个人有相同个数的朋友. Proof 将组里的每个人看作节点,两个人是朋友当且仅当对应的节点邻接,于是得到一个阶简单无向图G,进而G中每节点的度数可能为0, 1, 2, …, n - 1中一个. 当G中无