[論文レビュー] New Hardness Results in Rainbow Connectivity

Prabhanjan Ananth, Meghana Nasre|arXiv (Cornell University)|Apr 11, 2011

Graph theory and applications参考文献 7被引用数 19

ひとこと要約

この論文は、すべての $k \geq 3$ に対して、$rc(G) \leq k$ であるかどうかを決定することは NP 困難であることを証明し、長年の予想を解決した。さらに、二部グラフに対しても、強彩色連結数 $src(G) \leq k$ であるかどうかを決定することは NP 困難であることを示し、頂点彩色問題からの還元と、経路制約をエッジ彩色下でも保つように設計された特殊なグラフガジェットを用いて証明した。

ABSTRACT

A path in an edge colored graph is said to be a rainbow path if no two edges on the path have the same color. An edge colored graph is (strongly) rainbow connected if there exists a (geodesic) rainbow path between every pair of vertices. The (strong) rainbow connectivity of a graph $G$, denoted by ($src(G)$, respectively) $rc(G)$ is the smallest number of colors required to edge color the graph such that the graph is (strong) rainbow connected. It is known that for \emph{even} $k$ to decide whether the rainbow connectivity of a graph is at most $k$ or not is NP-hard. It was conjectured that for all $k$, to decide whether $rc(G) \leq k$ is NP-hard. In this paper we prove this conjecture. We also show that it is NP-hard to decide whether $src(G) \leq k$ or not even when $G$ is a bipartite graph.

研究の動機と目的

• すべての $k \geq 3$ に対して、$rc(G) \leq k$ であるかどうかを決定することは NP 困難であるという予想を解決すること。
• 強彩色連結数 $src(G)$ について、特に二部グラフに対しての困難性を拡張すること。
• $k$-頂点彩色問題から部分彩色連結問題への多項式時間還元を確立すること。
• エッジ彩色下でも測地的彩色経路制約を保つように設計されたグラフガジェットを構築すること。
• 彩色連結および強彩色連結問題の計算的非効率性が、これまでに知られていた場合を越えて成立することを示すこと。

提案手法

• 中心頂点と元の頂点に対応する葉を持つスターベースの構成を用いて、$k$-頂点彩色問題を $k$-部分集合強彩色連結問題に還元する。
• $k$ 層からなる階層的グラフ $H_k$ を構築し、各層に基本頂点を表す頂点を含め、彩色経路制約を強制するようにエッジを彩色する。
• 元のグラフ $G$ と同型な基本グラフ $G_k$ を、より大きなグラフ $G'$ 内に埋め込み、エッジ関係を保つ。
• ハイブリッドエッジ彩色方式を採用：内部経路には $H_k$ の色を、基本エッジには元のグラフの色を使用し、経路の整合性を保証する。
• 帰納的議論と経路分解を用いて、任意の短い彩色経路が必ず基本グラフ $G_k$ 内に存在することを証明する。
• エッジが $H_k$ からのものである経路は長さが少なくとも $k$ 必要であり、長さ $\leq k$ の経路の要件と矛盾することを活用する。

実験結果

リサーチクエスチョン

• RQ1 すべての $k \geq 3$ に対して、$rc(G) \leq k$ であるかどうかを決定することは NP 困難か？
• RQ2 $G$ が二部グラフであっても、強彩色連結数 $src(G) \leq k$ であるかどうかを決定することは NP 困難か？
• RQ3 部分彩色連結問題を用いて、頂点彩色問題から彩色連結の困難性を示す還元が可能か？
• RQ4 階層的構造を持つグラフ構成は、エッジ彩色下でも必要な彩色経路制約を保つことができるか？
• RQ5 彩色されたグラフにおいて、2頂点間の長さ $\leq k$ の経路が、基本グラフ内にのみ存在するための条件は何か？

主な発見

• すべての $k \geq 3$ に対して、$rc(G) \leq k$ であるかどうかを決定することは NP 困難であり、この問題がすべての $k \geq 3$ で困難であるという予想が裏付けられた。
• $src(G) \leq k$ であるかどうかを決定することは、$G$ が二部グラフであっても NP 困難であることが示され、困難性が制限付きグラフクラスへ拡張された。
• $k$-部分集合強彩色連結問題は NP 困難であることが証明され、$k$-頂点彩色問題からの還元によって示された。
• 構築されたグラフ $G'$ において、2つの基本頂点間の長さが $k$ 以下の彩色経路は、すべて基本グラフ $G_k$ 内に存在しなければならない。これは $H_k$ 内の経路の長さ制約による。
• 構築されたグラフ $G'$ では、$G$ が $k$-エッジ彩色によって $k$-部分集合彩色連結になるならば、$G'$ も $k$-エッジ彩色によって $k$-彩色連結になることが保証される。
• 還元は指定された頂点対間の彩色経路の存在を保ち、構築されたインスタンスにおいて部分集合と完全な彩色連結問題の間の同値性を確立した。