[論文レビュー] Chord Diagrams and Gauss Codes for Graphs

Thomas R. Fleming, Blake Mellor|ArXiv.org|Aug 15, 2005

Geometric and Algebraic Topology参考文献 17被引用数 5

ひとこと要約

本稿では、任意の平面的グラフに対する弦図とガウスコードを導入し、古典的な円に基づく弦図をより広範なグラフ埋め込みへ一般化する。与えられたガウスコードが平面への実現可能な埋め込みに対応するかどうかを特定するための多項式時間アルゴリズムを確立し、導出されたスプリットグラフの平面性とその埋め込みの弦図への拡張可能性を用いる。

ABSTRACT

Chord diagrams on circles and their intersection graphs (also known as circle graphs) have been intensively studied, and have many applications to the study of knots and knot invariants, among others. However, chord diagrams on more general graphs have not been studied, and are potentially equally valuable in the study of spatial graphs. We will define chord diagrams for planar embeddings of planar graphs and their intersection graphs, and prove some basic results. Then, as an application, we will introduce Gauss codes for immersions of graphs in the plane and give algorithms to determine whether a particular crossing sequence is realizable as the Gauss code of an immersed graph.

研究の動機と目的

• 空間的グラフ解析を支援するため、弦図とガウスコードの理論を円から任意の平面的グラフへ拡張すること。
• 与えられた交差列（ガウスコード）がグラフの平面的埋め込みとして実現可能かどうかを特定する問題に取り組むこと。
• グラフのスプリットと平面性テストを用いて、ガウスコードの実現可能性を体系的に検証する手法を開発すること。
• 有効なガウスコードから平面的埋め込みを復元する構成的アルゴリズムを提供し、位相的一致性を保証すること。

提案手法

• 頂点を除く辺上に2n個のラベル付き点を配置することで、グラフ上の弦図を定義し、各ラベルが正確に2回出現するようにして弦を形成する。
• ラベルのペア（例：$c_i$ と $\bar c_i$）を用いて向き付き弦図を導入し、辺の向きと交差の方向を符号化する。
• 経路に基づく重なりを用いて弦図の交差グラフを定義：2本の弦が、それらの端点を結ぶすべての経路が適切に交差する場合に交差する。
• 各交差点で頂点を複製することで、ガウスコード $S$ からスプリットグラフ $G^*$ を構築し、辺の向きを保持する。
• 深さ優先走査アルゴリズムを用いて、スプリットグラフ $G^*$ を平面に埋め込み、平面性と一貫した向きを保証する。
• 逆方向の拡張処理を適用して、弦図から元のグラフ埋め込みを再構築し、必要に応じて辺の向きを修正する。

実験結果

リサーチクエスチョン

• RQ1 弦図は円から任意の平面的グラフへ意味的に一般化可能か？ その交差構造はどのように定義されるか？
• RQ2 ガウスコードがグラフの平面的埋め込みとして実現可能であるために満たすべき条件は何か？
• RQ3 与えられた交差列が有効な空間的埋め込みに対応するかどうかを特定するアルゴリズム的手法は存在するか？
• RQ4 平面性や埋め込みの拡張可能性といったグラフ論的性質を用いて、ガウスコードの位相的一致性をどのように検証できるか？

主な発見

• 連結なグラフ $G$ に対するガウスコード $S$ が平面的埋め込みとして実現可能であるための必要十分条件は、関連するスプリットグラフ $G^*$ が平面的であり、かつその埋め込みが弦図に拡張可能であることである。
• 実現可能性を検証するアルゴリズムは多項式時間で実行可能であり、線形時間の平面性テストと埋め込み拡張性のチェックに依存する。
• スプリットグラフ $G^*$ の埋め込みは球面上のホメオモルフィズムの意味で一意的であり、再構築プロセスの整合性を保証する。
• 弦を交差に逆方向に展開するプロセスは、グラフの連結性を維持でき、中間のスプリットコードを比較することで向きの不一致を是正できる。
• 本手法は、オーバーランダーオンダーや符号付き交差情報を含む空間的グラフへも拡張可能であり、このようなガウスコードの検証を多項式時間で行える。