[論文レビュー] Optimal dynamic program for r-domination problems over tree decompositions

Glencora Borradaile, Hung Le|arXiv (Cornell University)|Feb 3, 2015

Advanced Graph Theory Research参考文献 16被引用数 5

ひとこと要約

この論文は、有界な幅の木分解をもつグラフにおけるr-支配問題に対して最適な動的計画法アルゴリズムを提示している。r-支配集合に対してはO((2r+1)^tw n)時間、連結r-支配集合に対してはO((2r+2)^tw n^O(1))時間である。これらの境界が強い指数時間仮説（SETH）のもとでタイトであることを証明しており、連結性の追加により指数的要因の基数が1増加するというパターンが、古典的な支配集合問題と同様に成り立つことを示している。

ABSTRACT

There has been recent progress in showing that the exponential dependence on treewidth in dynamic programming algorithms for solving NP-hard problems are optimal under the Strong Exponential Time Hypothesis (SETH). We extend this work to $r$-domination problems. In $r$-dominating set, one wished to find a minimum subset $S$ of vertices such that every vertex of $G$ is within $r$ hops of some vertex in $S$. In connected $r$-dominating set, one additionally requires that the set induces a connected subgraph of $G$. We give a $O((2r+1)^{\mathrm{tw}} n)$ time algorithm for $r$-dominating set and a $O((2r+2)^{\mathrm{tw}} n^{O(1)})$ time algorithm for connected $r$-dominating set in $n$-vertex graphs of treewidth $\mathrm{tw}$. We show that the running time dependence on $r$ and $\mathrm{tw}$ is the best possible under SETH. This adds to earlier observations that a "+1" in the denominator is required for connectivity constraints.

研究の動機と目的

• 有界幅のグラフにおけるr-支配問題の上界と下界のギャップを埋める。
• 標準的な支配集合問題からr-支配集合および連結r-支配集合へのSETHに基づく最適性フレームワークを拡張する。
• r-支配集合に対して(2r+1)、連結r-支配集合に対して(2r+2)という指数的要因がSETHのもとで最適であることを形式的に確立する。
• 先行研究で観察されたように、接続性制約が指数的項の基数を1増加させることを一般化する。

提案手法

• 各バッグ内の頂点のr被覆状態を追跡する動的計画法を、解集合内での最近接選択頂点までの距離を符号化する状態を用いて設計する。
• 連結r-支配集合に対しては、コンponents構造とパス強制パターンの状態追跡を用いて接続性を維持する確率的モンテカルロ手法を採用する。
• SATからr-支配問題への高レベルな還元を用いて下界を証明し、先行のSETHに基づく下界構築におけるギャジェットを一般化する。
• パス強制パターンP_r(m)を導入し、還元における論理的依存関係をシミュレートすることで、r-支配および接続性制約を満たすのは正しい解に限ることを保証する。
• 幅とパス幅の関係を活用して、パス幅から幅への境界の転送を行う。不等式bw ≤ tw + 1を用いる。
• 下界構築において混合探索戦略を適用し、動的計画法の状態を模倣する。探索者を状態構成を表すものとして使用する。

実験結果

リサーチクエスチョン

• RQ1 強力な指数時間仮説（SETH）のもとで、r-支配集合アルゴリズムにおける幅に依存する指数的依存は最適か？
• RQ2 r-支配集合に接続性制約を追加すると、古典的問題（例：連結支配集合）と同様に指数的要因の基数が一貫して1増加するか？
• RQ3 r-支配集合の上界O((2r+1)^tw n)は、SETHのもとで下界Ω^*((2r+1 - ε)^tw)と一致するか？
• RQ4 連結r-支配集合の基数(2r+2)は最適か、それとも改善可能か？
• RQ5 大きなr（例：r = n^c）に対して、現在のアルゴリズムは最適か、それともrに依存する部分を改善可能か？

主な発見

• r-支配集合に対してO((2r+1)^tw n)時間のアルゴリズムが提示され、既知の最良上界と一致し、SETHのもとで最適であることが証明された。
• 連結r-支配集合に対してO^*((2r+2)^tw)時間の確率的モンテカルロアルゴリズムが与えられ、SETHのもとで下界Ω^*((2r+2 - ε)^tw)と一致する。
• 本論文では、r-支配集合から連結r-支配集合に移行する際に指数的項の基数が1増加することを証明し、頂点被覆や支配集合の問題で観察されたパターンを確認した。
• 下界は、先行のSETHに基づく還元を一般化した新しいギャジェット構築により確立され、任意のε > 0に対して、r-支配集合を((2r+1 - ε)^tw)時間で解くことは不可能であることが示された。
• 連結r-支配集合に対しても同様の指数的基数の増加が確認され、r = n^o(1)の場合に下界が成り立つため、この領域では現在のアルゴリズムが最適であることが示された。
• LokshtanovらおよびCyganらの最適性フレームワークをr-支配問題に拡張し、このクラスの問題に対する包括的な図を完成させた。