[論文レビュー] Minimum Eccentricity Shortest Path Problem with Respect to Structural Parameters

Martin Kučera, Ondřej Suchý|arXiv (Cornell University)|Aug 18, 2020

Data Management and Algorithms参考文献 20被引用数 1

ひとこと要約

本稿では、モジュラ幅、クラスターグラフへの距離、木幅と中心性の組み合わせ、最大葉数、および非連結パスへの距離といった構造的パラメータでパラメータ化された、最小中心性最短路（MESP）問題の固定パラメータ tractable（FPT）アルゴリズムを提示する。モノディック第二階論理（MSOL）と動的計画法を用いてFPT実行時間を達成し、構造的グラフにおけるMESPのパラメータ化計算複雑性に関する未解決問題を解消する。

ABSTRACT

The Minimum Eccentricity Shortest Path Problem consists in finding a shortest path with minimum eccentricity in a given undirected graph. The problem is known to be NP-complete and W[2]-hard with respect to the desired eccentricity. We present fpt-algorithms for the problem parameterized by the modular width, distance to cluster graph, the combination of treewidth with the desired eccentricity, and maximum leaf number.

研究の動機と目的

• 構造的グラフにおける最小中心性最短路（MESP）問題のパラメータ化計算複雑性を解明すること。
• 特に木や距離遺伝的グラフなどの特殊グラフクラスにおいて既知の多項式時間解法を、より広範なパラメータ化設定に拡張すること。
• 木幅や非連結パスへの距離といった構造的パラメータに関して、MESPが固定パラメータ tractable（FPT）であるかどうかという未解決問題を解消すること。
• モジュラ幅が有界なグラフ、最大葉数、その他のパラメータにおいてMESPの効率的アルゴリズムを提供すること。
• ネットワーク設計、計算生物学、グラフ埋め込みなどの実用的応用の理論的基盤を確立すること。

提案手法

• MESP問題を、経路の端点と中心性をパラメータとするモノディック第二階論理（MSOL）式として定式化する。
• MSOLを用いて、重要な制約を表現する：経路の連結性（内部頂点の次数2、端点の次数1）、および中心性 ≤ k。
• Courcelleの定理を適用して、木幅が有界なグラフやその他の構造的パラメータを持つグラフに対してFPTアルゴリズムを導出する。
• 最大葉数 ℓ を活用し、グラフの分割による性質を用いて最短経路の数を制限する（≤ 2^{4ℓ} n² 通り）。
• 動的計画法と距離行列の事前計算を用いて、すべての最短経路を O(16^ℓ · n³) 時間で列挙・評価する。
• 木分解上での動的計画法を用い、木幅 t と中心性 k を組み合わせたアプローチにより、O(f(t, O(k)) · n³) 時間で実行する。

実験結果

リサーチクエスチョン

• RQ1 MESPはモジュラ幅に関して固定パラメータ tractable（FPT）であるか？
• RQ2 MESPはクラスターグラフへの距離に関して効率的に解けるか？
• RQ3 木幅と所望の中心性 k を組み合わせることでFPTアルゴリズムが得られるか？
• RQ4 最大葉数に関して問題はFPTであるか？
• RQ5 非連結パスへの距離のみをパラメータとして用いた場合、問題はFPT時間で解けるか？

主な発見

• MESP問題はモジュラ幅、クラスターグラフへの距離、最大葉数に関してFPTである。
• 木幅 t と中心性 k をパラメータとするMESPのFPTアルゴリズムは、O(f(t, O(k)) · n³) 時間で実行可能である。
• 最大葉数 ℓ を持つグラフでは、最短経路を最大 2^{4ℓ} · n² 通り列挙することで、O(16^ℓ · n³) 時間で問題を解ける。
• 非連結パスへの距離と中心性 k を組み合わせたパラメータ化において、問題はFPTである。
• 長さ O(k) のMSOL式を用いることで、中心性制約を効率的に符号化でき、Courcelleの定理を介してFPTアルゴリズムが得られる。
• 本研究の結果により、以前のXPおよび多項式時間アルゴリズムがFPTの枠組みへ拡張され、特定の可解なグラフクラスに関する未解決問題が解消された。