LINGO软件篇教学讲解课件.ppt

分析STA1A2A3B1B2C1C2633665874678956此例中可把从S到T的行驶过程分成4个阶段,即S→Ai(i=1,2或3),Ai→Bj(j=1或2),Bj→Ck(k=1或2),Ck→T.记d(Y,X)为城市Y与城市X之间的直接距离(若这两个城市之间没有道路直接相连，则可以认为直接距离为∞)，用L(X)表示城市S到城市X的最优行驶路线的路长:本例的计算STA1A2A3B1B2C1C2633665874678956所以,从S到T的最优行驶路线的路长为20.进一步分析以上求解过程,可以得到从S到T的最优行驶路线为S→A3→B2→C1→T.这种计算方法在数学上称为动态规划(DynamicProgramming)model:SETS:CITIES/S,A1,A2,A3,B1,B2,C1,C2,T/:L;!属性L(i)表示城市S到城市i的最优行驶路线的路长;ROADS(CITIES,CITIES)/ !派生集合ROADS表示的是网络中的道路（弧）;S,A1S,A2S,A3 !由于并非所有城市间都有道路直接连接，所以将弧具体列出;A1,B1A1,B2A2,B1A2,B2A3,B1A3,B2B1,C1B1,C2B2,C1B2,C2C1,TC2,T/:D; !属性D(i,j)是城市i到j的直接距离（已知）;ENDSETSDATA:D=633658674678956;L=0,,,,,,,,; !因为L(S)=0;ENDDATA @FOR(CITIES(i)|i#GT#@index(S):!这行中@index(S)可以直接写成1;L(i)=@MIN(ROADS(j,i):L(j)+D(j,i)););!这就是前面写出的最短路关系式;end定义稀疏集合方法：枚举法CITIES（i）中的i指元素在集合中的位置顺序，@index(S)即:@index(CITIES，S),S在CITIES中的索引值。没有目标函数是允许的例某班8名同学准备分成4个调查队(每队两人)前往4个地区进行社会调查。这8名同学两两之间组队的效率如下表所示(由于对称性，只列出了严格上三角部分)，问如何组队可以使总效率最高？学生S1S2S3S4S5S6S7S8S1-9342156S2--173521S3---44292S4----1552S5-----876S6------23S7-------4元素过滤法组队问题分析这是一个匹配（MATCHING）问题。把上表的效率矩阵记为BENEFIT(由于对称性，这个矩阵只有严格上三角部分共28个数取非零值)。用MATCH（Si，Sj）=1表示同学Si，Sj组成一队，而MATCH（Si，Sj）=0表示Si，Sj不组队。由于对称性，只需考虑ij共28个0-1变量(而不是全部32个变量)。显然,目标函数正好是BENEFIT(Si,Sj)*MATCH(Si,Sj)对I,j之和。约束条件是每个同学只能(而且必须在)某一组，即对于任意i有:只要属性MATCH的某个下标为i就加起来，此和应该等于1。由上面的分析，因此，完整的数学模型如下(显然，这是一个0-1线性规划)：MODEL:SETS:STUDENTS/S1..S8/;PAIRS(STUDENTS,STUDENTS)|2#GT#1:BENEFIT,MATCH;ENDSETSDATA:BENEFIT=934215617352144292