1
チューリング決定可能問題のクラスに完全な問題はありますか？
などの言語は、多対一の削減ではです。も完全な問題があることは簡単です。S. Schmitz [1]は、といくつかのクラスを考慮し。これらは、特別に細工された削減の下で、これらのクラスに完全な問題を提示します。 RE-complete co-REHALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}RECELEMELEM\text{ELEM}RECREC\text{REC} （別名）には、より弱いリダクションに関連する完全な問題がありますか？チューリングの削減は、すべての作業を実行できるため不適切です。そのような削減は人為的であるかそうでないと期待すべきでしょうか（例えば、原始再帰に制限される多対一の削減）。RECR=RE∩co-RER=RE∩co-RE\textsf{R} = \textsf{RE} \cap \textsf{co-RE}RECREC\textsf{REC} [1] Sylvain Schmitz Complexity Hierarchies Beyond Elementary 2013 http://arxiv.org/abs/1312.5686