[論文レビュー] Peeling and Nibbling the Cactus: Subexponential-Time Algorithms for Counting Triangulations and Related Problems

Dániel Marx, Tillmann Miltzow|arXiv (Cornell University)|Mar 23, 2016

Computational Geometry and Mesh Generation参考文献 9被引用数 9

ひとこと要約

本稿では、平面点集合の三角形分割の個数を時間 $ n^{(11+o(1))\sqrt{n}} $ で数える、超指数的時間のアルゴリズムを提示している。これは以前の $ O(2^n n^2) $ の境界に対して顕著な改善である。主な革新点は、重複カウントを回避するためのネストされた層構造（'カチスグラフ'）を用いた正規化された分離子分解であり、これにより、さまざまな非交差グラフを $ n^{O(\sqrt{n})} $ 時間で数える一般化されたフレームワークを可能にしている。

ABSTRACT

Given a set of $n$ points $S$ in the plane, a triangulation $T$ of $S$ is a maximal set of non-crossing segments with endpoints in $S$. We present an algorithm that computes the number of triangulations on a given set of $n$ points in time $n^{(11+ o(1))\sqrt{n} }$, significantly improving the previous best running time of $O(2^n n^2)$ by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size $O(\sqrt{n})$ of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in $n^{O(\sqrt{n})}$ time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, $3$-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, $3$-regular graphs, and more.

研究の動機と目的

• 従来の指数的時間アプローチの制限を克服し、平面点集合の三角形分割をより高速に数えるアルゴリズムの開発。
• 分離子に基づくカウントにおいて重複カウントを解消するため、三角形分割における分離子の選択を正規化する手法の導入。
• 多様な非交差直線グラフ（例：ハミルトン閉路、マッチング、スパニングツリー）を、超指数的時間で数える一般化されたフレームワークの確立。
• 平面問題において一般的に見られる「平方根現象」が、三角形分割のようなカウント問題に対しても適用可能かどうかの探求。

提案手法

• 三角形分割のネストされた層構造に基づく正規化分離子システムを導入し、カチスグラフとしてモデル化することで、分離子を一意に特定し、重複カウントを回避する。
• 各層がカチスに類似た構造を持つエッジ集合を形成するように、三角形分割を「層」に段階的に分解する。
• 頂点およびエッジの彩色と幾何的制約を用いて、組合せ的性質を強制する、さまざまなグラフクラス（例：完全マッチング、ハミルトン閉路）の注釈システムを定義する。
• 平面三角形分割が $ O(\sqrt{n}) $ サイズのバランスの取れた分離子を持つことを利用し、正規化された選択を用いた再帰的分解により、部分問題総数の上限を定める。
• 構造的制約（例：マッチングでは次数1、閉路では次数2）を強制する注釈システムを組み合わせることで、複数のグラフタイプのカウントにフレームワークを適用する。
• 順序型と幾何的一意性を用いて、面および頂点間での注釈の一貫性を保ちながら、超指数的実行時間を維持する。

実験結果

リサーチクエスチョン

• RQ1 平面点集合の三角形分割の個数は、$ O(2^n n^2) $ の境界を上回る超指数的時間で計算可能か？
• RQ2 再帰的分解における重複カウントを回避するため、三角形分割において正規化された分離子選択機構を設計可能か？
• RQ3 平面グラフのどの構造的性質が、指数的個数の可能なグラフがある中でも、$ n^{O(\sqrt{n})} $ 時間でのカウントアルゴリズムを可能にするか？
• RQ4 非交差直線グラフのどのクラスが、統一された注釈ベースのフレームワークを用いて、効率的にカウント可能か？
• RQ5 3彩色可能グラフや直径制約付きグラフのような複雑な制約を持つグラフのカウントに、このフレームワークを拡張可能か？

主な発見

• 本稿では、三角形分割のカウントに $ n^{(11+o(1))\sqrt{n}} $ の実行時間を達成しており、以前の $ O(2^n n^2) $ の境界に対して顕著な改善がなされている。
• 段階的カチス分解に基づく正規化分離子システムにより、重複カウントを回避する正しいカウントが可能となり、分離子ベースのアルゴリズムにおける主要な障壁が解決された。
• 完全マッチング、ハミルトン閉路、スパニングツリー、四角形分割など、複数の非交差グラフクラスを $ n^{O(\sqrt{n})} $ 時間で数える一般化されたフレームワークが開発された。
• 頂点およびエッジの彩色と幾何的一致性を用いて、次数、連結性、面のサイズなどの組合せ的制約を強制する注釈システムに依存している。
• 幾何的詳細に強く依存せず、点集合の順序型にのみ依存しているが、注釈プロセスにおける一意な選択を保証するために幾何学的性質が使用されている。
• 3彩色性や直径制約のような制約は、現在のところ正確に扱えない。これは、エッジをまたがる一貫性のない構成を追跡する必要があるためである。