算法设计与分析07图论基础重点.ppt

算法设计与分析演示稿 纪玉波制作 C 算法设计与分析 ——图论基础 图论基础 图：一个图G是指一个有序三元组（V（G），E（G），ΨG），其中V（G）是非空的顶点集，E（G）是边集，ΨG是关连函数，它使G的每条边对应于G的无序顶点对（不必相异）。用图这一名称，是因为它们可以用图形来表示，而这种图形表示有助于我们理解图的许多性质。每个顶点用点来表示，每条边用线来表示，此线连接着代表该边端点的点。图1是一个图例。 连通度：在前面已引进了图的连通概念。现在来考察图14的四个连通图。 图14 具有不同连通度的图 G1是树，它是最小连通图，删去任何一条边都将使它不连通。G2不会因单单删去一条边而不连通，但删去它的割点就能使它不连通。G3中既无割边也无割点，即便如此，G3 显然不如五个顶点的完全图G4连通得那么好。因此直观看来，每个后面的图比其前面的图连通程度更强些。现在要定义图的两个参数：图的连通度和边连通度，用以衡量图的连通程度。 若V的子集V’使得G-V’不连通，则V’称为G的顶点割，k顶点割是指有k个元素的顶点割。完全图没有顶点割；事实上，没有顶点割的图也只能是以完全图作为生成子图的那些图。若G至少有一对相异的不相邻顶点，则G所具有的k顶点割中最小的k，称为G的连通度，记为k G ;否则定义k G 为v-1。于是，当G是平凡的或不连通时，k G 0．若k G ≥k,则称G为k连通的。所有非平凡连通图都是1连通的。 一个k边割是指有k个元素的边割。若G非平凡且E’是G的一个边割，则G-E’不连通；于是把G的边连通度k’（G）定义为: G的所有k边割中最小的k 。若G是平凡的，则k’ G 定义为0。于是，若G平凡或不连通时，则k’ G 0；若G是具有割边的连通图，则k’ G 1．若k’ G ≥k,则G称为k 边连通的。所有非平凡连通图都是1边连通的。 块：没有割点的连通图称为块。至少有三个顶点的块是2连通的。一个图的块是指一个子图，这个子图本身是块，而且是有此性质的块中的最大者。每个图都是它的块的并图。 若图G是2连通的，则G的任意两个顶点都位于同一个圈上。 可靠通讯网络的构造 如果我们认为某图表示一个通讯网络，那么通讯站（或通讯线路）的最少数目就是图的连通度（或边连通度）：它们的失灵势必危及系统的通讯。连通度和边连通度越高，网络就越可靠。从这个观点来看，一个树网络，如Kruskal算法得到的那样，不是非常可靠的。 设k 是给定的正整数，G是赋权图。试确定G的一个有最小权的k连通生成子图。对k 1，这个问题简化为生成树问题，它可用Kruskal算法求解。对大于1的k值，这个问题还未解决，并且公认是困难的。 Euler 环游：经过G的每条边的迹称为G的Euler迹，这是因为Euler首先研究了一个图中这种迹的存在性。在图论的最早著名论文（Euler，1736）中，Euler证明了：在一次穿过城镇的散步中，要通过konigsberg城的七座桥，要求每座桥通过一次且只通过一次是不可能做到的。Konigsberg城和Pregel河的地图在下图中表示。可以看出：要证明这样的散步是不可能的，相当于证明图中的图不包含Euler迹。 图15 konigsberg桥及其对应的图 G的环游是指经过G的每条边至少一次的闭途径。Euler环游是指经过每条边恰好一次的环游（换言之，Euler环游是闭Euler迹）。一个图若包含Euler环游，则这个图称为Euler图 当图G中某顶点的度数为偶数时称为偶点，当度数为奇数时称为奇点。 定理：一个非空连通图是Euler图当且仅当它没有奇点。 推论：一个连通图有Euler迹当且仅当它有两个奇点。 Hamilton 哈密顿 圈：包含G的每个顶点的路称为G的Hamilton路；类似地，G的Hamilton圈是指包含G的每个顶点的圈。这种路和圈用Hamilton（1856）的名字命名，是因为他在给他的朋友Graves的一封信中描述了关于十二面体如下图的一个数学游戏：一个人在十二面体的任意五个相继的顶点上插上五根大头针，形成一条路，要求另一个人扩展这条路以形成一个生成圈。一个图若包含Hamilton 圈，则称这个图是Hamilton图。＋二面体是Hamilton图，Herschel图是非Hamilton图，因为它是偶图，并且有奇数个顶点。 图16 a 十二面体图 b Herschel图 与Euler图的情形相反，到目前为止，Hamilton图的非平凡的充分必要条件尚不知道，事实上，这是图论中尚未解决的主要问题之一。 中国邮递员问题：邮递员的工作是：在邮局里选出邮件，递送邮件，然后再返回邮局。自然，他必须走过他投递范围内的每一条街道至少一次。在这个前提下，希望选择一条尽可能短的路线。这个问题名为中国邮递员