问：ingo解决TSP的程序含义？

wiwil

<>在lingo中解决TSP的一段程序是</P>
<>CITY / 1.. 6/: U; ! U( I) = sequence no. of city;
</P>
<>! Weak form of the subtour breaking constraints;
  ! These are not very powerful for large problems;
   @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)
   );
  );
上段程序该如何理解？虽然他有了英文注释，但还是不太明白</P>
<P>该表达式该如何推导，哪里可以查阅相关信息</P>