[論文レビュー] Approximation Schemes for Bounded Distance Problems on Fractionally Treewidth-Fragile Graphs

Zdenĕk Dvořák, A. Lahiri|arXiv (Cornell University)|Jan 1, 2021

Advanced Graph Theory Research参考文献 20被引用数 1

ひとこと要約

本稿では、分数木幅断片性グラフクラスにおける分数的木幅断片性と距離を保つ向き付けを活用し、有界距離制約を持つ単調最大化問題の多項式時間近似スキーム（PTAS）を提示する。この手法により、木分解と局所探索を用いた効率的な近似が可能となり、任意の固定された k に対して (1−1/k) の近似が多項式時間で達成される。

ABSTRACT

We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally treewidth-fragile graph classes, a property that is true for many natural graph classes with sublinear separators. We also provide quasipolynomial-time approximation schemes for these problems in all classes with sublinear separators.

研究の動機と目的

• 部分線形分離子を備えたグラフ上で、(≤r)-距離によって定義される単調問題の多項式時間近似スキーム（PTAS）を開発すること。
• 分数的木幅断片性を用いることで、平面的・マイナー閉じたグラフにとどまらず、より広範なクラスへPTASの適用範囲を拡張すること。
• 重みなし問題と重み付き問題の両方に対応する包括的なフレームワークを提供すること。具体的には、独立集合、誘導森、および (F,r)-マッチングを含む。
• 有界距離述語を含む解制限付きMSOLで表現可能な問題が、分数的木幅断片性クラスにおいて効率的に近似可能であることを確立すること。
• 従来の手法（例：局所探索（重みなしに限定）やベイカーのレイヤリング（すべての部分線形分離子クラスに適用可能ではない））の制限を克服すること。

提案手法

• 分数的木幅断片性を活用し、各頂点が少ない部分集合に属するように、X₁,…,Xₘ という頂点部分集合をサンプリングする。これによりスパースなカバーが保証される。
• 有向グラフ ⃗G を構築し、出次数が有界で、距離 r までを正確に保つようにする。このために、仲介拡張（fraternal augmentations）を用いる。
• 向き付けを用いて、有向グラフにおける距離 r 以内の頂点集合 D⃗G,r(Xᵢ) を定義する。これは Xᵢ から距離 r 以内に到達可能な頂点の集合を表す。
• 各 Xᵢ に対して、G−Xᵢ における最大重みの許容可能な部分集合を、木分解と (g,p)-tw- tractability を用いて計算する。
• 確率的議論により、少なくとも一つの Xᵢ に対して、最適解の重みの (1−1/k) 以内の解が得られることを示す。
• すべての m 個の候補の中から最良の解を組み合わせることで、任意の固定された k に対して (1−1/k)-近似が多項式時間で達成される。

実験結果

リサーチクエスチョン

• RQ1 分数的木幅断片性グラフクラスにおいて、(≤r)-距離によって定義される、c-近似単調的で、(g,p)-tw-tractable な問題に対して、PTASを設計可能か？
• RQ2 最大出次数が有界な距離を保つ向き付けが存在する場合、このようなクラスにおいて効率的な近似が可能か？
• RQ3 このアプローチを、すべての部分線形分離子クラスにおいて準多項式時間近似スキーム（quasipolynomial-time approximation schemes）に拡張可能か？
• RQ4 このフレームワークは、平面的・マイナー閉じた・幾何的グラフの既存のPTAS結果をどのように統合するか？
• RQ5 k とグラフパラメータの観点から、近似比と実行時間のトレードオフはどのようなものか？

主な発見

• 本稿では、分数的木幅断片性グラフクラスにおいて、(≤r)-距離によって定義される、c-近似単調的で、(g,p)-tw-tractable な問題に対して、PTASが確立された。
• 最大出次数 d′(r) = (r+1)^(r−1)·d(r−1) を満たす距離を保つ向き付けは、O(r²d′(r)|V(G)|) 時間で計算可能である。
• 任意の固定された k に対して、|V(G)| に関して多項式時間で (1−1/k)-近似が達成される。
• 本フレームワークは、最大 r-独立集合、最大重み誘導森、最大 (F,r)-マッチングといった問題に適用可能である。
• 本手法は、ベイカーのレイヤリングや双次元性の技術を一般化しており、マイナー閉じていないが部分線形分離子を備えたクラスを含む、より広範なクラスでも有効に機能する。
• 薄いオーバーレイ系の技術的複雑さを回避しつつ、広範な適用可能性を維持している。