第五章 图的基本概念.ppt

第五章 图的基本概念 图论 图是由一些顶点和连接这些顶点的一些边所组成的离散结构。 图论教学目的 采用图论的成果和方法，培养思考问题与解决问题的能力 5.1 引言 5.2 路与回路 5.3 欧拉图 5.4 哈密顿图 5.5 最短路 5.6 图论模型和证明 有关图论的提高参考书： Bela Bollobas. Modern Graph Theory (现代图论). 科学出版社 Springer. 2001. 5.1 引言 一 图论的起源与发展 二 有向图 三 无向图 四 顶点度数 五 同构概念 六 子图 5.1 引言 一 图论的起源与发展 1 起源：哥尼斯堡七桥问题 能否从河岸或小岛出发，通过每一座桥，而且仅仅通过一次回到原地。 1736年：图论历史元年 在1736年，年仅29岁的瑞士数学家欧拉（Euler）发表了图论的首篇论文——《哥尼斯堡七桥问题无解》，所以人们普遍认为欧拉是图论的创始人。 Euler指出，如果在B点出发，B点处有3座桥，经过其中之一离开，有经过另一桥回来，因为要求每桥恰过一次，所以不得不经过第3座桥离开，则无法回来。处在其他出发点的情形是相似的。 2 图论的三个发展阶段 1736年到19世纪中叶，萌芽阶段；多数问题围饶游戏展开 19世纪中叶到1936年，作为一个数学分支的形成；图论问题（如四色问题、哈密顿图）大量出现，也出现了以图为工具解决问题的成果。1936年，Konig总结了图论200年来的研究成果，出版了图论的第一部专著《有限图与无限图理论》 1936年以后，计算机科学的发展为图论的发展提供了计算工具；现代科学技术的发展需要借助图论来描述和解决各类课题中的各种关系 3 图论发展的原因 1 图论提供了一个自然的结构，由此产生的数学模型几乎适合于所有科学（自然科学和社会科学）领域，只要这个领域研究的主题是“对象”与“对象”之间的关系。 2 图论已形成自己的丰富词汇语言，能简洁地表示出各个领域中“对象-关系”结构复杂而又难懂的概念。 3 图论提供了大量智力挑战问题。 5.1 引言 二 有向图 1） 定义5.1(有向图) 设V是一个非空集，E是V上的二元关系，称有序对(V, E)为有向图，记为G=(V, E)或G(V, E)。V中元素称为顶点（或点），V称顶点集。E是V?V的子集，E中的元素是有序对，称为弧，E称为弧集。 二元组表示图：例?图5.1 5.1 引言 2）定义5.2（术语） 顶点a和b称为弧(a, b)的端点，a为起点，b为终点。称a和b与弧(a, b)关联。 若顶点a和b相同，则对应的弧(a, b)称为自环。 若V中某顶点与E中任何弧都不关联，则该顶点称为孤立点。 5.1 引言 与一条弧相关联的两个顶点称为邻接的或相邻的。 一顶点关联于几条弧，称这些弧是弧邻接或弧相邻。 例?图5.1 5.1 引言 三 无向图 1）定义5.3(无向图) 设V是一个非空集，E是V中两个元素组成的多重集为元素的集合，称有序对(V, E)为无向图，记为G=(V, E)或G(V, E)。V中元素称为顶点（或点），V称顶点集。E中的元素称为边，E称为边集。 例：图5.3 无向图例 5.1 引言 2）简称 无向图------图 3）有限图 如果一个图的顶点集和边集是有限的，则称该图为有限图。 有限有向图 5.1 引言 四 顶点度数 1）定义5.4（度数） 设G=(V, E)是一个图，顶点v所关联的边数（自环计算两次），称为顶点v的度数，记为d(v)。 度数为1的顶点称为悬挂点。 度数为奇（偶）数的顶点称为奇（偶）顶点。 图G中顶点的最小度数记为?(G)，即?(G)=minv?V{d(v)}，简记为?。 5.1 引言 2）有关定理 定理5.1 ?i=1n d(vi)=2*e。 证明：因为每条边必关联两个结点，而一条边给予关联的每个结点的度数为1。因此在一个图中，结点度数的总和等于边数的两倍。 证明方法：直接推导 握手定理 定理5.2 奇顶点有偶数个。 证明方法：反证法。 课堂练习与思考： A. 在会议上大家握手，握过奇次手的人数是偶数。 B. 空间中不可能有这样的多面体存在，它的面数是奇数，而且每个面是奇数条线段围成的。 定义5.7 多重边 / 多重图： 若图G=(V,