[論文レビュー] New Branching Rules: Improvements on Independent Set and Vertex Cover in Sparse Graphs

Mingyu Xiao|ArXiv.org|Apr 17, 2009

Advanced Graph Theory Research参考文献 12被引用数 4

ひとこと要約

本稿では、最大次数3のグラフにおける最大独立集合および最小頂点被覆問題のための、より高速な指数時間アルゴリズムを提示する。新規の分岐規則として「ボトル」（2つの隣接頂点をもつ次数3頂点）と「4サイクル」（4頂点からなるサイクル）に対する分岐を導入し、解析を単純化することで、より速い実行時間を達成した。提案アルゴリズムは、最大独立集合に対して $O^{*}(1.0919^n)$、頂点被覆サイズ $k$ に対して $O^{*}(1.1923^k)$ の時間計算量を達成し、従来の境界を改善した。

ABSTRACT

We present an $O^*(1.0919^n)$-time algorithm for finding a maximum independent set in an $n$-vertex graph with degree bounded by 3, which improves the previously known algorithm of running time $O^*(1.0977^n)$ by Bourgeois, Escoffier and Paschos [IWPEC 2008]. We also present an $O^*(1.1923^k)$-time algorithm to decide if a graph with degree bounded by 3 has a vertex cover of size $k$, which improves the previously known algorithm of running time $O^*(1.1939^k)$ by Chen, Kanj and Xia [ISAAC 2003]. Two new branching techniques, \emph{branching on a bottle} and \emph{branching on a 4-cycle}, are introduced, which help us to design simple and fast algorithms for the maximum independent set and minimum vertex cover problems and avoid tedious branching rules.

研究の動機と目的

• 最大次数3のグラフにおける最大独立集合および最小頂点被覆問題の正確なアルゴリズムの最悪計算量を改善すること。
• 従来の複雑なケース別分岐規則を避けるために、新規の分岐技術を導入することで、アルゴリズム設計および解析を単純化すること。
• これらのNP困難問題の探索木の指数的成長率に対するより緊密な上界を達成すること。
• 2-3、3-3、3-4構造の折りたたみなどの構造的還元を、優位性規則および折りたたみ規則と組み合わせることで、問題サイズを縮小すること。

提案手法

• 探索木の構築を導くために、新規の2つの分岐規則を導入する：ボトル（2つの隣接頂点をもつ次数3頂点）に対する分岐と、4サイクル（4頂点からなるサイクル）に対する分岐。
• アルゴリズム解析のための測度として、次数3頂点の数を用いることで、より緊密な再帰関係と改善された実行時間境界を達成する。
• 最大独立集合のサイズを保存するように、特定の局所的構造（2-3、3-3、3-4）を単一の頂点や変更された部分グラフに置き換えることでグラフを簡略化するための折りたたみ規則を適用する。
• 閉近傍が他の頂点の近傍に完全に含まれる頂点を削除する優位性規則を用い、解に影響を与えることなく問題サイズを削減する。
• 測定と征服解析を構造的還元と組み合わせ、探索木サイズの上限を定める再帰関係を導出する。その再帰関係の最大固有値が実行時間の指数的係数を決定する。
• 再帰関係 $ C(r) \leq \sum_{i=1}^{l} C(r_i) $ を用い、指数的係数 $ \alpha $ は $ f(x) = 1 - \sum_{i=1}^{l} x^{r_i - r} $ の最大根として定まる。この式を用いて探索木サイズを上限付ける。

実験結果

リサーチクエスチョン

• RQ1 スパarsなグラフにおける独立集合および頂点被覆の正確なアルゴリズムの設計と解析を単純化するための、新規分岐規則は有効か？
• RQ2 2つの隣接頂点をもつ次数3頂点（ボトル）に対する分岐は、従来の頂点または辺に対する分岐よりも効率の良い探索木を生成できるか？
• RQ3 4サイクルに対する分岐は、再帰的分岐数を削減し、最悪計算量を改善できるか？
• RQ4 2-3、3-3、3-4構造の折りたたみなどの構造的還元と優位性規則を効果的に組み合わせることで、最適性を損なわずに問題を単純化できるか？
• RQ5 測定と征服法に構造的不変量を組み合わせた場合、最大次数3のグラフにおける最大独立集合の最良の指数的実行時間境界は何か？

主な発見

• 本稿では、最大次数3の $n$ 頂点グラフにおける最大独立集合を求める $ O^{*}(1.0919^n) $ 時間のアルゴリズムを達成した。これは、従来の最良の $ O^{*}(1.0977^n) $ よりも改善されたものである。
• 頂点被覆問題に関しては、最大次数3のグラフにサイズ $k$ の頂点被覆が存在するかを判定する $ O^{*}(1.1923^k) $ 時間のアルゴリズムを提示した。これは、従来の $ O^{*}(1.1939^k) $ よりも改善されたものである。
• ボトル分岐および4サイクル分岐の導入により、従来の複雑なケース別分岐規則を避けることができ、アルゴリズム設計がより単純化された。
• 2-3、3-3、3-4構造の折りたたみは、形式的に正当化され、最適解のサイズを保存したままグラフサイズを縮小するのに用いられ、より緊密な解析に貢献した。
• 次数3頂点の数を測度として用いることで、頂点数や辺数のみを用いる場合よりも、より洗練され効果的な解析が可能になった。
• 構造的洞察と新規分岐規則の組み合わせが、スパースグラフにおけるNP困難問題の正確なアルゴリズムの指数的係数を顕著に改善できることを示した。