[論文レビュー] Token Sliding on Split Graphs

Rémy Belmonte, Eun Jung Kim+4 more|arXiv (Cornell University)|Jan 1, 2019

Advanced Graph Theory Research被引用数 5

ひとこと要約

この論文は、スライス・トークン規則における独立集合再配置のPSPACE完全性を、分割グラフ上で確立し、再配置計算複雑性分野における未解決問題を解決した。さらに、弦的グラフ上で任意の固定された c ≥ 1 に対して c-可染色再配置は PSPACE完全であるが、分割グラフ上では n^O(c) の多項式時間アルゴリズムが存在する（c = 1 を除く）。これは、この規則における分割グラフ上での一意的な二分岐を示している。

ABSTRACT

We consider the complexity of the Independent Set Reconfiguration problem under the Token Sliding rule. In this problem we are given two independent sets of a graph and are asked if we can transform one to the other by repeatedly exchanging a vertex that is currently in the set with one of its neighbors, while maintaining the set independent. Our main result is to show that this problem is PSPACE-complete on split graphs (and hence also on chordal graphs), thus resolving an open problem in this area. We then go on to consider the c-Colorable Reconfiguration problem under the same rule, where the constraint is now to maintain the set c-colorable at all times. As one may expect, a simple modification of our reduction shows that this more general problem is PSPACE-complete for all fixed c >= 1 on chordal graphs. Somewhat surprisingly, we show that the same cannot be said for split graphs: we give a polynomial time (n^{O(c)}) algorithm for all fixed values of c, except c=1, for which the problem is PSPACE-complete. We complement our algorithm with a lower bound showing that c-Colorable Reconfiguration is W[2]-hard on split graphs parameterized by c and the length of the solution, as well as a tight ETH-based lower bound for both parameters.

研究の動機と目的

• 弦的グラフおよび分割グラフ上でのスライス・トークン規則における独立集合再配置の計算複雑性に関する未解決問題を解明すること。
• 固定された c ≥ 1 に対して、分割グラフ上での c-可染色再配置のパラメータ化された複雑性を調査すること。
• 分割グラフ上での独立集合再配置の難易度が、同じ規則下でより高い c に対しても拡張されるかどうかを特定すること。
• パラメータ c および解の長さ ℓ にパラメータ化した c-可染色再配置のタイトな下界を確立すること。
• 特にアルゴリズム的 tractability の観点から、分割グラフ上でのスライス・トークン規則と他の再配置規則との間の構造的差異を調査すること。

提案手法

• 分割グラフ上での独立集合再配置の PSPACE 完全性を示すために、再配置支配集合問題の変種への還元を実施した。
• 入力グラフ G から分割グラフ G′ を構築し、G におけるサイズ k の支配集合が G′ におけるサイズ (n+k) の k-可染色集合に対応するようにした。
• G における有効な TJ 移動と G′ における有効な TS 移動の間に一対一対応を確立し、妥当性と解の長さを保持した。
• この還元を変更して、任意の固定された c ≥ 1 に対して、弦的グラフ上での c-可染色再配置が PSPACE 完全であることを示した。
• c ≥ 2 に対して、分割グラフ上での c-可染色再配置の n^O(c) 動的計画法アルゴリズムを設計した（c = 1 を除く）。
• 支配集合再配置問題への還元により、W[2]-hard であることと ETH に基づく下界を証明し、ETH の下で o(n^{c+ℓ}) のアルゴリズムは存在しないことを示した。

実験結果

リサーチクエスチョン

• RQ1 スライス・トークン規則下での分割グラフ上での独立集合再配置は PSPACE 完全か？
• RQ2 弦的グラフ上での c-可染色再配置の PSPACE 完全性は、c = 1 からより高い固定値 c に対しても拡張可能か？
• RQ3 c = 1 の場合に PSPACE 完全であるにもかかわらず、c ≥ 2 の固定値に対して分割グラフ上での c-可染色再配置が多項式時間で解けるか？
• RQ4 パラメータ c および解の長さ ℓ にパラメータ化した場合、分割グラフ上での c-可染色再配置のパラメータ化された複雑性は何か？
• RQ5 分割グラフ上では、スライス・トークン規則と他の再配置規則との間に、根本的な複雑性の違いが存在するか？

主な発見

• スライス・トークン規則下での分割グラフ上での独立集合再配置は PSPACE 完全であり、分野における未解決問題を解決した。
• 同様に、この問題は弦的グラフおよび偶数長の穴を持たないグラフ上でも PSPACE 完全のままである。分割グラフはこれらのクラスの部分クラスであるため、その性質が保たれている。
• 任意の固定された c ≥ 1 に対して、弦的グラフ上でのスライス・トークン規則下の c-可染色再配置は PSPACE 完全である。
• 分割グラフ上では、c ≥ 2 に対して c-可染色再配置は n^O(c) のアルゴリズムを有するが、c = 1 の場合には PSPACE 完全のままである。
• 分割グラフ上では、すべての三つの規則（TAR, TJ, TS）において、パラメータ c および解の長さ ℓ にパラメータ化した場合、c-可染色再配置は W[2]-hard である。
• 指数時間仮説（ETH）の下では、分割グラフ上での c-可染色再配置に対して o(n^{c+ℓ}) のアルゴリズムは存在せず、これは n^O(c) のアルゴリズムの上界と一致する。