R，RE coRE之间的关系是什么，与P，NP，coNP相反

Question

我试图理解这些语言类之间的关系。 有人可以按我的方式做一些订单吗？例如，如果我采用语言HAMPATH = {：G有一个哈密尔顿路径}。我知道这是在NP和NP很难。这会教我什么关于在R，RE coRE？他们之间有什么联系吗？

Answer 1

P ， NP 和co- NP 中的所有问题都是可判定的，因此所有这些类都是的严格子集[R 即可。众所周知， R 是 RE 和co- RE 的严格子集，此外， R = RE ∩co- RE 。

这些类之间有一个很好的直观联系。 R ， RE 和co- RE 的定义基本上可以描述为

• R 语言是可以决定的语言。
• RE 语言是具有验证程序的语言。
• co- RE 语言是补充语为 RE 的语言。

P ， NP 和co- NP 的定义是

• P 语言是可以在多项式时间内决定的语言。
• NP 语言是具有以多项式时间运行的验证程序的语言。
• co- NP 语言是补语为 NP 的语言。

从某种意义上说，您可以通过添加或删除多项式时间限制从一类语言转到另一类语言。 （这也有助于解释收容）。