[論文レビュー] Generating irreducible triangulations of surfaces

T. Sulanke|ArXiv.org|Jun 27, 2006

Commutative Algebra and Its Applications参考文献 12被引用数 24

ひとこと要約

この論文は、より小さい三角形分割にハンドル、クロスキャップ、またはクロスハンドルを段階的に追加することで、オrientableおよび非オrientableな曲面のうち、種数4までのすべての非可約三角形分割を生成するアルゴリズムを提示する。この手法により、以前に未知であった数が得られた：二重トーラス $S_2$ に対して396,784、三つの射影平面の直和 $N_3$ に対して9,708、$N_4$ に対して6,297,982であり、複数の整合性チェックを通じて完全性が確認された。

ABSTRACT

Starting with the irreducible triangulations of a fixed surface and splitting vertices, all the triangulations of the surface up to a given number of vertices can be generated. The irreducible triangulations have previously been determined for the surfaces S_0, S_1, N_1,and N_2. An algorithm is presented for generating the irreducible triangulations of a fixed surface using triangulations of other surfaces. This algorithm has been implemented as a computer program which terminates for S_1, S_2, N_1, N_2, N_3, and N_4. Thus the complete sets irreducible triangulations are now also known for S_2, N_3, and N_4, with respective cardinalities 396784, 9708, and 6297982.

研究の動機と目的

• 球面、トーラス、クラインボトルを超えて、より高い種数の曲面における非可約三角形分割の既知の集合を拡張すること。
• 頂点分割や表面変更などの操作を用いて、固定された曲面のすべての非可約三角形分割を生成する有限かつ終了するアルゴリズムを開発すること。
• $S_2$、$N_3$、$N_4$ における非可約三角形分割の正確な数を計算すること、これらは以前に未知であった。
• ランダム生成や対角線反転に基づくバックトラッキングを含む、複数の独立した計算手法を用いて、生成された集合の完全性と正しさを検証すること。

提案手法

• アルゴリズムは、種数が低い曲面の既知の非可約三角形分割から出発し、表面変更操作（ハンドル、クロスハンドル、クロスキャップの追加）を適用することで非可約三角形分割を生成する。
• 頂点分割を用いて、非可約なものからすべての三角形分割を生成し、指定された頂点数以下のすべての可能な三角形分割をカバーする。
• この手法の鍵となる洞察は、球面でない表面のすべての非可約三角形分割が、表面変更操作によってより小さい三角形分割から生じることにある。
• コンピュータプログラムによりアルゴリズムが実装され、$S_1$、$S_2$、$N_1$、$N_2$、$N_3$、$N_4$ に対して終了し、非可約三角形分割の完全な集合が得られた。
• 複数の整合性チェックが実施された：ランダム生成、擬似最小三角形分割の再構築、対角線反転に基づくバックトラッキングによる結果の検証。
• 三角形分割はメモリに7 GBの制限内で保持され、19頂点までの既存データと照合され、正確性が確認された。

実験結果

リサーチクエスチョン

• RQ1 すべての非可約三角形分割が、表面変更と頂点分割を用いてより小さいものから生成可能か？
• RQ2 二重トーラス（$S_2$）、三つの射影平面の直和（$N_3$）、四つの射影平面の直和（$N_4$）における非可約三角形分割の正確な数は何か？
• RQ3 ランダムサンプリングや対角線反転に基づくバックトラッキングといった独立した計算手法を用いて、生成された集合の完全性を検証可能か？
• RQ4 すべての頂点数が $N(S)$ 以上である曲面 $S$ の三角形分割が、対角線反転によって同値となる最小の数 $N(S)$ は何か？

主な発見

• アルゴリズムは正常に終了し、$S_1$、$S_2$、$N_1$、$N_2$、$N_3$、$N_4$ におけるすべての非可約三角形分割を生成した。
• $S_2$ における非可約三角形分割の数は396,784、$N_3$ は9,708、$N_4$ は6,297,982であった。
• 対角線反転による曲面同値性の最小数は、$N(S_2) = 10$、$N(N_3) = 9$、$N(N_4) = 10$ として決定された。
• ランダム生成法により、$S_2$ および $N_3$ の非可約三角形分割の約97%が回復され、結果の完全性を支持する。
• 対角線反転によるバックトラッキングにより、$S_0$ では16頂点まで、$S_1$ では13頂点まで、$S_2$ では12頂点まで、$N_1$ では14頂点まで、$N_2$ では13頂点まで、$N_3$ では12頂点まで、$N_4$ では11頂点まで、既存データと一致した。
• 擬似最小三角形分割を用いた手法により、$S_2$ に対して $10^{13}$ 個を超える三角形分割、$N_3$ に対して $10^{12}$ 個を超える三角形分割が生成され、結果の自己整合性が示された。