[論文レビュー] A Proof Checking View of Parameterized Complexity

Luke Mathieson|arXiv (Cornell University)|Jun 12, 2012

Complexity and Algorithms in Graphs参考文献 29被引用数 3

ひとこと要約

本稿は、W[1]、W[2]、M[1]、およびA階層などのパラメータ付き複雑度クラスにPCP定理を拡張することで、パラメータ化された証明検証フレームワークを提案する。このフレームワークでは、パラメータkと入力サイズnに依存するクエリおよびランダムネスの複雑度を持つ確率的検証者が、証明の多対数的ビットのみを読み取る。これにより、パラメータ付き複雑度における新たな近似不可能性の結果が得られる。

ABSTRACT

The PCP Theorem is one of the most stunning results in computational complexity theory, a culmination of a series of results regarding proof checking it exposes some deep structure of computational problems. As a surprising side-effect, it also gives strong non-approximability results. In this paper we initiate the study of proof checking within the scope of Parameterized Complexity. In particular we adapt and extend the PCP[n log log n, n log log n] result of Feige et al. to several parameterized classes, and discuss some corollaries.

研究の動機と目的

• 古典的複雑度におけるPCP定理に類似した、パラメータ付き複雑度のための証明検証的視点を構築すること。
• W[1]、W[2]、M[1]、およびA階層などのパラメータ付きクラスにPCPフレームワークを拡張し、証明への限られたアクセスをもって解の検証を確率的に行えるようにすること。
• クエリおよびランダムネス複雑度がパラメータkと入力サイズnに依存するこれらのクラスのp-PCP特徴付けを確立すること。
• これらの結果がパラメータ付き近似不可能性および近似理論に与える影響を調査すること。
• 将来の研究の基盤を築くこととして、よりタイトなp-PCP構成およびPSPACE関連のパラメータ付きクラスへの拡張を検討すること。

提案手法

• パラメータ付きのクエリおよびランダムネス複雑度を導入することで、PCP[O(log n), O(1)]フレームワークをパラメータ付きクラスに適応する。
• パラメータ化された論理式における変数集合の真理値割り当てを検証する確率的検証者を構築し、真理値割り当てを符号化する証明文字列を用いる。
• W[1]およびW[2]のインスタンスを、交互の数が有界な重み付き充足可能性問題（WSAT）に還元し、その後PCP風の検証プロトコルを適用する。
• パラメータ付きクラスをモデル化するために、命題論理式の再帰的構造（Γt,dおよびΔt,d）を用い、多変数線形性テストおよび低次元検証技術を適用する。
• パラメータ付き問題からWSAT(Γ⁻₁,₂)およびAWSAT(Γ⁻₁,2)への還元を適用し、パラメータ依存のクエリおよびランダムネス複雑度を持つp-PCPの境界を導出する。
• 真理値割り当ての体に基づく符号化を採用し、偶数番目および奇数番目の変数集合の構造を活用してレイヤー化された検証をシミュレートする。

実験結果

リサーチクエスチョン

• RQ1 PCP定理は、W[1] や W[2] などのパラメータ付き複雑度クラスに意味的に拡張可能だろうか？
• RQ2 W[1]-完全問題の証明を検証するための確率的検証者が必要な最小のクエリおよびランダムネス複雑度は何か？
• RQ3 PCPフレームワークは、A階層およびAW[*]における問題のパラメータ付き構造を扱うようにどのように適応可能だろうか？
• RQ4 得られたp-PCP特徴付けは、パラメータ付き複雑度における新たな近似不可能性の結果を導出できるだろうか？
• RQ5 このフレームワークを、交互の数が無限大または高階の量化子を含むクラスに拡張する際の限界は何か？

主な発見

• 本稿では、fおよびgがパラメータkの計算可能関数であるとき、W[1] ⊆ p-PCP[O(f(k)n^{g(k)}·log n·log log n), O(f(k)n^{g(k)}·log n·log log n)] が確立された。
• W[2]に対しても同様のp-PCP特徴付けが得られ、同じクエリおよびランダムネス複雑度を有するため、このフレームワークがW[1]を越えて一般化可能であることが示された。
• A[l] は、f(k)、g(k)、および入力サイズに依存する複雑度を持つp-PCPに属することが示され、l=1 のときW[1]のケースに帰着する。
• AW[*] は、f(k)n^{g(k)·⌊l/2⌋}·log(f(k)n^{O(1)})·log log(f(k)n^{O(1)})) の複雑度を持つp-PCPに含まれる。これは偶数番目の変数集合の数を反映している。
• 誤差確率が1/2以下であるように、構成は正しく保たれ、検証者はf(k)·|x|^{O(1)}時間で実行される。
• 結果から、W[1]のタイトなp-PCPがW[t]（すべてのtについて）に一般化可能であり、tが複雑度記述において中心的役割を果たす可能性が示唆された。