为什么我要读迈克尔·西瑟的《计算理论》一书,我有一个小问题:每种语言都属于P还是NP?
不,不是所有的语言都是P或NP。这里有几种方法可以看到这一点:
在P和NP中有无数种语言,但只有无数种语言。这特别意味着,如果你随机选择一种语言,概率为1,你选择的语言不是P或NP。
P和NP中的所有语言都是可判定的。任何不可判定的语言,如停顿问题,都不可能是NP语言。
这个 nondeterministic time hierarchy theorem 可以用来表示NEXP中有一些语言不在NP中。
希望这有帮助!