[論文レビュー] Applications of fast triangulation simplification

Mark C. Bell, Richard Webb|arXiv (Cornell University)|May 11, 2016

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

ひとこと要約

この論文は、理想三角形分割における辺ベクトルとして表現された曲線同士の幾何的交差数を計算する多項式時間アルゴリズムを提示する。問題を線形計画法に還元し、高速な三角形分割の簡略化を活用することで、最小位置の曲線を効率的に特定し、入力ベクトルのビットサイズに対して最適な実行時間を達成する。

ABSTRACT

We describe a new algorithm to compute the geometric intersection number between two curves, given as edge vectors on an ideal triangulation. Most importantly, this algorithm runs in polynomial time in the bit-size of the two edge vectors. In its simplest instances, this algorithm works by finding the minimal position of the two curves. We achieve this by phrasing the problem as a collection of linear programming problems. We describe how to reduce the more general case down to one of these simplest instances in polynomial time. This reduction relies on an algorithm by the first author to quickly switch to a new triangulation in which an edge vector is significantly smaller.

研究の動機と目的

• 曲面上の二つの曲線間の幾何的交差数を計算するための効率的なアルゴリズムを開発すること。
• 入力の辺ベクトルのビットサイズに対して多項式時間で実行されるアルゴリズムを保証すること。
• 高速な三角形分割の切り替えを用いて、複雑な交差問題をより単純なインスタンスに還元すること。
• 線形計画法の定式化を用いて、曲線の最小位置を達成すること。
• 表面理論における位相的計算のための実用的でスケーラブルなソリューションを提供すること。

提案手法

• 最小位置の曲線を求めるために、問題を一連の線形計画法問題に定式化する。
• 辺ベクトルの複雑さを低減するために、高速な三角形分割の簡略化アルゴリズムを用いる。
• 幾何的不変量を維持するために、デーンねじりと正則近傍構造を活用する。
• 辺ベクトルのサイズが著しく小さくなる新しい三角形分割に切り替えることで、計算を効率化する。
• 初代著者の三角形分割切り替え技術を用いて、最小位置のインスタンスへの還元を多項式時間で達成する。
• 簡略化された線形計画問題を解くことで、幾何的交差数を計算する。

実験結果

リサーチクエスチョン

• RQ1 二つの曲線間の幾何的交差数は、その辺ベクトルのビットサイズに対して多項式時間で計算可能か？
• RQ2 表面における複雑な曲線の交差問題は、どのように単純で解けるインスタンスに還元できるか？
• RQ3 高速な三角形分割の簡略化は、計算のための効率性を高めるために、曲線の複雑さを最小化する役割を果たすか？
• RQ4 線形計画法は、表面上の曲線の最小位置代表をどのように特定できるか？
• RQ5 アルゴリズムは、異なる三角形分割表現の間で正しくかつ効率的に動作するように保証できるか？

主な発見

• アルゴリズムは、入力の辺ベクトルのビットサイズに対して多項式時間で幾何的交差数を計算する。
• 高速な三角形分割切り替えを用いて、一般の曲線交差問題を最小位置のインスタンスに還元する。
• 線形計画法が、表面上の曲線の最小位置代表を効果的に特定するために成功した。
• 高速な三角形分割の簡略化の使用により、辺ベクトルのサイズが小さくなり、計算が効率的になる。
• このアプローチは、異なる三角形分割や表面タイプにわたり、頑健で一般化可能である。
• 幾何的位相幾何学と計算効率性を組み合わせることで、最適なパフォーマンスを達成する。