第六章图论(1234).pptVIP

第六章 图论（Graph） Graph: a diagram showing by a line or lines the connection between two quantities. Diagram: a plan or figure drawn to explain an idea drawing which shows the arrangement of something rather than what it actually looks like. 第一节 图论的起源 第二节 图的基本概念 第三节 路与圈 第四节 图的矩阵表示 第五节 带权图的最短路径 第六节 Euler图 第七节 Hamilton图 第八节 二分图 第九节 平面图 第十节 树（无向树、有根树） 第一节 图论的起源 图论最早处理的问题是哥尼斯堡（konigsberg）城pregel河上的七桥问题。1736年，瑞士数学家 L.Eluer 在他发表的“哥尼斯堡七座桥”的著名文章中阐述了解决这个问题的观点，从而被誉为图论之父。 问题是这样的：在公元十八世纪的东普鲁士有个哥尼斯堡城（后属于苏联立陶宛苏维埃社会主义共和国，现名为加里宁格勒；现属于立陶宛共和国）。哥尼斯堡城位于pregel河畔，河中有两个岛，城市中的各个部分由七座桥相连。当时，城中的居民热衷于这样一个问题，从四块陆地的任一块出发，怎样才能做到经过每座桥一次且仅一次，然后回到出发点。问题看来并不复杂，但当地的居民和游人做了不少的尝试，却都没有取得成功。 后来，在1736年，瑞士的数学家L.Euler解决了这个问题。他将四块陆地表示成四个结点，凡陆地间有桥相连的，便在两点间连一条线，这样图1就转化为图2了。此时，哥尼斯堡七桥问题归结为：在图2 所示的图中，从 A, B, C, D 任一点出发，通过每条边一次且仅一次而返回出发点的回路是否存在？ 欧拉断言这样的回路是不存在的。理由是：从图2中的任一点出发，为了要回到原来的出发点，要求与每个点相关联的边数均为偶数。这样才能保证从一条边进入某点后，再从另一条边出去，从一个点的不同的两条边一进一出才能回到出发点，而图2中的A, B, C, D全是与奇数条边相连，由此可知所要求的回路是不可能存在的。 Leonhard Euler （1707-1783） 瑞士数学家 §2 图的定义及基本概念 2.1 无序积和有序积 2.2 图的定义 2.3 图中的基本术语 2.4 图中节点的度数 2.5 子图与补图 2.6 图的同构 2.1 无序积和有序积 定义1 设A，B是两个集合，称集合{{a,b}| a?A?b?B}为A，B的无序积，记为AB。无序积AB的子集称为A和B上的二元关系。 当B＝A时，称无序积AB的子集为A上的二元关系。 例：在哥尼斯堡七桥问题中，可用?上的无序积的子集来表示。 设X={A,B,C,D}表示四块陆地，x和y有关系当且仅当x和y有桥相连。于是有{{A,B},{B,C},{A,C},{A,C},{A,D},{A,D},{B,D}}. 集合中的每个元素表示一座桥。 定义2 设A，B是两个集合，称集合{(a,b) | a?A?b?B}为A，B的有序积，记为A?B，有序积A ? B的子集称为A到B的二元关系。 当B＝A时，称有序积A?B的子集为A上的二元关系。 例：在家族关系图中，均用?上的有序积的子集来表示“半序关系”。 2.2 图的定义 定义3 设 G = (V, E) ，其中 1）V是一个非空的有限集合； 2） E?VV，且VV中的元素可在 E 中出现多次； 则称G是无向图(Undirected graph)。 V中的元素称为结点vertex，node 。 E中的元素称为无向边edge 。 例1 Euler图是无向图。 定义4 设G = (V,E)，其中 1) V是一个非空的有限集合。 2) E?V?V，且V?V中的元素可在 E 中出现多次。 则称G是有向图(directed graph)。 V中的元素称为结点 vertex, node 。 E中的元素称为有向边 arrow 。 例2 半序关系中的Hasse图是有向图。 对有向图，由于其可达性不具有对称的性质，所以有向图连通性的概念相对于无向图要复杂些。 定义7 设G = (V, E)是有向图 1) 若G中任意两结点相互可达，则称G是强连通的。 2) 若G中任意两结点间