[論文レビュー] Computational topology of graphs on surfaces

Éric Colin de Verdière|arXiv (Cornell University)|Feb 17, 2017

Advanced Graph Theory Research参考文献 134被引用数 16

ひとこと要約

この論文は、曲面上に埋め込まれたグラフにおける計算トポロジーの包括的サーベイを提供し、曲線ホモトピー、最短サイクル、曲面上の最適化といったトポロジー問題に対する効率的なアルゴリズムに焦点を当てる。曲線のコン pact で効率的な保存・操作を可能にするノーマル曲線表現を導入し、交差数の計算や同相分類といった主要な問題に対する多項式時間解法を実現する。応用分野には幾何処理、VLSI設計、曲面上のグラフアルゴリズムが含まれる。

ABSTRACT

Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn on surfaces. Typical questions include representing surfaces and graphs embedded on them computationally, deciding whether a graph embeds on a surface, solving computational problems related to homotopy, optimizing curves and graphs on surfaces, and solving standard graph algorithm problems more efficiently in the case of surface-embedded graphs.

研究の動機と目的

• 高次元では決定不能である問題が曲面では解けるという事実を踏まえ、曲面固有の計算トポロジー問題について体系的な概説を提供すること。
• ホモトピー、最短サイクル、埋め込みグラフ上の曲線最適化といった基本的なアルゴリズム的課題に取り組むこと。
• 特にトライアングルレーションされた曲面上の曲線のための効率的表現（特にノーマル曲線）を構築・分析し、コンパクトな保存と高速計算を可能にすること。
• 組合せ的・幾何的技法を用いて、トポロジー的不変量（例：交差数、同相類）とアルゴリズム的手順との間の関係を確立すること。
• グラフアルゴリズム、計算幾何学、トポロジーの結果を統合的にサーベイし、コンピュータサイエンスおよび数学における実用的・理論的意義に焦点を当てる。

提案手法

• 多角形スキーマとトライアングレーションを用いて、離散的構造を介したアルゴリズム的取り扱いが可能な曲面の組合せ的表現を行う。
• ノーマル曲線表現を採用：トライアングレーションの各三角形に対して、辺のペア間を結ぶノーマルアークの数を表す3つの整数を格納し、互いに交わらない単純閉曲線のコンパクトな符号化を可能にする。
• ストレートラインプログラム技法を用いてノーマル曲線座標を表現・圧縮し、指数的長さの入力に対しても効率的な計算を可能にする。
• 代数的・幾何的交差数といったトポロジー的不変量を活用し、組合せ的アルゴリズムによって曲線の同相性や交差性を決定する。
• 複雑なトポロジー的意思決定問題（例：同相性、交差性）を、ノーマル座標における線形代数および組合せ最適化に還元する。
• 計算幾何学、グラフ理論、3次元トポロジー（ノーマルサーフェスへの類似を介して）の結果を統合し、曲面上のアルゴリズム的アプローチを統一する。

実験結果

リサーチクエスチョン

• RQ1 高次元では決定不能であるが、曲面上に埋め込まれたグラフにおけるどのトポロジー的問題が多項式時間で解けるか？
• RQ2 特に大規模または複雑な配置を扱う際、曲面上の曲線をどのようにコンパクトに表現し、効率的に操作できるか？
• RQ3 2つの曲線がホモトピーによって非交差にできるかどうか、あるいは同相であるかどうかを決定する計算量はどの程度か？
• RQ4 組合せ的表現を用いて、2つの曲線の幾何的または代数的交差数を効率的に計算できるか？
• RQ5 一般のグラフと比較して、グラフが固定された曲面上に埋め込まれている場合に生じるアルゴリズム的利点は何か？

主な発見

• 曲面上のグラフにおける最短ホモトピー的サイクルを計算することは多項式時間で可能であるが、特定の頂点を通過させると問題はNP困難になる。
• 最短分離サイクルを計算することはNP困難であるため、特定のトポロジー的最適化タスクに内在する複雑さが示された。
• 境界を持つ平面的曲面上の2曲線がホモトピーによって非交差にできるかどうかを決定する多項式時間アルゴリズムが存在し、これは組合せ的特徴付けに基づく。
• ノーマル曲線表現により、ナイーブ表現のΘ(n + X)ビットからO(n log(X/n))ビットに保存領域を削減でき、有利な状況では指数的圧縮が可能になる。
• 2つのノーマル曲線の代数的・幾何的交差数は、それらのノーマル座標ベクトルを用いて多項式時間で計算可能である。
• ノーマル曲線はその重複度とノーマル座標に基づいて同相類に分割可能であり、連結成分の数も効率的に数え上げられる。