[論文レビュー] Baker game and polynomial-time approximation schemes

Zdenĕk Dvořák|arXiv (Cornell University)|Jan 7, 2019

Formal Methods in Verification被引用数 6

ひとこと要約

この論文は、Bakerの技法を繰り返し適用するための形式的枠組みとして、Bakerゲームを導入する。この技法は、層化、頂点削除、部分グラフ制限を組み合わせることで、グラフクラスにおける単調な第一階論理最適化問題に対する多項式時間近似スキーム（PTAS）を達成する。主な貢献は、最小構造定理に依存せずに、すべての適切なマイナー閉じたグラフクラスに対して、このようなPTASが存在することを示したことである。これは、これらのクラスが定数回のラウンドでBakerゲームに勝てることを示すことによって達成される。

ABSTRACT

Baker devised a technique to obtain approximation schemes for many optimization problems restricted to planar graphs; her technique was later extended to more general graph classes. In particular, using the Baker's technique and the minor structure theorem, Dawar et al. gave Polynomial-Time Approximation Schemes (PTAS) for all monotone optimization problems expressible in the first-order logic when restricted to a proper minor-closed class of graphs. We define a Baker game formalizing the notion of repeated application of Baker's technique interspersed with vertex removal, prove that monotone optimization problems expressible in the first-order logic admit PTAS when restricted to graph classes in which the Baker game can be won in a constant number of rounds, and prove without use of the minor structure theorem that all proper minor-closed classes of graphs have this property.

研究の動機と目的

• 平面グラフを超えるより広範なグラフクラスへ、近似スキームのためのBakerの技法を形式化・一般化すること。
• 適切なマイナー閉じたグラフクラスにおける単調な第一階論理最適化問題のPTASを証明する際に、マイナー構造定理に依存しないこと。
• すべての適切なマイナー閉じたグラフクラスにおいて、Bakerゲームが定数回のラウンドで勝てることを確立し、これによりPTASの構築が可能になること。
• 頂点削除と層選択を体系的に組み合わせることで、近似保証を維持するフレームワークを提供すること。
• この技法が第一階論理問題に限らず、最大c色可能部分グラフ問題など非FO問題に対しても、問題固有の適合によって適用可能であることを示すこと。

提案手法

• グラフ上で層化、頂点削除（Delete操作）、層制限（Restrict操作）を繰り返す再帰的プロセスとしてBakerゲームを定義する。
• 頂点を根からの距離で分割する距離に基づく層化を用い、連続する層に誘導される部分グラフの木幅を制限する。
• Bakerゲームが定数回のラウンドで勝てることを保証するグラフクラスとして「Bakerクラス」の概念を導入する。
• 各ラウンドで選択する層の数を増加（例：ℓが急速に増加するような列）させることで、反復処理における誤差蓄積を制御する。
• 確率的および極値的議論（例：区間の被覆Rの平均化）を用い、少なくとも1つの層の選択が最適解の定数倍を保持することを保証する。
• 一般の単調最適化問題を第一階論理の定式化に還元し、局所性および量子子消去技術を用いて近似比を維持する。

実験結果

リサーチクエスチョン

• RQ1 Bakerの技法を、頂点削除と層選択を繰り返すゲーム理論的枠組みとして形式化できるか？
• RQ2 適切なマイナー閉じたグラフクラスにおける単調な第一階論理最適化問題のPTASを、マイナー構造定理を用いずに確立できるか？
• RQ3 どのようなグラフクラスの構造的性質が、Bakerゲームが定数回のラウンドで勝てるかを保証するか？
• RQ4 この技法を、最大c色可能部分グラフ問題のような非第一階論理問題へどのように拡張できるか？
• RQ5 反復処理における誤差蓄積の影響は何か？また、各ラウンドごとの層数を可変化させることで、誤差蓄積をどのように緩和できるか？

主な発見

• すべての適切なマイナー閉じたグラフクラスにおいて、Bakerゲームは定数回のラウンドで勝てることを示し、これによりこれらのクラスにおけるすべての単調な第一階論理最適化問題にPTASが存在することが保証される。
• 証明はマイナー構造定理を回避しており、マイナー閉じたグラフクラスにおけるPTAS構築に対してより直接的かつモジュラーなアプローチを提供する。
• 任意の固定された ε > 0 に対して、層数の列 ℓ が十分に速く増加するように選べば、近似比が (1 - ε) 以上となるPTASを構築可能である。
• 最大c色可能部分グラフ問題のような非FO問題に対しても、問題定式化を拡張してリスト割り当てと頂点依存関係を追跡することで、この技法を適用可能である。
• 各ラウンドにおいて、少なくとも1つの層被覆Rの選択が、最適解の (1 - o(1)) 分の1を保持することが保証され、誤差は ε₁ と ε₂ で抑えられる。
• フレームワークは、頂点削除が含まれる場合でさえ、ラウンド数が増加し、層数が増加するにつれて総合的な近似比が1に収束することを保証する。