关于多项式时间减少，RE完成的语言？

Question

RE中是否有关于多项式时间减少的完整语言？

我认为A_TM将是一个很好的例子，但我不确定......

Answer 1

是的，关于多项式时间减少， _TM RE - 完成。给定任何 RE 语言L，让M成为它的识别器。然后，函数f（w）=可以在多项式时间内计算（对于元组的一些合理表示），因为M是固定机器，并且编码版本中的w的长度当然应该多数多数地大于原始输入w。当且仅当M接受w时，我们还有w∈L当且仅当∈A _TM ，因此f是从任意 RE 语言L的多项式时间减少到A _TM ，使A _TM RE - 完成多项式时间减少。

我不确定为什么你会对 RE - 完整性的这个特定概念感兴趣，因为 RE 对可计算性的概念非常有用< / em>（你能解决这个问题吗？）而多项式时间减少通常用于复杂度（你能有效地解决这个问题吗？）如果你确实有一个有趣的用例，尽管，我很想听听它！