[논문 리뷰] Query Order and the Polynomial Hierarchy

Edith Hemaspaandra, Lane A. Hemaspaandra외 1명|ArXiv.org|1999. 10. 01.

Advanced Algebra and Logic인용 수 3

한 줄 요약

이 논문은 다항계층 구조 내에서 NP 오рак불에 대한 질의 순서가 계산 능력에 미치는 영향을 조사한다. 다항계층의 수준들은 순서 무관성(즉, 질의 순서가 그 능력에 영향을 주지 않음)을 가지며, 이는 질의 순서가 그들의 능력을 변화시키지 않음을 의미하지만, 순서가 지정된 질의 클래스들은 다항계층이 붕괴하지 않는 한 새로운, 서로 다른 수준을 형성한다. 따라서 다항계층 내에 질의 순서에 민감한 새로운 구조가 존재함을 드러낸다.

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의 순서 무관성 성질을 상속하며, 이 결과의 광범위한 적용 가능성을 시사한다.
• 새로운 순서가 지정된 질의 클래스의 존재는 표준 계층이 포괄하지 못하는 질의 순서에 의한 구조적 복잡성이 존재함을 시사한다.
• 결과는 질의 순서가 다항계층이 그대로 유지되더라도 복잡도 이론에서 의미 있는 매개변수임을 시사한다.
• 논문은 다항계층이 붕괴하지 않는 것과 동시에 각 수준에서 서로 다른 순서가 지정된 질의 클래스가 존재함을 증명한다.