我正在研究TSP。因此，我必须证明图上蛮力算法的正确性（从存在的所有置换中（从〜O（n！）中找出良好的置换）。因此，我正在学习很多书籍和网站，但是找不到如何证明正确性的方法。证明存在于书籍和科学家的作品中吗？如果以前有人遇到过相同的问题或知道如何解决该问题，请给我建议吗？
所有蛮力算法的证明基本上是相同的：设BF为蛮力，设X为所有可能解的集合。让我们假设我们的算法BF在X中返回了x，而不是让我们矛盾地假设X中存在y，因此y是比x更好的解决方案。但是BF是一种蛮力算法，因此他将x和y进行了比较，得出x更好。矛盾。所以x比y好。