基于AMPL的tsp旅行商问题

1. 什么是TSP问题。
旅行商问题，即TSP问题（Traveling Salesman Problem）又译为旅行推销员问题、货郎担问题，是数学领域中著名问题之一。假设有一个旅行商人要拜访n个城市，他必须选择所要走的路径，路径的限制是每个城市只能拜访一次，而且最后要回到原来出发的城市。路径的选择目标是要求得的路径路程为所有路径之中的最小值。
2. tsp问题案例
我们称推销员小明吧，小明需要走6个地区进行推销产品，从1号地区出发，分别是1，2，3…6。地区和地区之间的距离如下表：
3. 用ampl模型建立
废话不多说，直接给出模型：

model：

param n>0,integer;
set V:=1..n;
param d{V,V}>=0;
param subtours>=0,integer,default 0;
set S{1..subtours};
var x{V,V}binary;
minimize distance:sum{i in V,j in V:i!=j}d[i,j]*x[i,j];
subject to successore {i in V}:sum{j in