Turing machines 类R，RE，coRE与P，NP，coNP之间的关系是什么

我试图理解这两类语言之间的关系。

---

有人能按照我的想法来做一些排序吗？例如，如果我使用语言HAMPATH={:G有一个哈密顿路径}。我知道这是NP，也是NP难的。这能教我什么关于在R，RE核心的东西吗？它们之间有联系吗？

在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中的语言

---

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

在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中的语言

---

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

我投票结束这个问题，因为它不是一个编程问题。这是一个关于计算理论的问题。也许你应该在这里问：如果你有一个单词W和一种语言L，你可以决定W是否在L中，那么L是递归的，不管如何复杂地确定W是否在L中（P或NP或其他）。P/NP/etc是获得答案所需时间的度量。R/RE/etc是衡量获得答案可能性的指标。我投票将这个问题作为离题题来结束，因为它不是一个编程问题。这是一个关于计算理论的问题。也许你应该在这里问：如果你有一个单词W和一种语言L，你可以决定W是否在L中，那么L是递归的，不管如何复杂地确定W是否在L中（P或NP或其他）。P/NP/etc是获得答案所需时间的度量。R/RE/etc是衡量获得答案可能性的指标。