第一节最小(支撑)树问题与最短路问题.pptVIP

Ch8 网络模型 Network Model ??????????? 运 筹 学 ? Operations? Research Chapter 8 网络模型 Network Modeling 8.1 最小(支撑)树问题 Minimal (Spanning)Tree Problem 8.2 最短路问题 Shortest Path Problem 8.3 最大流问题 Maximal Flow Problem 8.4 旅行售货员与中国邮路问题 Traveling Salesman and China Carrier Problem 实例1： 著名的哥尼斯堡七桥问题 18世纪的哥尼斯堡城中有一条河，河的两岸与河中的两个小岛有7座桥彼此联接，问一个步行者能否通过每座桥一次且仅一次就能返回原出发地？ C A B D 问题转化为：能否从任何一个顶点(A，B，C，D)出发，恰好 经过每条边一次而返回原地？ 1736年欧拉证明了否定的答案。 B C A D 实例2： 下图是一张石油流向管网示意图，A 表示石油开采 地，H 为石油汇集站，B，C，D，E，F 表示可供选择的石 油流动加压站，数字为两地距离（管长），问如何选择管线， 使将油从 A 送到 H 所需油管最短？ A B C D E F H 6 2 6 8 6 4 12 2 3 1 2 图的基本概念: 一个图G是由p个元素的非空集合V和V中给定的q个无序对构成的集合所组成的二元组，记作G = (V, E), 其中V={v1,v2, ··· ,vp}称为图G 的顶点集，V中的元素称为顶点； E={e1,e2, ··· ,eq}称为图G 的边集或弧集，E中的元素称为边，若边 是有方向的，我们称之为弧。 图可分为有向图与无向图，我们先讨论无向图的情况： 多重图：含有多重边的图称为多重图 简单图：无环无多重边的图称为简单图 子 图： 子图。 支撑子图。 有向图： 由一些点和连接这些点的弧(带有方向箭头)组成的图形 注意：有向图中 链：设G=(V, E)为无向图，称由点和边交替组成的序列 为连接vi1和vit的一条链，可简记为 圈: 当一条链的两个端点重合 (即vi1＝vit)时，则称之为圈。 连通图：若无向图中任何两点间至少存在一条链，则称之为连通 图;否则称之为不连通图。 不连通图 路：在有向图中，称链 为一条以vi1为始点，vit为终点的路；若 ，则称之为闭回路。 赋权图：若图G 的每一条边(弧)都赋予一个系数wij，则称G为赋 权无向(有向)图，赋权图记为G=(V, E, W). 连 通 图 8.1 最小(支撑)树问题 Minimal (Spanning)Tree Problem 8.1.1 树的概念 树(Tree): 一个无圈且连通的无向图称为树图, 简称树。 树的性质：（1）一棵树的边数等于点数减1； （2）在树中任意两个点之间添加一条边就形成圈； （3）在树中去掉任意一条边图就变为不连通。 支撑树(Spanning Tree )：在一个连通图G中，取部分边连接G的所有点组成的树称为G的支撑树(Spanning Tree )或部分树。 8.1 最小树问题 Minimal tree problem v1 v2 v3 v4 v5 v6 4 3 2 1 图8－2 7 v1 v2 v3 v4 v5 v6 4 3 2 1 图8－1 7 8.1.2 最小部分树 将网络图G边上的权看作两点间的长度（距离、费用、时间），定义G的部分树T的长度等于T中每条边的长度之和，记为C(T)。 G的所有部分树中长度最小的部分树称为最小部分树(或最小支撑树)，简称为最小树。 最小部分树可以直接用作图的方法求解，常用的方法有： 破圈法、 加边法 破圈法：任取一圈，去掉圈中最长边，直到无圈。 8.1 最小树问题 Minimal tree problem 5 v1 v2 v3 v4 v5 v6 8 4 3 7 5 2 6 1 8 图8－1 【例8.1】用破圈法求图8－1的最小树。 图 8－4 图8－4就是图8－1的最小部分树，最小树长为 C(T)=4+3+5+2+1=15。 注：当一个圈中有多个相同的最长边时，