2

我无法识别为什么该算法不返回 TSP 的最短路径。

vector<int> tsp(int n, vector< vector<float> >& cost)
{
  long nsub = 1 << n;
  vector< vector<float> > opt(nsub, vector<float>(n));

  for (long s = 1; s < nsub; s += 2)
    for (int i = 1; i < n; ++i) {
      vector<int> subset;
      for (int u = 0; u < n; ++u)
        if (s & (1 << u))
          subset.push_back(u);

      if (subset.size() == 2)
        opt[s][i] = cost[0][i];

      else if (subset.size() > 2) {
        float min_subpath = FLT_MAX;
        long t = s & ~(1 << i);
        for (vector<int>::iterator j = subset.begin(); j != subset.end(); ++j)
          if (*j != i && opt[t][*j] + cost[*j][i] < min_subpath)
            min_subpath = opt[t][*j] + cost[*j][i];
        opt[s][i] = min_subpath;
      }
    }

  vector<int> tour;
  tour.push_back(0);

  bool selected[n];
  fill(selected, selected + n, false);
  selected[0] = true;

  long s = nsub - 1;

  for (int i = 0; i < n - 1; ++i) {
    int j = tour.back();
    float min_subpath = FLT_MAX;
    int best_k;
    for (int k = 0; k < n; ++k)
      if (!selected[k] && opt[s][k] + cost[k][j] < min_subpath) {
        min_subpath = opt[s][k] + cost[k][j];
        best_k = k;
      }
    tour.push_back(best_k);
    selected[best_k] = true;
    s -= 1 << best_k;
  }
  tour.push_back(0);

  return tour;
}

例如，在cost只有 5 个点（图中 5 个不同节点）的距离矩阵上，算法返回的路径不是最优的。任何有助于识别公然或小错误的帮助将不胜感激。或任何有关出现问题的有用提示。

4

2 回答 2

2

一件看起来很奇怪的事情是，即使 i 不是子集 s 的一部分，主 for 循环也会做一些事情。

换句话说，opt[17][8] 将被设置为 cost[0][8]。opt[17][8] 表示处于节点 8 的状态，并且访问了节点 0 和 4（因为 5=2^0+2^4）。

这应该被标记为不可能，因为如果我们在节点 8，我们肯定已经访问了节点 8！

我建议通过更改来防止这些情况的发生：

for (int i = 1; i < n; ++i) {
  vector<int> subset;

至

 for (int i = 1; i < n; ++i) {
  vector<int> subset;
  if ((s&(1<<i))==0) {
     opt[s][i]=FLT_MAX;
     continue;
  }
于 2013-04-23T21:34:17.603 回答
2

嵌套循环for(j=遍历 中的所有节点subset，包括起始节点。这会导致使用未初始化的值opt[t][0]，从而导致不正确的最佳路径长度计算。

最简单的解决方法是从以下位置排除起始节点subset：

for (int u = 1; u < n; ++u)
...
if (subset.size() == 1)
...
else if (subset.size() > 1)
于 2013-04-30T11:45:47.990 回答