关于为什么NP包含在PSPACE，EXPTIME等中的困惑

Question

这里有些让我最近感到困惑的事情，也许有人可以解释我所缺少的东西。

NP中的问题是可以在多项式时间内在NDTM上求解的问题。现在假设P / = NP，PSPACE / = NP等，这意味着存在NP完全问题，这些问题在DTM上的多项式时间内无法解决。这意味着它们要么具有多项式和指数之间的复杂性（我不确定它可能是什么），要么它们必须在DTM上采用指数时间（并且不超过多项式空间）。如果是后者，则考虑PSPACE完全问题。如果可以使用多项式空间量求解，则PSPACE中存在问题。由于NP \ subseteq PSPACE \ subseteq EXPTIME，PSPACE完成问题也必须在DTM上占用指数时间。那么NP-complete和PSPACE完全问题之间的实际区别是什么？

Answer 1

就我看来而言。实际的区别在于时间的功能。 越接近停止问题，运行时间越长......即使它们等同。 除非提供无限的时间和空间，甚至不可行，更不用说实用了。