[論文レビュー] Algorithms for Sampling 3-Orientations of Planar Triangulations

Sarah Miracle, Dana Randall+2 more|arXiv (Cornell University)|Feb 22, 2012

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

ひとこと要約

本稿は、平面三角形分割の3方向付きをサンプリングするための2つのマーカフ連鎖—三角形反転とエッジフリッピング—を分析する。エッジフリッピング連鎖は、すべての内部頂点数nの平面三角形分割に対して急速に混合することを証明しているが、三角形反転連鎖は最大内部次数が6以下である場合にのみ急速に混合し、高次な三角形分割では遅くなる可能性がある。

ABSTRACT

Given a planar triangulation, a 3-orientation is an orientation of the internal edges so all internal vertices have out-degree three. Each 3-orientation gives rise to a unique edge coloring known as a Schnyder wood that has proven powerful for various computing and combinatorics applications. We consider natural Markov chains for sampling uniformly from the set of 3-orientations. First, we study a "triangle-reversing" chain on the space of 3-orientations of a fixed triangulation that reverses the orientation of the edges around a triangle in each move. It was shown previously that this chain connects the state space and we show that (i) when restricted to planar triangulations of maximum degree six, the Markov chain is rapidly mixing, and (ii) there exists a triangulation with high degree on which this Markov chain mixes slowly. Next, we consider an "edge-flipping" chain on the larger state space consisting of 3-orientations of all planar triangulations on a fixed number of vertices. It was also shown previously that this chain connects the state space and we prove that the chain is always rapidly mixing. The triangle-reversing and edge-flipping Markov chains both arise in the context of sampling other combinatorial structures, such as Eulerian orientations and triangulations of planar point sets, so our results here may shed light on the mixing rate of these related chains as well.

研究の動機と目的

• 平面三角形分割における3方向付きのサンプリングのためのマーカフ連鎖の混合時間の分析。
• FelsnerとZickfeldが提起した、3方向付きの効率的サンプリングに関する未解決問題の解決。
• 自然な局所的移動（三角形反転とエッジフリッピング）が、どのような条件下で急速に混合する連鎖をもたらすかを特定すること。
• マーカフ連鎖モンテカルロ法を用いた3方向付きのサンプリングにおける収束速度の理論的境界を確立すること。
• オイラー方向付きや三角形分割などの関連組合せ構造における混合速度の理解を拡張すること。

提案手法

• 頂点の出次数を保つように、有向三角形の周囲のエッジ向きを反転する三角形反転マーカフ連鎖を提案する。
• すべてのn頂点を持つ平面三角形分割に対して作用するエッジフリッピングマーカフ連鎖を導入し、異なる三角形分割間の遷移を許容する。
• エッジフリッピング連鎖の混合時間の境界を求めるために、標準路解析を用い、多項式時間の実行保証を確立する。
• 三角形反転連鎖とサイクル反転連鎖の間の比較技術を適用し、混合時間の境界を導出する。
• 遷移路を段階（例：赤/緑エッジの交換）に分解することで、各エッジを含む標準路の数の上界を求める。
• 3方向付きと二部グラフにおける完全マッチングとの既知の双対性を活用し、サンプリングの複雑さにインスピレーションをもたらす。

実験結果

リサーチクエスチョン

• RQ1 固定された平面三角形分割の3方向付きをサンプリングする三角形反転マーカフ連鎖が、どのような条件下で急速に混合するか？
• RQ2 内部頂点数nのすべての平面三角形分割をサンプリングする際、エッジフリッピングマーカフ連鎖は急速に混合するか？
• RQ3 最大内部次数Δ ≤ 6 である三角形分割に対して、三角形反転連鎖の混合時間は有界にできるか？
• RQ4 最大次数が有界でない場合、三角形反転連鎖の混合時間は指数的時間になるか？
• RQ5 標準路法は、より大きな状態空間におけるエッジフリッピング連鎖の混合時間の境界を効果的に適用できるか？

主な発見

• エッジフリッピングマーカフ連鎖は、内部頂点数nのすべての平面三角形分割の和集合に対して、混合時間O(n^10 log(n/ε))で急速に混合する。
• 最大内部次数が6以下の三角形分割に対して、三角形反転連鎖は混合時間O(n^5 log(ε⁻¹))で急速に混合する。
• 最大内部次数が6を超える三角形分割では、三角形反転連鎖は混合が遅く、指数的時間を要する可能性がある。
• 標準路解析により、エッジフリッピング連鎖で任意のエッジを含む標準路は高々O(n^4)個であることが示された。
• エッジフリッピング連鎖の混合時間の境界は、ルートの分解、ルート長、定常分布の境界の組み合わせによって導出された。
• これらの結果は、エッジフリッピング連鎖が、固定サイズのすべての平面三角形分割における3方向付きの効率的サンプリングアルゴリズムを提供することを示唆している。