第5章图论与网络规划模型选编.ppt

第5章 图论与网络规划模型;第5章 图论与网络规划模型;5.1.1 图的定义;5.1.1 图的定义;5.1.2 完全图、二分图、子图 ;5.1.3 顶点的度;5.1.4 迹、路、圈与连通 ;5.1.5 图与网络的数据结构 ;5.1.5 图与网络的数据结构-邻接矩阵表示法 ;5.1.5 图与网络的数据结构-邻接矩阵表示法 ;邻接矩阵举例;1;1;1;双向连通竞赛图的名次排序;1;5.2.1 最短路问题 ;S;S;分析 ;本例的计算;本例的LINGO求解;本例的LINGO求解;本例的LINGO求解;本例的LINGO求解结果;个顶点的赋权图的赋权矩阵是一个阶 矩阵 ; 假设图有n个顶点，现需要求从顶点1到顶点 的最短路.设决策变量为 , 当 , 说明弧 位于顶点1至顶点 的路上；否则不在. 其数学规划表达式为; 之前我们接触到了最短路问题的求解，当时的求解方法是按照Dijkstra算法设计的，下面介绍的方法是按照规划问题(3)-(5)设计的.; 4]sets: 5] ! Here is our primitive set of nine cities; 6] cities/S, A1,A2,A3,B1, B2, C1, C2, T/; 7] 8] ! The Derived set roads lists the roads that 9] exist between the cities; 10] roads(cities, cities)/ 11] S,A1 S,A2 S,A3 A1,B1 A1,B2 A2,B1 A2,B2 A3,B1 12] A3,B2 B1,C1 B1,C2 B2,C1 B2,C2 C1,T C2,T/: w, x; 13]endsets 14] 15]data: 16] ! Here are the distances that correspond; 17] to above links; 18] w = 6 3 3 6 5 8 6 7 4 6 7 8 9 5 6; 19]enddata 20] 21]n=@size(cities); ! The number of cities; 22]min=@sum(roads: w*x); 23]@for(cities(i) | i #ne# 1 #and# i #ne# n: 24] @sum(roads(i,j): x(i,j)) = @sum(roads(j,i): x(j,i))); 25]@sum(roads(i,j)|i #eq# 1 : x(i,j))=1; END; 在上述程序中， 21]句中的n=@size(cities)是 计算集cities的个数，这里的计算结果是n=9, 这样编 写方法目的在于提高程序的通用性. 22]句表示目标 函数(3), 即求道路的最小权值. 23], 24]句表示约束 (4) 中 的情况，即最短路中中间点的约束 条件. 25]句表示约束中 的情况，即最短路中 起点的约束.; 软件可以自动删除描述线性规划可行解中的多 余方程. ; ; 图中给出的有一个源和一个汇的网络. 网络 中每一条边 有一个容量 , 除此之外,每 对边 还有一个通过边的流(Flow), 记为 . 显然, 边 上的流量 不会超过该边上的容量 , 即;称满足不等式（6）的网络 是相容的. 对于所有中间顶点, 流入的总量应等于流出的 总量 , 即:; 称满足式(10)的网络 为守恒的.; 定义 如果流 满足不等式(6)和式 (10), 则称流 是可行的. 如果存在可行流 , 使得对所有的可行流 均有;MODEL: 1]sets: 2] nodes/s,1,2,3,4,t/; 3] arcs(nodes, nodes)/ 4] s,1 s,2 1,2 1,3 2,4 3,2 3,t