【发布时间】：2020-06-07 06:58:01
【问题描述】：
所以 PCP 是半可判定和不可判定的，而停机问题是不可判定的。 甚至可以为它们命名时间复杂度，例如 NP 或 expTime？
那么空间复杂性呢：它们在 Pspace 中吗？
【问题讨论】：
-
不可判定的问题不属于上述任何一个复杂性类，因为这些类的定义首先需要一个算法来决定问题。
-
我投票结束这个问题，因为它是关于决策理论/复杂性理论的纯理论问题，与编程无关。
-
@walnut 说得通谢谢 :)
标签： complexity-theory theory number-theory