我想知道TSP-OPTIMIZE是否与NP等价，例如proof wiki claims，还是严格地对NP严格。为了澄清，我在谈论优化问题，即找到给定图的最短往返路程。编辑：据我可以证明的那样，尝试对具有整数边缘权重的TSP实例显示它，一个明显的问题是，这在R上可扩展，它可能可扩展到所有可数字表示的事物。它首先通过二元搜索计算最小权重，然后在决策问题的O（n ^ 2）计算中以sum（n，...，1）计算最短往返行程，从而解决了优化问题。因此将其多项式地减少到决策问题。决策问题显然是可以使用Oracle在多项式时间内解决的。但是，该证据缺乏良好的引用，我想知道是否有人对优化问题有任何良好的引用。如果您也许对欧洲风俗的TSP-OPTIMIZE有一些好的引用，那也将很棒！
感谢您的帮助。
顺便说一句：关于NP硬性和NP等效性，我知道该领域的术语仍然有些粗糙，有些人认为这些术语对优化问题无效，但与wikipedia等效。术语很重要，但是请不要将问题抛在一边，因为它与问题类别的某些特定术语不符。