显示壁垒

我们都知道，显示有障碍。我们都研究了这些障碍，因为我们相信。$P\ne NP$$P\ne NP$

但是，假设并且有些聪明的人相信存在这种可能性。如果确实如此，那么我们还没有发现任何好的算法这一事实表明，在这个替代宇宙中也可能存在障碍。可证明性存在障碍，我们不确定是否是事实。我们也不确定是否是真的，因此可证明性是否也存在障碍？$P=NP$$P\ne NP$$P\ne NP$$P= NP$$P=NP$

Mihalis Yannakakis表明，使用对称线性程序无法在多项式时间内解决旅行商问题。

请参阅Yannakakis 的论文《通过线性程序表达组合优化问题》。

Fiorini，Massar，Pokutta，Tiwary和De Wolf最近改进了此结果，以放弃Yannakakis结果中的“对称”要求。