离散数学-第七章-图论.pptVIP

第7章 图 论 第7章 图 本章学习要求 引例1 哥尼斯堡七桥问题 1736年瑞士数学家列昂哈德·欧拉(leonhard Euler)发表了图论的第一篇论文“哥尼斯堡七桥问题”。这个问题是这样的： 哥尼斯堡(K?nigsberg)城市有一条横贯全城的普雷格尔(PreGel)河，城的各部分用七座桥连接，每逢假日，城中的居民进行环城的逛游，这样就产生一个问题，能不能设计一次“逛游”，使得从某地出发对每座跨河桥走一次，而在遍历了七桥之后却又能回到原地。 引例1 哥尼斯堡七桥问题 引例2 周游世界问题 1859年威廉·汉密尔顿爵士在给他的朋友的一封信中，首先谈到关于十二面体的一个数学游戏，能不能在图中找到一条回路，使它含有这个图的全部结点？ 他把结点看作是一座城市，联结两个结点的边看成是交通线，于是它的问题是能不能找到旅行路线，沿着交通线经过每一个城市恰好一次，再回到原来的出发地？他把这个问题称为周游世界问题。 引例3 四色问题(Four Color Problem) 1852, Francis Guthrie（格色里）, 注意到英格兰地图可以用4种颜色染色, 使得相邻面(有一段公共边界,不只是有一个公共点)有不同颜色; 他问其弟 Frederick 是否任意地图都有此性质? 韦尔奇.鲍威尔法 7-1 图的基本概念 知识点： 图的基本概念 点与边的关联、点（边）相邻 完全图、补图，子图、生成子图 点度数 握手定理 图的同构 一、图的基本概念 现实世界中许多现象能用某种图形表示,这种图形是由一些点和一些连接两点间的连线所组成。 例：A、B、C、D四个队举行篮球比赛，为了表示４个队之间比赛的情况， 我们作出下图。 在图中４个小圆圈分别表示这４个篮球队， 称之为结点。 如果两队进行过比赛， 则在表示该队的两个结点之间用一条线连接起来， 称之为边。 这样利用一个图形使各队之间的比赛情况一目了然。 一、图的基本概念 定义7-1.1 图的定义： 一个图G是一个二元组V(G),E(G)，其中 V(G) ={v1,v2, …,vn}，是一个有限非空集合， vi称为结点，V(G)称为结点集合，简记为V。 E(G(={e1,e2,…,em}，是一个有限集合，ei称为边，ei用结点的偶对表示，E(G)称为边集合，简记为E。 二、关于图的一些术语 ◎若边e与无序结点对 (vi,vj)对应，则称e为无向边，vi，vj为ek的端点。 ◎若边e与有序结点对 vi,vj对应，则称e为有向边，vi称作e的起始结点，vj称作e的终止结点，但统称为e的端点。 ◎ ek与vi或ek与vj是彼此相关联的。 ◎邻接点：关联于同一边的结点称为邻接点。 邻接边：关联于同一结点的边称为邻接边。 ◎关联于同一结点的边称为环或自回路。 注意：环的方向没有意义，可以看作无向边也可看作有向边 ◎无论在无向图中还是在有向图中，无边关联的结点均称孤立点。 三、 图的表示 对于一个图G，如果将其记为G = V, E，并写出V和E的集合表示，这称为图的集合表示。 而为了描述简便起见，在一般情况下，往往只画出它的图形：用小圆圈表示V中的结点，用由u指向v的有向线段或曲线表示有向边u, v，无向线段或曲线表示无向边(u, v)，这称为图的图形表示。 例7-1.1 设图G = V, E，这里V = {v1, v2, v3, v4, v5}，E = {e1, e2, e3, e4, e5, e6}，其中e1 = (v1, v2)，e2 = v1, v3，e3 = (v1, v4)，e4 = (v2, v3)，e5 = v3, v2，e6 = (v3, v3)。试画出图G的图形，并指出哪些是有向边，哪些是无向边？ 解：G的图形如下图所示。 例7-1.2 设图G = V, E的图形如下图所示，试写出G的集合表示。 两种描述方法的优缺点 用集合描述图的优点是精确，但抽象不易理解； 用图形表示图的优点是形象直观，但当图中的结点和边的数目较大时，使用这种方法是很不方便的，甚至是不可能的。 四、图的分类 边方向 每一条边都是无向边的图称作无向图。 每一条边都是有向边的图称作有向图。 若图中既有无向边也有有向边，称为混合图。 例7-1.3：判断下面图是无向图、有向图或混合图 分析：判断无向图、有向图和混合图，仅看边有无方向。 定义7-1.2 含有平行边的图称为多重图。 不允许有环和平行边的图称为简单图 。 注意：不是多重图，不一定是简单图。 特殊图 没有任何边的图称为零图； 只有一个点的图称为平凡图； 含有n个结点，m条边的图，称为(n,m)图。 五、完全图 六、子图、母图、生成子图、补图 定义7-1.5 设G，H是图，若G，H满足 (1)若V(H)?