运筹学基础实验报告(5070209136旆妫.docVIP

《运筹学基础》实验报告 座机电话号码36 朱锋 问题描述与抽象 旅行商问题 某旅行商从节点1出发，遍历所有节点后回到节点1。各节点之间的路径长度如下图所示，利用OPL进行建模并求解，找出旅行商的最短路径。 整数规划模型建立 矩阵C存储上图中各节点之间的边权，表示从节点i到节点j的边权， M 可根据具体问题赋一个相对极大的数 表示节点到自身距离认为无限大，此为无向图，故得到对称矩阵C： 同时定义: 则旅行商问题要求使遍历路径的边权和最小，用z表示遍历所有城市节点的代价和，则其目标函数可表示为: 旅行商问题限制条件： ① 保证每个节点只有一个入度， ② 保证每个节点只有一个出度 1，2限制条件保证图中每个城市被通过且只被通过一次。 ③ 保证没有分立的圈存在 查阅资料得，3限制条件可以排除经1，2条件筛选后不满足题意的几个独立的子环路的情况，任何一个封闭的子圈必将和3限制发生冲突。 ④ 整数规划基本限制条件 基于以上分析，旅行商问题的整数规划数学模型： OPL Development Studio求解此整数规划问题 旅行商问题的模型文件： /********************************************* * OPL 6.3 Model * Author: Arrow * Creation Date: 2009-12-9 at 下午03:14:09 *********************************************/ string Cities ...; string Uities ...; int Dis[Cities][Cities] ...; int Citynumber ...; dvar int U[Cities]; dvar boolean X[Cities][Cities]; minimize sum i in Cities , j in Cities Dis[i][j]*X[i][j]; subject to forall i in Cities sum j in Cities X[i][j] true; forall j in Cities ctLeaveEachCityOnce: sum i in Cities X[i][j] true; forall i in Uities,j in Uities:i! j U[i]-U[j]+Citynumber*X[i][j] Citynumber-1; forall i in Cities U[i] 0; 旅行商问题的数据文件： /********************************************* * OPL 6.3 Data * Author: Arrow * Creation Date: 2009-12-8 at 下午08:25:04 *********************************************/Cities 1 2 3 4 5 6 7 8 9 10 ; Uities 2 3 4 5 6 7 8 9 10 ; Dis [ [100000 1 100000 4 100000 100000 100000 2 100000 100000], [1 100000 100000 3 4 100000 100000 100000 100000 100000], [100000 100000 100000 3 100000 2 100000 6 2 100000], [4 3 3 100000 3 2 1 100000 100000 100000], [100000 4 100000 3 100000 100000 3 100000 100000 2], [100000 100000 2 2 100000 100000 3 100000 2 100000], [100000 100000 100000 1 3 3 100000 100000 100000 2], [2 100000 6 100000 100000 100000 100000 100000 8 9], [100000 100000 2 100000 100000 2 100000 100000 100000 100000], [100000 100000 100000 100000 2 100000 2 100000 1000