[論文レビュー] Independent Set Reconfiguration in Cographs

Paul Bonsma|arXiv (Cornell University)|Feb 7, 2014

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

ひとこと要約

本稿では、cographにおけるTAR-Reachability問題を解くO(n²)のアルゴリズムを提示し、サイズがk以上である2つの独立集合間の独立集合再配置が多項式時間で決定可能であることを証明する。主な結果は、cographにおけるTAR再配置グラフの成分の直径に対するきつい上界4n − 2kである。

ABSTRACT

We study the following independent set reconfiguration problem, called TAR-Reachability: given two independent sets $I$ and $J$ of a graph $G$, both of size at least $k$, is it possible to transform $I$ into $J$ by adding and removing vertices one-by-one, while maintaining an independent set of size at least $k$ throughout? This problem is known to be PSPACE-hard in general. For the case that $G$ is a cograph (i.e. $P_4$-free graph) on $n$ vertices, we show that it can be solved in time $O(n^2)$, and that the length of a shortest reconfiguration sequence from $I$ to $J$ is bounded by $4n-2k$, if such a sequence exists. More generally, we show that if $X$ is a graph class for which (i) TAR-Reachability can be solved efficiently, (ii) maximum independent sets can be computed efficiently, and which satisfies a certain additional property, then the problem can be solved efficiently for any graph that can be obtained from a collection of graphs in $X$ using disjoint union and complete join operations. Chordal graphs are given as an example of such a class $X$.

研究の動機と目的

• cographにおける独立集合のTAR-Reachabilityが多項式時間で解けるかどうかという未解決の問題を解消すること。
• cographにおけるTARモデル下での再配置列の長さに対するきつい上界を確立すること。
• 離分散和および完全結合演算に関して閉じたより広範なグラフクラスへのアルゴリズム的アプローチの一般化すること。
• cographの構造的性質を解明し、そのcotree分解に基づく効率的な動的計画法の適用を検討すること。
• cographにおける関連問題、たとえば長さ制限付き再配置および再配置グラフの連結性の複雑さを特定すること。

提案手法

• cographのcotree表現を活用し、木構造上で動的計画法（DP）アルゴリズムを設計する。
• 各部分木の根から出発する到達可能性および最大独立集合値を計算するために、下向きのDPフェーズを実行する。
• 到達可能性情報を伝搬し、ターゲット独立集合BがAから到達可能かどうかを検証するために、上向きのDPフェーズを適用する。
• cographが離分散和および完全結合演算に関して閉じているという性質を活用し、より広範なグラフクラスへの結果の拡張を図る。
• 探索空間を制限し正しさを保証するために、k-到達可能な頂点に誘導される部分グラフG'を用いる。
• 3つの列を組み合わせる：Aから最大独立集合A'への列、A'からB'への列、B'からBへの列。既知の列長に対する境界を用いる。

実験結果

リサーチクエスチョン

• RQ1 cographにおける独立集合のTAR-Reachabilityは多項式時間で解けるか？
• RQ2 cographにおける2つの独立集合間の再配置列の最大長さは何か？
• RQ3 離分散和および完全結合演算に関して閉じているグラフクラスでは、どのクラスが効率的なTAR-Reachabilityアルゴリズムを有するか？
• RQ4 cographにおける独立集合の再配置グラフは連結であるか。また、その判定は効率的に行えるか？
• RQ5 cographにおける2つの独立集合間で長さがℓ以下の再配置列を求める問題の複雑さは何か？

主な発見

• cographにおける独立集合のTAR-Reachability問題はO(n²)時間で解けることが示され、先行研究における未解決問題が解決された。
• n個の頂点を持つcograph GのTAR_k(G)再配置グラフの任意の連結成分の直径は、4n − 2k以下である。
• TJモデルにおいて、再配置グラフの成分の直径は2n − k以下である。
• 離分散和および完全結合演算に関して閉じた任意のグラフクラスに、このアルゴリズムを拡張可能である。ただし、基本となるグラフが効率的なTAR-Reachabilityおよび最大独立集合の到達可能性を満たす必要がある。
• 弦的グラフおよびクラウフフリーなグラフが、このような拡張可能なグラフクラスの例として特定された。
• 本稿では、長さ制限付き再配置およびTAR_k(G)グラフの連結性の複雑さが未解決のまま残っているが、動的計画法による多項式時間解法の存在が予想されている。