[論文レビュー] A LOCAL View of the Polynomial Hierarchy

Fabian Reiter, Oshman, Rotem|arXiv (Cornell University)|May 16, 2023

Computability, Logic, AI Algorithms被引用数 1

ひとこと要約

この論文は、通信ラウンド数と局所的計算が制限されたネットワークにおけるノードが協力的にグラフ性質を決定するLOCALモデルにおいて、多項式階層の分散一般化を導入する。2人のプレイヤー間の証明書の交互提示をモデル化することで、証明可能に無限であることが示された階層を確立し、古典的知見よりも強い分離結果を提供する。同時に、有界量化子論理による論理的特徴付けと、量化子の交互の回数に基づく新しい局所性の測度を提供する。

ABSTRACT

The field of distributed local decision studies the power of local network algorithms, where each network can see only its own local neighborhood, and must act based on this restricted information. Traditionally, the nodes of the network are assumed to have unbounded local computation power, and this makes the model incomparable with centralized notions of efficiency, namely, the classes 𝖯 and NP. In this work we seek to bridge this gap by studying local algorithms where the nodes are required to be computationally efficient: we introduce the classes PLD and NPLD of polynomial-time local decision and non-deterministic polynomial-time local decision, respectively, and compare them to the centralized complexity classes 𝖯 and NP, and to the distributed classes LD and NLD, which correspond to local deterministic and non-deterministic decision, respectively. We show that for deterministic algorithms, requiring both computational and distributed efficiency is likely to be more restrictive than either requirement alone: if the nodes do not know the network size, then PLD ⊊ LD ∩ 𝖯 holds unconditionally; if the network size is known to all nodes, then the same separation holds under a widely believed complexity assumption (UP ∩ coUP ≠ 𝖯). However, when nondeterminism is introduced, this distinction vanishes, and NPLD = NLD ∩ NP. To complete the picture, we extend the classes PLD and NPLD into a hierarchy akin to the centralized polynomial hierarchy, and we characterize its connections to the centralized polynomial hierarchy and to the distributed local decision hierarchy of Balliu, D'Angelo, Fraigniaud, and Olivetti.

研究の動機と目的

• 古典的計算複雑性理論—特に多項式階層—を、LOCALモデルにおける分散計算の文脈に拡張すること。
• 2人のプレイヤー間の証明書の交互提示を用いて、分散意思決定問題の局所性を定量化する形式的枠組みを構築すること。
• 提案された分散階層が無限であることを示し、これは古典的単一マシン設定では未解決の問題である。
• 有界量化子論理を用いた分散複雑性クラスの論理的特徴付けを提供し、Faginの定理を分散システムへ一般化すること。
• 量化子の交互の回数を、分散計算における局所性の新たな形式的測度として提案し、グラフ性質の分類に新たなツールを提供すること。

提案手法

• 証明書の交互提示を模倣する2人プレイヤーのゲームとして分散意思決定をモデル化し、多項式階層における交互の性質を再現する。
• 通信ラウンド数と局所的計算ステップが制限されたもとで、証明書割り当ての交互回数（ℓ）に基づき、複雑性クラスΣlbℓとΠlbℓを定義する。
• ノードの近傍に制限された有界量化子を用いた論理を導入し、分散意思決定問題を表現する。これは存在的第二階論理を一般化する。
• Cook–LevinとFaginの定理に類似した完全性結果を証明し、分散SATと存在的論理がそれぞれNPとΣlb₁を完全に表現することを示す。
• 「図」（グリッド構造）を用いた新規構成とグラフへの還元を用いて、階層の無限性を証明する。
• 局所的に有界な階層と、局所的に検証可能な証明（LCP）の階層との対応関係を確立し、特定の性質（例：素数個のノード、非3彩色可能性）の分類における違いを強調する。

実験結果

リサーチクエスチョン

• RQ1 2人プレイヤーによる証明書割り当てモデルを用いて、古典的多項式階層を分散設定に自然に拡張できるか？
• RQ2 得られる分散階層は無限であるか？ もしそうならば、これは古典的設定よりも強い分離結果を示唆するか？
• RQ3 有界量化子論理を用いて階層を論理的に特徴付けられるか？ これはFaginの定理を分散システムへ一般化するものか？
• RQ4 このモデルにおける量化子の交互の回数は、グラフ性質の局所性を意味的に測るのに適切な測度となるか？
• RQ5 この階層と既存の測度（例：局所的に検証可能な証明（LCP）階層）との違いは何か？ それらは局所性の本質について何を明らかにするか？

主な発見

• 提案された分散多項式階層{Σlbℓ, Πlbℓ}ℓ∈Nは、証明可能に無限である。これは、古典的多項式階層における無限性の未解決問題よりも強い分離結果を提供する。
• 階層は古典的結果を一般化する：Cook–Levinの定理とFaginの定理は分散設定へ拡張され、分散SATと存在的第二階論理はそれぞれNPとΣlb₁を完全に表現する。
• 有界量化子論理における量化子の交互の回数は、情報交換の深さに相当する、新たな形式的局所性測度を提供する。
• 階層はLCP階層よりも厳密に洗練されている：例えば、「ノード数が素数」という性質は、局所的に有界な階層では本質的にグローバルであるが、LCP階層では中程度のグローバル性にとどまる。
• 非3彩色可能性は、局所的に有界な階層では最大3回の交互を要することが示され、一方LCP階層ではほぼ最大のグローバル性である。これは、異なる形式的枠組みが局所性をどのように捉えるかに根本的な差異があることを示している。
• 無限性の証明は、「図」（グリッド構造）の新規構成とそれらをグラフに還元する手法に依拠しており、階層の各レベルが直前のレベルよりも厳密に高い表現力を持つことを示している。