[論文レビュー] Transversal structures on triangulations, with application to straight-line drawing

Éric Fusy|arXiv (Cornell University)|Feb 8, 2006

Computational Geometry and Mesh Generation被引用数 3

ひとこと要約

本稿では、空でない三角形を含まない三角形分割に対して、横断的エッジ分割構造を導入する。これは正則エッジラベリングと同値であり、4連結平面グラフ（境界頂点が4つ以上）に対する新しい直線描画アルゴリズムを可能にする。この手法は、境界頂点が4つのランダムな三角形分割に対して、ほぼ確実に n×n のグリッド描画を保証し、効率的で幾何学的に直感的なレイアウト手法を提供する。

ABSTRACT

We define and study a structure called transversal edge-partition related to triangulations without non empty triangles, which is equivalent to the regular edge labeling discovered by Kant and He. We study other properties of this structure and show that it gives rise to a new straight-line drawing algorithm for triangulations without non empty triangles, and more generally for 4-connected plane graphs with at least 4 border vertices. Taking uniformly at random such a triangulation with 4 border vertices and n vertices, the size of the grid is almost surely n

研究の動機と目的

• 空でない三角形を含まない三角形分割に、新しい組合せ的構造「横断的エッジ分割」を定義・分析すること。
• カンとヘーにより定義された正則エッジラベリングと、この構造との同値性を確立すること。
• 境界頂点が4つ以上の4連結平面グラフに対する新しい直線描画アルゴリズムを開発すること。
• 特に境界頂点が4つの場合のランダムなインスタンスに対して、得られる描画のグリッドサイズを分析すること。

提案手法

• 横断的エッジ分割は、エッジを3つの集合に分割し、それぞれが特定の構造的制約を満たすスパニングフォレストを形成するものである。
• 4連結平面グラフの性質を活用することで、この構造が正則エッジラベリングと同値であることが示される。
• 与えられた空でない三角形を含まない三角形分割から、横断的エッジ分割を線形時間で構築するアルゴリズムが導出される。
• 描画アルゴリズムは、横断的構造を用いて、体系的な走査と座標割り当てプロセスにより頂点に座標を割り当てる。
• この分割の組合せ的性質を活用することで、交差のない直線描画が保証される。
• グリッドサイズは確率論的に分析され、境界頂点が4つのランダムな三角形分割に対して、グリッドサイズがほぼ確実に n×n であることが示される。

実験結果

リサーチクエスチョン

• RQ1 空でない三角形を含まない三角形分割に、どのように横断的エッジ分割を定義・特徴づけられるか？
• RQ2 4連結平面グラフにおける横断的エッジ分割と正則エッジラベリングの関係は何か？
• RQ3 横断的構造を用いて、境界頂点が4つ以上の4連結平面グラフに対する効率的な直線描画アルゴリズムを設計できるか？
• RQ4 入力が境界頂点が4つの一様ランダムな三角形分割の場合、得られる描画の期待グリッドサイズは何か？

主な発見

• 横断的エッジ分割は、カンとヘーの正則エッジラベリングと数学的に同値であり、新たな組合せ的視点を提供する。
• この構造により、境界頂点が4つ以上の4連結平面グラフの直線描画を線形時間で行う新しいアルゴリズムが可能になる。
• 描画アルゴリズムは、エッジの交差がなく、平面性を保つグリッド描画を生成する。
• 境界頂点が4つの一様ランダムな三角形分割で、頂点数が n の場合、グリッドサイズはほぼ確実に n×n である。
• 期待的に近似的最適なグリッドサイズが達成され、理論的下界に高い確率で近づく。
• 従来の平面グラフ描画手法に対して、幾何学的に直感的で効率的な代替手法を提供する。