[論文レビュー] Simultaneous Interval Graphs

Krishnam Raju Jampani, Anna Lubiw|arXiv (Cornell University)|Sep 17, 2010

Advanced Graph Theory Research参考文献 13被引用数 4

ひとこと要約

本稿では、共通の頂点集合を持つ2つの区間グラフが共有頂点上で一致する区間表現を持つ必要があるという条件の下、$O(n^2 \log n)$のアルゴリズムを提示する。この手法は、PQ-木の簡約と、2つのグラフから導かれるPQ-木間の整合性チェックを用い、最大クリーク構造とノード順序制約を活用して、同時表現可能性を保証する。

ABSTRACT

In a recent paper, we introduced the simultaneous representation problem (defined for any graph class C) and studied the problem for chordal, comparability and permutation graphs. For interval graphs, the problem is defined as follows. Two interval graphs G_1 and G_2, sharing some vertices I (and the corresponding induced edges), are said to be `simultaneous interval graphs' if there exist interval representations R_1 and R_2 of G_1 and G_2, such that any vertex of I is mapped to the same interval in both R_1 and R_2. Equivalently, G_1 and G_2 are simultaneous interval graphs if there exist edges E' between G_1-I and G_2-I such that G_1 \cup G_2 \cup E' is an interval graph. Simultaneous representation problems are related to simultaneous planar embeddings, and have applications in any situation where it is desirable to consistently represent two related graphs, for example: interval graphs capturing overlaps of DNA fragments of two similar organisms; or graphs connected in time, where one is an updated version of the other. In this paper we give an O(n^2*logn) time algorithm for recognizing simultaneous interval graphs,where n = |G_1 \cup G_2|. This result complements the polynomial time algorithms for recognizing probe interval graphs and provides an efficient algorithm for the interval graph sandwich problem for the special case where the set of optional edges induce a complete bipartite graph.

研究の動機と目的

• 共通の頂点集合を持つ2つの区間グラフが、その共有頂点上で一貫した区間表現を持つようにする、同時表現問題を解くこと。
• オプションエッジがグラフの非共有部分間で完全二部グラフを形成する場合の、区間グラフサンドイッチ問題に対して効率的なアルゴリズムを提供すること。
• 既存の弦的、比較可能、順列グラフに対する同時グラフ表現の枠組みを、区間グラフへと拡張すること。
• 非プローブ頂点集合が完全二部グラフを形成する場合に、プローブグラフ認識を特別なケースとして扱うことで、一般化すること。

提案手法

• 入力された2つの区間グラフのPQ-木を、共有頂点集合$I$に対応するノードに限定して簡約し、非最大クリークを表現するPQ-木を得る。
• 未マッチな必須ノードと最大クリークの子孫、およびユニバーサル集合を比較することで、再帰的なマッチング戦略を用いてPQ-木を一致させる。
• 最大クリークの子孫（$MMD$）とユニバーサル集合（$U$）の交差に基づく簡約テンプレートを用い、木の再順序付けを誘導し、整合性を保証する。
• PQ-木の性質と区間表現の公理から導かれる構造的制約を用いて、2つの木間の部分クリークのマージ可能性をチェックする。
• 各反復で、深さが最大、ユニバーサル集合が最大、$MMD$子孫が最少であるノードを優先することで、$O(n)$時間でノード選択とマッチングを実行する。
• 均等分析により、合計の簡約回数が$O(n \log n)$であることが示され、各簡約ステップが$O(n)$時間で実行されるため、全体の実行時間は$O(n^2 \log n)$となる。

実験結果

リサーチクエスチョン

• RQ1 同時区間グラフ認識問題は多項式時間で解けるか？ もしそうなら、最適な時間計算量は何か？
• RQ2 2つの区間グラフの共有頂点制約の下で、PQ-木が非最大クリークを表現するためにどのように適合できるか？
• RQ3 共通の頂点集合を持つ2つの区間グラフが一貫した区間表現を持つために満たすべき構造的条件は何か？
• RQ4 同時表現問題が、オプションエッジ集合が完全二部グラフであるグラフサンドイッチ問題の特別なケースに等価であるか？
• RQ5 プローブ区間グラフ認識に用いられる手法を、1つのグラフではなく2つのグラフに一般化できるか？

主な発見

• 本稿では、$n = |G_1 \cup G_2|$である$O(n^2 \log n)$のアルゴリズムを提示し、同時区間グラフの認識を実現する。
• アルゴリズムは各PQ-木を共有頂点集合$I$に簡約することで、非最大クリーク構造間の整合性チェックを可能にする。
• $MMD$（最大クリークの子孫）と$U$（ユニバーサル集合）に基づく、ケース別簡約戦略をPQ-木ノードに適用し、各ケースに対応するテンプレートを用いる。
• PQ-木の簡約回数は$O(n \log n)$で抑えられ、各簡約ステップは$O(n)$時間で実行され、全体の時間計算量が導かれる。
• 空間計算量は$O(n + m)$であり、各ノードが$U(y)$と$|MMD(y)|$を明示的に格納するため、内部ノードの数はリーフ数で上限が定まる。
• アルゴリズムはプローブ区間グラフ認識問題を一般化し、完全二部グラフのオプションエッジ集合を持つ場合の区間グラフサンドイッチ問題に対しても効率的な解法を提供する。