多项式时间多选择性
摘要：引言：多项式时间多选择性是Selman的P-选择性的推广，它提供了一个更灵活的选择性概念，允许选择器对多个输入字符串进行操作。自从引入这个类以来，它已经被用于证明关于EL_2的广义选择性类的已知的（并且是最优的）下界。我们研究了由SH表示的选择性层次结构，并证明它不会崩溃。具体而言，我们研究了SH的内部结构和性质，并完全确定了我们的广义选择性类和Ogihara的P-mc（多项式时间成员可比较）类之间的关系，包括无法比较和严格包含关系。虽然SH是一个严格递增的无穷层次结构，但我们证明了适用于P-选择性集合的核心结果，证明了它们在结构上的简单性。具体而言，SH中的所有集合都有小电路；SH中的NP集合在NP的低层次结构中属于Low_2；只有在P = NP的情况下，SAT才能在SH中。最后，已知P-Sel，即P-选择性集合的类别，不闭合于并集或交集。我们提供了一个基于SH的扩展选择性层次结构，它足够大以捕获P-选择性集合的这些闭包，并且与P-mc类相比，更细致地区分它们。 翻译：多项式时间多选择性：选择性的层次结构和性质
作者：Lane A. Hemaspaandra, Zhigen Jiang, Joerg Rothe and Osamu Watanabe
论文ID：cs/9907034
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23