[论文解读] Query Order and the Polynomial Hierarchy

Edith Hemaspaandra, Lane A. Hemaspaandra+1 more|ArXiv.org|Oct 1, 1999

Advanced Algebra and Logic被引用 3

一句话总结

本文研究了在多项式层次结构中，对NP预言机查询的顺序如何影响计算能力。研究证明，虽然多项式层次结构的层级对查询顺序不敏感（即查询顺序不会改变其计算能力），但有序查询类在多项式层次结构不坍缩的前提下会形成新的、独立的层级，从而揭示了PH中一种对查询序列敏感的新结构。

ABSTRACT

Hemaspaandra, Hempel, and Wechsung [cs.CC/9909020] initiated the field of query order, which studies the ways in which computational power is affected by the order in which information sources are accessed. The present paper studies, for the first time, query order as it applies to the levels of the polynomial hierarchy. We prove that the levels of the polynomial hierarchy are order-oblivious. Yet, we also show that these ordered query classes form new levels in the polynomial hierarchy unless the polynomial hierarchy collapses. We prove that all leaf language classes - and thus essentially all standard complexity classes - inherit all order-obliviousness results that hold for P.

研究动机与目标

• 研究查询顺序对多项式层次结构内计算能力的影响。
• 确定多项式层次结构的层级是否对查询的执行顺序敏感。
• 探索有序查询类是否能产生超越标准层次结构的新复杂度类。
• 研究标准复杂度类（如通过叶语言定义的类）是否继承P的顺序无关性特征。

提出的方法

• 本文分析了通过有序序列查询NP预言机构造的复杂度类，重点研究在多项式层次结构背景下查询顺序的影响。
• 采用归约和预言机机器构造方法，比较不同查询顺序的计算能力。
• 证明所有叶语言类均继承P的顺序无关性特征，扩展了已知结果。
• 建立在多项式层次结构不坍缩的前提下，有序查询类会在层次结构中形成严格新的层级。
• 利用叶语言可定义性概念，统一标准复杂度类之间的结果。
• 借助Hemaspaandra等人（cs.CC/9909020）关于查询顺序的早期成果，构建了层次结构分析的框架。

实验结果

研究问题

• RQ1 对NP预言机的查询顺序是否会影响多项式层次结构中类的计算能力？
• RQ2 多项式层次结构的层级在查询顺序下是否保持不变，还是顺序会诱导出新的复杂度类？
• RQ3 能否证明有序查询类在多项式层次结构中形成新的层级，以及在何种条件下成立？
• RQ4 标准复杂度类（如通过叶语言定义的类）是否继承P的顺序无关性特征？
• RQ5 查询顺序与多项式层次结构坍缩之间存在何种关系？

主要发现

• 多项式层次结构的层级对查询顺序不敏感：类的计算能力不依赖于对NP预言机的查询顺序。
• 尽管在层次结构层级上具有顺序无关性，但有序查询类在多项式层次结构不坍缩的前提下会形成新的、独立的类。
• 所有叶语言类均继承P的顺序无关性特征，表明这些结果具有广泛适用性。
• 新有序查询类的存在表明，查询顺序引入了标准层次结构未能捕捉的结构性复杂性。
• 结果表明，即使整体层次结构保持不变，查询顺序在复杂度理论中仍是一个有意义的参数。
• 本文建立：多项式层次结构不坍缩，当且仅当在每一层级均存在不同的有序查询类。