运筹学图与网络模型剖析.pptVIP

第十一章　图与网络模型 §1　图与网络的基本概念 §2　最短路问题 §3　最小生成树问题 §4　最大流问题 §5　最小费用最大流问题 图是人类认识世界和表示自己认识的最形象的手段和模型。 关于图的相关理论称为图论（graph theory）。 图论是近数十年来得到蓬勃发展的一个新兴的数学分支，它的理论和方法在许多领域得到广泛的应用并且取得了丰硕成果，成为运筹学的一个重要的分支。 我们可以看到，用线性规划、动态规划解决的资源分配问题、运输问题和存储问题，有时同样可以图论的方法来构造模型并求解。 有一些研究对象，如电话网、交通网、物流网等，用图论的方法来研究，会更加直观、方便。 图论是建立和处理离散数学模型的一个重要工具。现实世界中的许多问题都可以归结为研究一些事物及其之间是否具有某种联系的问题，这类问题可以用由点和线组成的图来描述。 如果用点来表示事物，用连接两点的线条来表示事物之间的联系，则这种问题的描述可以用点线图来实现。 在这样的图中，我们感兴趣的是哪些点之间有连接，而不关心点的具体含义及点之间的连接方式如何，这种数学抽象就是图的概念。 在画图时，点的位置、边的长短形状都是无关紧要的，只要两个图的顶点及边是对应相同的，则认为这两个图是相同的。 §1　图与网络的基本概念 §1　图与网络的基本概念 §1　图与网络的基本概念 §1　图与网络的基本概念 无向图（undirected graph）： 由点和边构成的图，记作G=（V，E）。 V是图G的点的集合， V={v1,v2,v3 ,v4, v5, v6 v7} E是图G的边的集合， E={e1, e2, e3 e4, e5} 图中对节点进行编号后，边的下标可以表示为边的两端点的下标。如vi, vj是某条边的两个端点，则该边也可以表示为eij。 在图论中，边表示没有方向的关联，因此有eij= eji，表示同一条边。如双向通行的公路。 有向图（directed graph）： 由点和弧构成的图，记作D=（V，A）。 V是图G的点的集合， V={v1,v2,v3 ,v4, v5, v6,v7} A是图G的弧的集合， A={a1, a2, a3 ,a4, a5…} 如vi, vj是某条弧的两个端点，则该弧也可以表 示为aij。表示从节点vi指向vj的有箭头的线段， 不同于aji 。 混合图：图中既存在边，也存在弧。 有向图是更为基本的图，因为，一条无向的边可以化为两个端点间的两条相向的弧。 正确地识别一个问题要用有向图还是无向图来表示非常重要。 连通图： 对无向图G，若任何两个不同的点之间，至少存在一条链，则G为连通图。 赋权图： 对一个无向图G的每一条边(vi,vj)，相应地有一个数wij，则称图G为赋权图，wij称为边(vi,vj)上的权。 网络： 在赋权的有向图D中指定一点，称为发点，指定另一点称为收点，其它点称为中间点，并把D中的每一条弧的赋权数称为弧的容量，D就称为网络。 §2　最短路问题 最短路问题：对一个赋权的有向图D中的指定的两个点Vs和Vt找到一条从 Vs 到 Vt 的路，使得这条路上所有弧的权数的总和最小，这条路被称之为从Vs到Vt的最短路。这条路上所有弧的权数的总和被称为从Vs到Vt的距离。 一、求解最短路的Dijkstra算法(双标号法） 步骤： 1.给出点V1以标号(0,s) 2.找出已标号的点的集合I，没标号的点的集合J以及弧的集合 3. 如果上述弧的集合是空集，则计算结束。如果vt已标号（lt,kt），则 vs到vt的距离为lt，而从 vs到vt的最短路径，则可以从kt 反向追踪到起点vs 而得到。如果vt 未标号，则可以断言不存在从 vs到vt的有向路。如果上述的弧的集合不是空集，则转下一步。 4. 对上述弧的集合中的每一条弧，计算 sij=li+cij 。在所有的 sij中，找到其值为最小的弧。不妨设此弧为（Vc,Vd），则给此弧的终点以双标号（scd,c）,返回步骤2。 §2　最短路问题 例1 求下图中v1到v6的最短路 解：采用Dijkstra算法，可解得最短路径为v1 v3 v4 v6 各点的标号图如下： §2　最短路问题 例2 电信公司准备在甲、乙两地沿路架设一条光缆线，问如何架设使其光缆线路最短？下图给出了甲乙两地间的交通图。权数表示两地间公路的长度（单位：公里）。 解：这是一个求无向图的最短路的问题。可以把无向图的每一边（vi,vj）都用方向相反的两条弧（vi,vj）和（vj,vi）代替，就化为有向图，即可用