[論文レビュー] Transversal structures on triangulations: a combinatorial study and straight-line drawings

Éric Fusy|ArXiv.org|Feb 8, 2006

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

ひとこと要約

本稿では、分離三角形を含まない四角形外部面をもつ非可約三角形分割（平面上の三角形分割で、非可約なグラフ）における、2つの横断的バイポラ・オリエンテーションの組み合わせ的構造、すなわち横断的構造を導入する。三進木との双対性を用いて、ランダムな非可約三角形分割に対して、整数グリッド上にサイズ $11n/27 \times 11n/27$ の直線描画を生成するアルゴリズムを開発する。これは、従来の最悪ケース境界 $(\lceil n/2\rceil-1)\times\lfloor n/2\rfloor$ より顕著に改善されたものである。本手法により、4連結三角形分割の効率的かつ最適な符号化が可能となる。

ABSTRACT

This article focuses on a combinatorial structure specific to triangulated plane graphs with quadrangular outer face and no separating triangle, which are called irreducible triangulations. The structure has been introduced by Xin He under the name of regular edge-labelling and consists of two bipolar orientations that are transversal. For this reason, the terminology used here is that of transversal structures. The main results obtained in the article are a bijection between irreducible triangulations and ternary trees, and a straight-line drawing algorithm for irreducible triangulations. For a random irreducible triangulation with $n$ vertices, the grid size of the drawing is asymptotically with high probability $11n/27 imes 11n/27$ up to an additive error of $\cO(\sqrt{n})$. In contrast, the best previously known algorithm for these triangulations only guarantees a grid size $(\lceil n/2 ceil -1) imes \lfloor n/2 floor$.

研究の動機と目的

• 非可約三角形分割の組み合わせ的特徴づけを、グラフの辺上に定義された2つの横断的バイポラ・オリエンテーションとしての横断的構造を用いて行う。
• 閉包操作を介した非可約三角形分割と三進木との双対性を構築し、4連結三角形分割の列挙および効率的符号化を可能にする。
• 非可約三角形分割のための新しい直線描画アルゴリズムを設計し、従来の手法よりもグリッドサイズを小さくする。
• 解析的組合せ論、特に代数的準力の定理を用いて、描画アルゴリズムの漸近的グリッドサイズを分析する。

提案手法

• 横断的構造は、赤と青の辺に分けられた横断的辺分割として定義され、赤の辺は南から北へ、青の辺は西から東へ流れ、それぞれがバイポラ・オリエンテーションを形成する。
• 三進木から非可約三角形分割への閉包写像を、木の辺二色分け構造に閉包操作を適用することで構築する。
• 直線描画アルゴリズムは、頂点座標を、頂点順序付けや座標シフトを避けるために、面数数え上げ操作に基づいて独立に計算する。
• グリッドサイズの分析には、生成関数 $F(z,u)$, $G(z,u)$, $\widehat{F}(z,u)$, および $\widehat{G}(z,u)$ を用い、ノードと内部赤辺の数を追跡する。これにより代数的方程式系が得られる。
• 生成関数 $H(z,u) = F(z,u) + G(z,u)$ に代数的準力の定理を適用し、漸近的グリッドサイズを導出する。その結果、期待されるグリッドサイズは $11n/27 \times 11n/27$ となり、$\mathcal{O}(\sqrt{n})$ の誤差を伴う。
• 本手法は四角形分割へ拡張され、同様の解析により、ランダムな四角形分割に対して $13n/27 \times 13n/27$ のグリッドサイズが得られる。

実験結果

リサーチクエスチョン

• RQ1 非可約三角形分割と三進木との間で、横断的構造を用いて双対性を確立できるか？
• RQ2 提案されたアルゴリズムを用いたランダムな非可約三角形分割の直線描画における漸近的グリッドサイズは何か？
• RQ3 従来の正規順序に基づくアルゴリズムと比較して、本手法のグリッドサイズと実装性はどのように異なるか？
• RQ4 横断的構造を用いて、4連結三角形分割のための効率的なランダム生成および最適符号化アルゴリズムを導出できるか？
• RQ5 同様のアプローチにより、四角形分割などの関連する族に対しても、より良いグリッド境界が得られるか？

主な発見

• 閉包操作を用いた横断的辺分割に基づき、非可約三角形分割と三進木との双対性が確立され、組み合わせ的列挙および効率的符号化が可能となった。
• 提案された直線描画アルゴリズムは、$n$ 頂点をもつランダムな非可約三角形分割に対して、整数グリッド上にサイズ $11n/27 \times 11n/27$ の描画を生成する。これは高い確率で成立し、$\mathcal{O}(\sqrt{n})$ の加法的誤差を伴う。
• このグリッドサイズは、従来の最悪ケース境界 $(\lceil n/2\rceil - 1) \times \lfloor n/2 \rfloor$ よりも漸近的に小さく、空間効率性の顕著な向上を示している。
• 頂点座標が面数数え上げに基づいて独立に計算されるため、本アルゴリズムは実装が簡単で、手作業でも容易に実行可能である。頂点順序付けや座標シフトの複雑さが回避される。
• 同様の手法を四角形分割に適用したところ、ランダムな四角形分割に対して $13n/27 \times 13n/27$ のグリッドサイズが得られ、再び従来の最悪ケース境界を改善した。
• 横断的構造における内部赤辺の数の分布が、平均 $5n/54$ をもつ漸近的正規分布に従うことが示された。これは生成関数 $H(z,u)$ に代数的準力の定理を適用することで得られた。