每种语言都属于P还是NP？

Question

为什么我要阅读关于Michael Sipser计算理论的书，我有一个小问题：每种语言都属于P还是NP？

Answer 1

不，不是P或NP中的所有语言。以下是一些查看此内容的方法：

1. 有无数种语言，但P和NP中只有相当多的语言。这尤其意味着，如果您随机选择一种语言，概率为1，则选择不属于P或NP的语言。

2. P和NP中的所有语言都是可判定的。任何不可判断的语言，例如暂停问题，都不能在NP中。

3. nondeterministic time hierarchy theorem可用于显示NEXP中的语言不在NP中。

希望这有帮助！