[論文レビュー] Parameterized Complexity of Geodetic Set

Leon Kellerhals, Tomohiro Koana|arXiv (Cornell University)|Jan 1, 2020

Advanced Graph Theory Research被引用数 5

ひとこと要約

この論文は、NP困難なGeodetic Set問題のパラメータ化計算複雑性の研究を開始し、フィードバック頂点数、幅、解のサイズを組み合わせたパラメータ化においてW[1]-困難であることを証明するが、新しいILPおよびMSO1論理アプローチを用いて、フィードバックエッジ数、木深さ、モジュラ幅に関しては固定パラメータ可 tractable（FPT）なアルゴリズムを開発する。主な貢献は、木幅を超える構造的パラメータにおけるGeodetic Setの最初のFPT結果の確立である。

ABSTRACT

A vertex set S of a graph G is geodetic if every vertex of G lies on a shortest path between two vertices in S. Given a graph G and k ∈ ℕ, the NP-hard Geodetic Set problem asks whether there is a geodetic set of size at most k. Complementing various works on Geodetic Set restricted to special graph classes, we initiate a parameterized complexity study of Geodetic Set and show, on the negative side, that Geodetic Set is W[1]-hard when parameterized by feedback vertex number, path-width, and solution size, combined. On the positive side, we develop fixed-parameter algorithms with respect to the feedback edge number, the tree-depth, and the modular-width of the input graph.

研究の動機と目的

• 木に近い性質を測る構造的グラフパラメータに関して、Geodetic Setのパラメータ化計算複雑性を調査すること。
• 特に系列並列グラフに対して、木幅が有界なグラフにおけるGeodetic Setの複雑性の理解のギャップを埋めること。
• フィードバックエッジ数、木深さ、モジュラ幅といった新しいパラメータに関して、固定パラメータ可 tractable（FPT）なアルゴリズムを開発すること。
• MSO1論理とILPの表現力が、有界直径および有界クライーク幅制約下でのGeodetic Setの解法にどのように寄与するかを調査すること。

提案手法

• W[1]-困難なグリッドタイリング問題からのパラメータ化還元を用いて、フィードバック頂点数、幅、解のサイズを組み合わせたパラメータ化におけるW[1]-困難性を証明した。
• フィードバックエッジ数に対して、変数数が有界である整数線形計画法（ILP）を適用する前に、多項式時間のデータ削減ルールと分岐手順を設計した。
• Geodetic Set問題を、グラフの直径に依存する関数で上界が与えられる長さのMSO1論理式として表現した。
• Courcelleの定理を活用して、クライーク幅＋直径に関して固定パラメータ可 tractable（FPT）を導出し、既知のパラメータ階層を用いて木深さおよびモジュラ幅へ拡張した。
• 2^O(fen(G))個のILPインスタンスを構築する画期的なアプローチを採用した。各インスタンスはO(fen(G)^2)個の2値変数とO(fen(G))個の非2値変数をもち、O*(2^O(fen(G)^2))時間で解ける。
• 次数2の頂点からなるパス上に存在する解の頂点数が定数で有界であることを証明し、これによりフィードバックエッジ数アルゴリズムにおける効率的な分岐が可能になった。

実験結果

リサーチクエスチョン

• RQ1 Geodetic Setは、フィードバック頂点数、幅、解のサイズを同時にパラメータ化した場合、W[1]-困難であるか？
• RQ2 Geodetic Setは、フィードバックエッジ数に関して固定パラメータ時間で解けるか？
• RQ3 Geodetic Setは、木深さおよびモジュラ幅に関して固定パラメータ可 tractable（FPT）であるか？
• RQ4 Geodetic Setは、直径に依存する関数で上界が与えられる長さのMSO1論理式として表現可能か？
• RQ5 変数数が有界であるILPの使用は、フィードバックエッジ数の下でGeodetic Setに対して実用的または理論的に効率的なアルゴリズムをもたらすか？

主な発見

• Geodetic Setは、フィードバック頂点数、幅、解のサイズを組み合わせたパラメータ化においてW[1]-困難であるが、木では自明に解ける。
• フィードバックエッジ数に関して、O*(2^O(fen(G)^2))の実行時間で解ける、画期的なILPベースのアプローチを用いた固定パラメータ可 tractable（FPT）なアルゴリズムが得られた。
• クライーク幅＋直径に関して、直径に依存する長さのMSO1論理式を用いて、固定パラメータ可 tractable（FPT）であることが示された。
• この結果は、木深さおよびモジュラ幅に対しても拡張可能であり、両者がクライーク幅と直径の関数で上界を持つことから成立する。
• Geodetic Setの文脈で、変数数が有界であるILPの使用が初めて実証された。これは画期的なアルゴリズム的技術の確立である。
• 任意の次数2の頂点からなるパス上に存在する解の頂点数が定数で有界であることが証明され、これによりフィードバックエッジ数アルゴリズムにおける効果的な分岐が可能になった。