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

Question

这是最近让我感到困惑的事情，也许有人可以解释我错过了什么。

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

Answer 1

据我所知。实际的区别在于时间的功能。 越接近停止问题，运行时间越长……即使它们相等。 除非提供无限的时间和空间，这根本不可行，更不用说实用了。