[論文レビュー] Reconfiguring Independent Sets in Cographs

Marthe Bonamy, Nicolás Bousquet|arXiv (Cornell University)|Jun 5, 2014

Advanced Graph Theory Research参考文献 9被引用数 12

ひとこと要約

本稿では、cograph $G$ におけるサイズが $k$ 以上の独立集合の再構成グラフが連結であるかどうかを特定するための立方時間アルゴリズムを提示する。このアルゴリズムは、cograph のコツリー分解と、最大独立集合の下向き計算に基づく。さらに、同じコンポonent内における二つの独立集合間の到達可能性を決定する線形時間アルゴリズムを提供する。両アルゴリズムとも構成的であり、コツリー構造上の安定探索操作に依存している。

ABSTRACT

Two independent sets of a graph are adjacent if they differ on exactly one vertex (i.e. we can transform one into the other by adding or deleting a vertex). Let $k$ be an integer. We consider the reconfiguration graph $TAR_k(G)$ on the set of independent sets of size at least $k$ in a graph $G$, with the above notion of adjacency. Here we provide a cubic-time algorithm to decide whether $TAR_k(G)$ is connected when $G$ is a cograph, thus solving an open question of~[Bonsma 2014]. As a by-product, we also describe a linear-time algorithm which decides whether two elements of $TAR_k(G)$ are in the same connected component.

研究の動機と目的

• cograph における独立集合の TAR-再構成グラフの連結性を決定する問題の計算量の解明という未解決問題を解決すること。
• サイズが $k$ 以上の二つの独立集合が $TAR_k(G)$ の同じ連結コンポーネントに属するかどうかをチェックする効率的なアルゴリズムを提供すること。
• 到達可能性を判断するだけでなく、有効な再構成シーケンスを出力する構成的アルゴリズムを設計すること。
• 従来の二次時間アルゴリズムを改善し、cograph における到達可能性の線形時間計算量を達成すること。

提案手法

• cograph $G$ のコツリー分解を構築する。これは線形時間で計算可能である。
• コツリーの下向き走査を実行し、各ノードに対してその部分木が誘導する部分グラフにおける最大独立集合のサイズを計算する。
• 各ジョインノードにおいて、より大きな最大独立集合を生成する部分木に基づいて「良い」側と「悪い」側を定義する。
• 安定探索手順を用いて、再構成経路をシミュレートする。具体的には、可能な場合に「悪い」側の頂点を「良い」側の頂点に貪欲に置き換える。
• 再構成処理中に、最大独立集合のサイズが小さい順に処理するよう、ジョインノードのリストを維持する。
• 現在の独立集合のサイズを追跡し、$k$ と比較することで、サイズ制約を破らない範囲での置換操作が許可されるかどうかを判断する。

実験結果

リサーチクエスチョン

• RQ1 cograph に対して、TAR-再構成グラフ $TAR_k(G)$ が連結かどうかを決定する多項式時間アルゴリズムは存在するか？
• RQ2 cograph 内でサイズが $k$ 以上の二つの独立集合の間の到達可能性問題は、線形時間で解けるか？
• RQ3 cograph が独立集合の効率的再構成を可能にする構造的性質は何か？
• RQ4 到達可能性を判断するだけでなく、有効な再構成シーケンスを出力する構成的アルゴリズムを設計できるか？
• RQ5 cograph のコツリー分解は、最大独立集合の効率的計算および再構成経路の探索をどのように支援するか？

主な発見

• 本稿では、cograph $G$ に対して $TAR_k(G)$ が連結かどうかを決定する立方時間アルゴリズムを提示し、Bonsma (2014) が提起した未解決問題を解決した。
• サイズが $k$ 以上の二つの独立集合が $TAR_k(G)$ の同じ連結コンポーネントに属するかどうかを判定する線形時間アルゴリズムを構築した。これは従来の二次時間アルゴリズムを改善した。
• アルゴリズムは構成的である。すなわち、二つの独立集合が同じコンポーネントに属する場合、それらの間の有効な再構成シーケンスを出力する。
• この手法はコツリー分解と、最大独立集合のサイズが小さい順に処理する安定探索戦略に依存しており、正しさと効率性を保証する。
• アルゴリズムの正しさは、二つの独立集合が安定探索において異なる「最高の」最大独立集合に到達する場合、$TAR_k(G)$ 内で接続可能でないという事実に基づいている。
• 最大独立集合の計算および到達可能性のチェックを含む、全体の処理は、効率的なデータ構造とコツリーの下向き処理のおかげで線形時間で実行可能である。