请教高手们LINGO问题

henry1028

<>model:
sets:
city/1..5/:u;
link(city,city):dist,x;
endsets
data:
dist= 0 702 454 842 2396
702 0 324 1093 2136
454 324 0 1137 2180
842 1093 1137 0 1616
2396 2136 2180 1616 0;
enddata
<a href="mailtn=@size(city" target="_blank" >n=@size(city</A>);
<a href="mailtmin=@sum(link:dist*x" target="_blank" >min=@sum(link:dist*x</A>);
@for(city(k):
@sum(city(i)|i#ne#k:x(i,k))=1;
@sum(city(j)|j#ne#k:x(k,j))=1;
@for(city(j)|j#gt#1#and#j#ne#k:
u(j)&gt;=u(k)+x(k,j)-(n-2)*(1-x(k,j))+(n-3)*x(j,k)););！（1）
@for(linkbin(x));
@for(city(k)|k#gt#1:
u(k)&lt;=n-1-(n-2)*x(1,k);u(k)&gt;=1+(n-2)*x(k,1));！（2）
end</P>
<>这是一个算售货员在五个城市间行走最短距离的程序，u表示行走顺序，dist表示各城市间距离，x是所设计之路线中某两个城市是否走的布尔变量，想问的是（1）和（2）两个式子是什么意思，怎么推出来的？书上没有说。</P>

sandynit

哪本书？是不是lingo的教程，推荐一下

wanbaocheng

<>找一本运筹学的书，看看整数规划章节看有没有，试试啦。</P><>再一个办法就是等等我发的帖子<a href="http://www.shumo.com/bbs/dispbbs.asp?boardid=10&amp;ID=7115&amp;replyID=48081" target="_blank" >http://www.shumo.com/bbs/dispbbs.asp?boardid=10&amp;ID=7115&amp;replyID=48081</A>的最后一章就有。目前还没有发，稍等一天。</P>