[論文レビュー] Efficient c-planarity testing algebraically

Radoslav Fulek, Jan Kynčl+2 more|arXiv (Cornell University)|May 20, 2013

Computational Geometry and Mesh Generation被引用数 4

ひとこと要約

本稿は、2つの不交差クラスタを有するクラスタードグラフへの強いハナニ-トゥッテ定理の一般化を提示し、3つの不交差クラスタへの拡張が不可能であることを証明する。また、小規模な面を有する埋め込みフラットクラスタードグラフにおけるc-平面性の効率的テストのため、マトロイドインターセクションを用いた新しい簡潔な証明も提示する。

ABSTRACT

Abstract. We generalize the strong Hanani-Tutte theorem to clustered graphs with two disjoint clusters, and show that an extension of our result to flat clustered graphs with three disjoint clusters is not possible. We also give a new and short proof for a result by Di Battista and Frati about efficient c-planarity testing of an embedded flat clustered graph with small faces based on the matroid intersection algorithm.

研究の動機と目的

• 2つの不交差クラスタを有するクラスタードグラフへの強いハナニ-トゥッテ定理の拡張。
• 3つの不交差クラスタを有するフラットクラスタードグラフへのこの結果の拡張が不可能であることを示すこと。
• 小規模な面を有する埋め込みフラットクラスタードグラフにおけるc-平面性テストのための新しい、簡潔な証明の提供。
• アルゴリズム的効率を高めるために、c-平面性とマトロイドインターセクションの間の関係の確立。

提案手法

• 代数的技術を用いて、2つの不交差クラスタを有するクラスタードグラフへの強いハナニ-トゥッテ定理の一般化。
• 位相的議論を用いて、3つの不交差クラスタへの拡張が失敗することを示す。
• 埋め込みフラットクラスタードグラフにおけるc-平面性テストを、小規模な面を有する場合に効率的に実行するため、マトロイドインターセクションアルゴリズムを適用。
• c-平面性テストをマトロイドインターセクション問題に還元するための新規な代数的定式化を用いる。
• 埋め込みクラスタードグラフにおける小規模な面の構造に基づいた短い証明を提供。
• 既知のマトロイド理論の結果を活用して、アルゴリズムの多項式時間計算量を保証。

実験結果

リサーチクエスチョン

• RQ1 強いハナニ-トゥッテ定理は、2つの不交差クラスタを有するクラスタードグラフに拡張可能か？
• RQ2 強いハナニ-トゥッテの結果は、3つの不交差クラスタを有するフラットクラスタードグラフに拡張可能か？
• RQ3 小規模な面を有する埋め込みフラットクラスタードグラフにおけるc-平面性テストは、マトロイドインターセクションを用いて効率的に解けるか？
• RQ4 強いハナニ-トゥッテアプローチを2つ以上のクラスタを有するクラスタードグラフに適用する理論的限界は何か？

主な発見

• 強いハナニ-トゥッテ定理は、2つの不交差クラスタを有するクラスタードグラフに成功裏に一般化可能である。
• この結果を3つの不交差クラスタを有するフラットクラスタードグラフに拡張することは不可能である。
• 小規模な面を有する埋め込みフラットクラスタードグラフにおけるc-平面性テストの効率性を示す新しい短い証明が提示された。
• 証明はマトロイドインターセクションアルゴリズムに依存しており、多項式時間解法を確立している。
• 特定の構造的制約下での効率的c-平面性テストの理論的妥当性が確認された。
• 本稿は、クラスタードグラフ設定における強いハナニ-トゥッテアプローチの適用可能性の明確な境界を確立した。