[論文レビュー] Extremal Combinatorics, Iterated Pigeonhole Arguments and Generalizations of PPP

Amol Pasarkar, Mihalis Yannakakis+1 more|arXiv (Cornell University)|Sep 15, 2022

Computability, Logic, AI Algorithms被引用数 2

ひとこと要約

本稿では、極限的組合せ論における反復的ピーコンホールド原理に根ざした問題を捉える新しいTFNP複雑度クラスであるPLC（Polynomial Long Choice）を導入する。PLCがPPPを含み、ラマヌジャンの定理やサンフラワーレムマといった自然な問題を含むことを証明するとともに、Erdős–Ko–RadoとKönigの補題がPPP完全であることを示し、非効率的符号化を介してPPPを超えるターラン型問題の階層を確立する。

ABSTRACT

We study the complexity of computational problems arising from existence theorems in extremal combinatorics. For some of these problems, a solution is guaranteed to exist based on an iterated application of the Pigeonhole Principle. This results in the definition of a new complexity class within TFNP, which we call PLC (for "polynomial long choice"). PLC includes all of PPP, as well as numerous previously unclassified total problems, including search problems related to Ramsey's theorem, the Sunflower theorem, the Erdős-Ko-Rado lemma, and König's lemma. Whether the first two of these four problems are PLC-complete is an important open question which we pursue; in contrast, we show that the latter two are PPP-complete. Finally, we reframe PPP as an optimization problem, and define a hierarchy of such problems related to Turán's theorem.

研究の動機と目的

• 極限的組合せ論に由来する全探索問題の計算複雑度を形式化・分類すること、特に反復的ピーコンホールド論理に依存する問題に焦点を当てる。
• 戦略的かつ逐次的な文脈でピーコンホールド原理を繰り返し適用することで解が保証される問題を捉える新しい複雑度クラス、PLC（Polynomial Long Choice）を定義すること。
• PLCと既存のTFNP部分クラス（特にPPP）との関係を特定し、代表的な極限的組合せ論の定理（例：ラマヌジャン、サンフラワーレムマ）をこの枠組み内で分類すること。
• ターラン型問題や悪い彩色問題において、間接的または非効率的な符号化によって生じる計算の難易度を調査すること。
• Short Choiceなどの双対問題の構造を調査し、PEPPやTFΣ₂PといったTFNP階層の高次のレベルへの位置づけを明らかにすること。

提案手法

• Long Choice問題を2人ゲームとして定義：プレイヤー1がピーコンホールドの列を構築し、プレイヤー2が各ステップで残りのピーコンホールドを分割する。プレイヤー1が長さn+1の列を構築できれば勝利。
• プレイヤー2の分割意思決定を多項式時間アルゴリズムで行うことを前提に、Long Choiceに還元可能な全探索問題のクラスとしてPLCを形式化する。
• Long ChoiceがPPP-hardであることを証明し、PLC ⊇ PPPを確立。各反復段階で多数派推定と選択の両方を効率的に行う必要があることから、PLCはPPPを厳密に含むことを主張する。
• 既知の極限的組合せ論問題（ラマヌジャン、サンフラワーレムマ、Erdős–Ko–Rado、Königの補題）をLong ChoiceまたはPPPに還元し、それぞれPLCまたはPPPに属することを示す。
• ターランの定理に基づく問題とBad Coloringインスタンスに基づく問題の階層を構築。エッジ数やクリーク数が閾値を超える場合に、非効率的符号化に起因してPPP-hardであることを示す。
• プレイヤー1が早期終了を図る双対ゲームとしてShort Choice問題を導入。全問題であるが、NPに自明に属するとは限らず、PEPP-hardであることを証明し、TFΣ₂Pに属することを示す。

実験結果

リサーチクエスチョン

• RQ1 ラマヌジャンの定理が保証する単色クリークの探索問題は、PLC完全か？
• RQ2 サンフラワーレムマおよびErdős–Ko–Rado問題はPLC完全か、それともPPPに厳密に含まれるのか？
• RQ3 ターランの定理により保証される(k+1)-クリークの探索問題の計算複雑度は何か？これはPPPとどのように関係するか？
• RQ4 ブラックボックスまたは相対化構成を用いて、PLCとPPPを分離可能か？
• RQ5 非効率的符号化が計算の難易度を生じさせる役割は何か？Bad ColoringやBad k-set Coloringといった問題にどのように現れるか？

主な発見

• Long Choice問題はPPP-hardであることが証明され、PLC ⊇ PPPが確立された。PPPは反復的文脈における多数派推定と選択の両方を効率的に処理できないため、PLCはPPPを厳密に含む。
• ラマヌジャンの定理およびサンフラワーレムマはPLCに由来する問題を生じさせるが、そのPLC完全性は未解決のまま。
• Erdős–Ko–RadoレームマおよびKönigの補題はPPP完全であることが示され、これらは古典的PPPフレームワーク内に位置することが判明した。
• ターランの定理に基づく問題の階層が定義され、エッジ集合および彩色制約の間接的・非効率的符号化に起因して、各問題がPPP-hardであることが示された。
• Bad Coloring問題はピーコンホールド原理に基づくが、有効なホール（すなわち合法なエッジ）の集合が暗黙的に定義されているため、利用可能なホール数を計算するか、インデックスを効率的にマッピングするのが困難であり、PPPに属さない。
• 双対問題であるShort Choiceは全問題であるが、自明にNPに属するとは限らない。PEPP-hardであることが証明され、TFΣ₂Pに属することが示された。これはTFNP階層の新たな部分クラスの存在を示唆している。