を示す障壁

に障壁があることを知っています。P \ ne NPを信じているので、私たちは皆、これらの障壁を研究しました。$P\ne NP$$P\ne NP$

しかし、$P=NP$と仮定し、可能性が存在すると信じる賢明な人々がいます。これが実際に当てはまる場合、優れたアルゴリズムを見たことがないという事実は、この代替宇宙にも障壁があるかもしれないことを示しています。P \ ne NPの証明可能性$P\ne NP$は障壁に乗っているため、$P\ne NP$が真実かどうかはわかりません。我々は確かに知っていない$P= NP$いずれかの真実ですので、証明可能性のある$P=NP$もバリアだらけ？

Mihalis Yannakakisは、巡回セールスマン問題は対称線形プログラムを使用して多項式時間で解決できないことを示しました。

Yannakakisによる「Linear Programsによる組み合わせ最適化問題の表現」を参照してください。

この結果は最近、Fiorini、Massar、Pokutta、Tiwary、およびDe Wolfによって改善され、Yannakakisの結果の「対称」要件が削除されました。