1
图灵决定类问题是否有一个完整的问题？
语言，如是在许多一减少。看到也有完整的问题也很简单。S. Schmitz [1]考虑了和\ text {REC}之间的一些类。对于这些类别，在经过特殊设计的缩减下，它们会带来完全的问题。HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} 相对于较弱的缩减，（aka）是否存在完整的问题？减少Turing是不合适的，因为它们有能力完成所有工作。我们是否应该期望这种简化是虚构的（例如，仅限于原始递归的多次缩减）？R=RE∩co-RER=RE∩co-RE\textsf{R} = \textsf{RE} \cap \textsf{co-RE}RECREC\textsf{REC} [1] 2013年以后的 Sylvain Schmitz 复杂性层次结构http://arxiv.org/abs/1312.5686