自我确定的机器
摘要：自说明机器的计算能力研究，展示它们接受的语言正好是$manyonesharp$-reduce到NP集合的语言。一个自然的变体接受的语言正好是$manyonesharp$-reduce到P集合的语言。我们展示了这两个类相等当且仅当$psone = psnnoplusbigohone$，后者表示通过最多一个问题到$sharpp$，然后最多一个常数个问题到$p$可接受的集合。
作者：Lane A. Hemaspaandra, Harald Hempel, and Gerd Wechsung
论文ID：cs/9910006
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23