我很清楚旅行商问题的DP解决方案;也称为 TSP 的 Held 和 Karp 算法。
我已经用位掩码实现了它,它是这样的:
int TSP(int pos, int bitmask) {
if (bitmask == (1<<(K+1))-1)
return dist[pos][0]; // Completing the round trip
if (memo[pos][bitmask] != -1)
return memo[pos][bitmask];
int answer = INF;
for (int i = 0; i <= K; i++) {
if (i != pos && (bitmask & (1 << i)) == 0)
answer = Math.min(answer, dist[pos][i] + TSP(i, bitmask | (1 << i)));
}
return memo[pos][bitmask] = answer; // Storing the best dist for the set of traveled cities and untraveled ones.
}
这个算法相当快;15个城市的计算速度比较快。但是,我注意到它可以进一步改进以适应大约 20 个城市。
1)如果dist矩阵是对称的,或许我们可以利用这个性质来防止重复计算。(例如 a->b->c->d->a == a->d->c->b->a)
2)同时使用上限和下限进行修剪。上述算法能够在很短的时间内得到它的第一个可能的最优解,也许可以使用它。
我已经尝试根据上述两个原则改进算法。但是,我没有得到更好的算法。
我是否在徒劳地尝试改进不可能的事情?你怎么看?