Time complexity P与NP：如何证明它们不相等？

如果存在一个图灵机可以在多项式时间内求解，那么问题就在p（=多边形时间）内。对于NP（=非确定性多时间）问题，存在一个见证，图灵机可利用该见证在多项式时间内解决问题（或决定其是否为语言的一部分）。 P=NP的问题仍然没有得到证实

我想知道你怎么能证明p不等于NP。我的想法是，如果你在NP中找到一个问题，然后证明没有算法可以在多时间内解决这个问题（没有见证），那么

P不等于NP

例如，如果你看哈密顿路径问题（在NP中），证明它不能用确定性TM在多时间内求解，那么

p不等于NP

---

我的思维过程是正确的还是遗漏了什么

我们有NP完全问题，最著名的是NP完全问题，还有很多其他问题，比如哈密顿路径。如果其中一个问题在P中，那么NP=P。如果其中一个问题不在P中-即，不存在任何决定该语言的poly time TM-那么NP！=是的，证明P等于或不等于NP等于证明存在或不存在一个算法来解决一个完整的问题（比如你给出的哈密顿路径）。

我们有NP完整的问题，最著名的是，还有很多其他的问题，比如哈密顿路径。如果其中一个问题在P中，那么NP=P。如果其中一个问题不在P中-即，不存在任何决定该语言的poly time TM-那么NP！=是的，证明P等于或不等于NP等同于证明存在或不存在一个算法来解决一个完整的问题（比如你给出的哈密顿路径）。

我投票结束这个问题，因为它不是一个计算机编程问题。这是一个关于计算理论的问题（因为它是在寻找证据，而不是一个程序）。试着为这个问题寻找一个更合适的场所，尽管那里可能已经存在一个类似的问题。我投票结束这个问题，因为它不是一个计算机编程问题。这是一个关于计算理论的问题（因为它是在寻找一个证明，而不是一个程序）。试着为这个问题寻找一个更合适的场所，尽管那里可能已经存在一个类似的问题。