[論文レビュー] Algorithmic Meta-Theorems for Monotone Submodular Maximization

Masakazu Ishihata, Takanori Maehara+1 more|arXiv (Cornell University)|Jul 12, 2018

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

ひとこと要約

本稿では、特定のグラフクラスにおける論理的制約のもとでの単調な部分加法的最大化問題に対して、アルゴリズム的メタ定理を提示する。論理に基づく分解と再帰的グリーディ戦略を用いることで、低次数のグラフではほぼ線形時間、有界拡張性を持つグラフではほぼ多項式時間の効率的近似アルゴリズムを達成する。

ABSTRACT

We consider a monotone submodular maximization problem whose constraint is described by a logic formula on a graph. Formally, we prove the following three `algorithmic metatheorems.' (1) If the constraint is specified by a monadic second-order logic on a graph of bounded treewidth, the problem is solved in $n^{O(1)}$ time with an approximation factor of $O(\log n)$. (2) If the constraint is specified by a first-order logic on a graph of low degree, the problem is solved in $O(n^{1 + ε})$ time for any $ε> 0$ with an approximation factor of $2$. (3) If the constraint is specified by a first-order logic on a graph of bounded expansion, the problem is solved in $n^{O(\log k)}$ time with an approximation factor of $O(\log k)$, where $k$ is the number of variables and $O(\cdot)$ suppresses only constants independent of $k$.

研究の動機と目的

• グラフ上の論理式による制約を受ける単調部分加法的最大化問題に対して、効率的な近似アルゴリズムを開発すること。
• このような問題の計算困難性に対処するため、木幅が有界、低次数、または有界拡張性を持つグラフクラスに制限すること。
• これらの構造的制約のもとで、近似因子が有界であることが保証された効率的アルゴリズムを確立すること。
• MSOおよびFO論理による論理的制約の指定を、部分加法的最適化とメタ理論的枠組みですべて統合すること。

提案手法

• 有界木幅のグラフにおいて、単調な第二階論理（MSO）論理を用いて頂点部分集合の制約を表現し、木分解上の動的計画法を可能にする。
• ガイフマンの局所性定理と「疑わしきを再帰的に探索する」戦略を適用し、低次数のグラフにおける第一階論理（FO）論理式を処理することで、時間計算量を準平方根時間未満に抑える。
• 有界拡張性を持つグラフにおけるFO論理式のカザナ＝セゴフィン標準形を用いて、相互作用が有界な局所的サブ問題に問題を分解する。
• 制約違反パターンから導かれる不適切な解を避けるために、可能な割り当てを探索する再帰的グリーディアルゴリズムを実装する。
• 禁止パターン内のエントリを予想することで、部分解の妥当性を回復する「疑わしきを再帰的に探索する」メカニズムを導入し、近似保証を確保する。
• 最適化の過程で論理式を効率的に評価するために、構造的分解可能な否定標準形（SDNNF）を活用する。

実験結果

リサーチクエスチョン

• RQ1 有界木幅のグラフにおいて、MSO制約のもとでの単調部分加法的最大化問題は、効率的に解けるか？
• RQ2 低次数のグラフにおいて、FO制約付き部分加法的最大化問題に対して、準平方時間近似アルゴリズムは存在するか？
• RQ3 有界拡張性を持つグラフにおいて、FO制約付き部分加法的最大化問題は、良い近似を得ながらほぼ多項式時間で解けるか？
• RQ4 FOまたはMSOによる論理的制約は、部分加法的最適化のための効率的近似アルゴリズムの設計にどのように活用できるか？
• RQ5 FO論理式内の変数の数をパラメータと見た場合、近似因子と実行時間のトレードオフはいかなるものか？

主な発見

• 有界木幅のグラフでは、MSO制約付き問題は $ n^{O(1)} $ 時間で解け、近似因子が $ O(/log n) $ である。
• 低次数のグラフでは、FO制約付き問題に対して任意の $ \rho > 0 $ に対して $ O(n^{1+\rho}) $ 時間のアルゴリズムが存在し、2-近似が達成される。
• 有界拡張性を持つグラフでは、FO制約付き問題は $ n^{O(\text{log}\thinspace k)} $ 時間で解け、近似因子が $ O(\text{log}\thinspace k) $ である。ここで $ k $ は自由変数の数である。
• 近似因子はグラフのサイズに依存せず、FO論理式内の変数の数にのみ依存する。
• 「疑わしきを再帰的に探索する」戦略は、FO論理式内の不等式制約を、禁止パターン内のエントリを予想することで効果的に処理し、正しさと有界な実行時間を保証する。
• 本研究の結果は、論理、グラフ構造、部分加法的最適化を統合する新しいクラスのアルゴリズム的メタ定理を確立する。