Questions tagged «traveling-salesman»

因此，TSP（旅行商问题）决策问题是NP完整的。 但是我不明白我如何验证给定的TSP解实际上在多项式时间内是最优的，因为没有办法在多项式时间内找到最优解（这是因为问题不在P中）？ 有什么可以帮助我看到验证实际上可以在多项式时间内完成的事情吗？

31 complexity-theory  np-complete  traveling-salesman 

我们说有一个程序，如果您提供任意大小的部分填充的数独，它会为您提供相应的完整数独。 您可以将此程序视为黑匣子，并用它来解决TSP吗？我的意思是，有一种方法可以将TSP问题表示为部分填充的Sudoku，以便如果我给您Sudoku的答案，您可以在多项式时间内告诉TSP解决方案？ 如果是，怎么办？如何将TSP表示为部分填充的数独，并为结果解释相应的填充的数独。

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

所以我理解将决策问题定义为 是否存在路径P，其成本低于C？ 并且您可以通过验证收到的路径轻松地检查这是否正确。 但是，如果没有符合该条件的路径怎么办？您如何在不解决最佳路径TSP问题的情况下验证答案为“否”，而找出最佳解决方案的成本却比C差？

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

如果您找到解决在33个城市定义的欧式旅行推销员问题的解决方案，那么在1962年，您可能会赢得10,000 美元的奖金（按今天的汇率计算，大约是80,000 美元）。 http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html 看图片，问题似乎很容易。但是，我未能找到有关该问题的更多详细资源。 有人知道更多细节吗，例如确切的距离和最佳解决方案？

13 optimization  traveling-salesman 

在工作中，我的任务是推断一些有关动态语言的类型信息。我将语句序列重写为嵌套let表达式，如下所示： return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } 由于我从一般类型信息开始，并试图推断出更具体的类型，因此自然的选择是精简类型。例如，条件运算符返回其真假分支类型的并集。在简单的情况下，它效果很好。 但是，在尝试推断以下类型时遇到了障碍： function …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

我对TSP否认重复城市的可能性感到奇怪。这个旅行推销员的目标是尽可能快地走访所有城市，对吗？那么，如果经过您曾经去过的城市旅行更快，该怎么办？

9 terminology  traveling-salesman