[論文レビュー] Quadrilateral Meshing by Circle Packing

Marshall Bern, David Eppstein|ArXiv.org|Aug 19, 1999

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

ひとこと要約

本稿では、保証された線形複雑性（O(n) 要素）と複数の品質基準を満たす四角形メッシュを生成する円パッキングに基づく手法を提示する。要素はボロノイ型、直角、キーティング型、または最大角度が120°未満であることが保証される。この手法は、円パッキングを用いてメッシュの頂点と辺を定義し、擬等角的な幾何制約を通じて、効率性と幾何的制御を両立する。

ABSTRACT

We use circle-packing methods to generate quadrilateral meshes for polygonal domains, with guaranteed bounds both on the quality and the number of elements. We show that these methods can generate meshes of several types: (1) the elements form the cells of a Voronoi diagram, (2) all elements have two opposite right angles, (3) all elements are kites, or (4) all angles are at most 120 degrees. In each case the total number of elements is O(n), where n is the number of input vertices.

研究の動機と目的

• 多角形領域に対して、要素形状と要素数の保証された境界を満たす高品質で線形複雑性の四角形メッシュを生成する課題に対処する。
• 厳しい品質制約を課した場合に、劣悪な品質のメッシュを生成するか、超線形複雑性を要する既存手法の限界を克服する。
• 直角、キーティング型、または最大角度の境界といった品質指標を、線形サイズのメッシュと同時に達成できるかを検討する。
• 特に、任意の四角形メッシュにおける最小可能な最大角度というメッシュ品質の理論的限界を調査する。
• 円パッキング技術を四角形メッシュ生成に実用的に応用し、幾何的および複雑性の保証が証明可能なメッシュ生成を示す。

提案手法

• 多角形領域を重ならない接する円で埋め込み、3つまたは4つの円弧で囲まれた領域を生成する。
• 円の中心、接点、および3つまたは4つの接する円が形成する隙間内にメッシュ頂点を配置する。
• 接点からボロノイ図を構築し、O(n) 要素を持つ四角形メッシュを形成する。
• ボロノイメッシュとそのデュアルであるデローニ三角形分割を重ね合わせることで、2つの対向する90°角を持つ四角形を生成する。
• 特定の辺を省略するように円パッキングフレームワークを変更し、正方形に擬等角写像可能なキーティング型四角形を生成する。
• 各キーティングを中点と60°の角度を持つ線分で分割し、6つの小さな四角形に分割することで、どの角度も120°を超えないように保証し、最適な角度境界を達成する。

実験結果

リサーチクエスチョン

• RQ1 四角形メッシュを、O(n) 要素と要素形状の品質に関する保証された境界を同時に満たすように生成できるか？
• RQ2 線形複雑性を維持しながら、2つの対向する90°角を持つメッシュを生成することは可能か？
• RQ3 円パッキングを用いて、最適な擬等角写像特性と線形複雑性を持つキーティング型四角形を生成できるか？
• RQ4 任意の四角形メッシュにおいて、理論的に達成可能な最小の最大角度は何か？ そして、その境界をアルゴリズム的に再現できるか？
• RQ5 円パッキング手法を拡張して、アスペクト比と角度制約といった複数の品質保証を同時に達成できるメッシュを生成できるか？

主な発見

• 円パッキングからの接点のボロノイ図は、O(n) 要素を有し、保証された線形複雑性を持つ四角形メッシュを形成する。
• ボロノイメッシュとそのデローニ双対を重ね合わせることで、2つの対向する90°角を持つ四角形が得られ、すべての頂点が同一円周上にあることが保証される。
• 変更された円パッキング手法により、キーティング型四角形が生成され、それぞれが正方形に擬等角写像可能であり、クロスレシオが最適化される。
• 任意のキーティングは、120°を超える角度を含まない6つの四角形に分割可能であり、特定の多角形領域ではこの境界が最適である。
• O(n) 個の四角形と最大角度が120°未満のメッシュを生成するには、O(n log n) 時間計算量が達成可能である。
• 理論的下界により、一部の領域では少なくとも1つの四角形が120°の角度を持つ必要があることが示され、この境界はタイトで最適である。