如何证明暴力 TSP 算法的正确性？
How I can show the correctness of brute-force TSP algorithm?
我正在研究 TSP。所以我必须在图上证明暴力算法的正确性（从所有存在的排列中挑选出好的排列~O（n！））。所以我正在学习很多书籍和网站，但我找不到如何证明正确性。证明存在于书籍和科学家的作品中吗？如果有人以前遇到过同样的问题或者知道如何解决这个问题，你能给我建议吗？
所有暴力算法的证明基本相同：
设 BF 为蛮力，X 为所有可能解决方案的集合。
让我们假设我们的算法，BF 已经在 X 中返回 x，而不是让我们通过矛盾假设 X 中存在 y，这样 y 是比 x 更好的解决方案。但是 BF 是一个蛮力算法，所以他比较了 x 和 y，推导出 x 更好。矛盾。所以 x 比 y 好。
我正在研究 TSP。所以我必须在图上证明暴力算法的正确性（从所有存在的排列中挑选出好的排列~O（n！））。所以我正在学习很多书籍和网站，但我找不到如何证明正确性。证明存在于书籍和科学家的作品中吗？如果有人以前遇到过同样的问题或者知道如何解决这个问题，你能给我建议吗？
所有暴力算法的证明基本相同： 设 BF 为蛮力，X 为所有可能解决方案的集合。 让我们假设我们的算法，BF 已经在 X 中返回 x，而不是让我们通过矛盾假设 X 中存在 y，这样 y 是比 x 更好的解决方案。但是 BF 是一个蛮力算法，所以他比较了 x 和 y，推导出 x 更好。矛盾。所以 x 比 y 好。