[論文レビュー] The Complexity of Bounded Length Graph Recoloring

Paul Bonsma, Amer E. Mouawad|arXiv (Cornell University)|Apr 1, 2014

Advanced Graph Theory Research参考文献 18被引用数 7

ひとこと要約

本稿は、1つのk彩色を、各ステップで1頂点の色を変更する再彩色手順を用いて、別のk彩色に変換する際の計算複雑性を調査する。各ステップで適切なk彩色を保つものとし、長さℓで制限される。k ≥ 4の場合、問題は強くNP困難であることが示され、k + ℓでパrameter化した場合、固定パrameter可 tractable（FPT）であることが証明され、fが計算可能であるようなO(f(k,ℓ)n^O(1))のアルゴリズムが提示され、再配置複雑性分野における重要な未解決問題が解決された。

ABSTRACT

We study the following question: Given are two $k$-colorings $α$ and $β$ of a graph $G$ on $n$ vertices, and integer $\ell$. The question is whether $α$ can be modified into $β$, by recoloring vertices one at a time, while maintaining a $k$-coloring throughout, and using at most $\ell$ such recoloring steps. This problem is weakly PSPACE-hard for every constant $k\ge 4$. We show that it is also strongly NP-hard for every constant $k\ge 4$. On the positive side, we give an $O(f(k,\ell) n^{O(1)})$ algorithm for the problem, for some computable function $f$. Hence the problem is fixed-parameter tractable when parameterized by $k+\ell$. Finally, we show that the problem is W[1]-hard (but in XP) when parameterized only by $\ell$.

研究の動機と目的

• 与えられたグラフの1つのk彩色を、高々ℓ回の再彩色ステップで別のk彩色に変換する際の計算複雑性を理解すること。
• 長さℓで制限されたk彩色再配置問題が、k + ℓでパラメータ化した場合に固定パラメータ可 tractable（FPT）であるかどうかを特定すること。
• k ≥ 4の場合に、PSPACE困難性と tractability の間の複雑性ギャップを解消すること。
• k + ℓパラメータ化の下で、効率的に問題を解く構成的アルゴリズムを提供すること。

提案手法

• 頂点の色集合を動的集合Bに探索する再帰的探索木アルゴリズムを提案し、許容される色の制約を維持する。
• A（処理対象の頂点）、B（色集合が固定された頂点）、および各v ∈ Bに対するL(v)の色リストで定義される状態を持つ再帰的手続きを用いる。
• 色の制約と妥当性条件に基づく剪定ルールを実装し、非妥当な分岐を回避する。
• 動的色集合伝播を適用：頂点vが再彩色されたとき、その新しい色集合Uを用いて次の再帰呼び出しの色リストL'を更新する。
• 再帰木の深さをℓ + 1で制限し、有限な探索空間を保証する。
• 時間計算量をO(2^{k(ℓ+1)} · ℓ^ℓ · poly(n))として解析し、k + ℓをパラメータとして固定パラメータ可 tractable（FPT）であることを示す。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 4の場合、長さℓの制限付きk彩色再配置問題は強くNP困難であるか？
• RQ2 ある計算可能関数fに対して、O(f(k,ℓ) · n^{O(1)})時間で解けるか。これにより、k + ℓでパラメータ化した場合に固定パラメータ可 tractable（FPT）であるか？
• RQ3 ℓのみでパラメータ化した場合、問題はW[1]-困難であるか。k + ℓでのFPTとは対照的である。
• RQ4 2つのk彩色の間に長さℓ以下の経路が存在することは、アルゴリズムの制約下で有効な再彩色列の存在を示唆するか？

主な発見

• 長さℓで制限されたk彩色再配置問題は、任意の定数k ≥ 4に対して強くNP困難である。
• k + ℓでパラメータ化した場合、問題は固定パラメータ可 tractable（FPT）であり、O(2^{k(ℓ+1)} · ℓ^ℓ · poly(n))時間で実行されるアルゴリズムが存在する。
• ℓのみでパラメータ化した場合、問題はW[1]-困難である。これは、ℓだけでは十分な tractability を得られないことを示している。
• アルゴリズムは、色集合の制約を伴う再帰的探索により、長さℓ以下の有効な再彩色列の存在を正しく決定する。
• 解空間は、B内の頂点に色集合の部分的割り当てに対応するノードを持つ探索木で探索され、妥当性に基づく剪定が行われる。
• アルゴリズムの正しさは帰納法により証明され、有効な再彩色列が存在するための必要十分条件として、アルゴリズムが'YES'を返すことが示された。