[論文レビュー] Trees with Convex Faces and Optimal Angles

Josiah Carlson, David Eppstein|ArXiv.org|Jul 26, 2006

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

ひとこと要約

本稿では、凸面と最適な角度分解能を備えた木の図形を描く線形時間アルゴリズムを提示する。辺の長さに関係なく交差しない辺の配置を保証する。埋め込み済みおよび非埋め込み木の両方のケースに対応し、傾きの割り当てと柔軟な長さ設定を用いて、辺間の最小角度を最大化する。

ABSTRACT

We consider drawings of trees in which all edges incident to leaves can be extended to infinite rays without crossing, partitioning the plane into infinite convex polygons. Among all such drawings we seek the one maximizing the angular resolution of the drawing. We find linear time algorithms for solving this problem, both for plane trees and for trees without a fixed embedding. In any such drawing, the edge lengths may be set independently of the angles, without crossing; we describe multiple strategies for setting these lengths.

研究の動機と目的

• 凸面と交差しない辺を保証しつつ、木の図形における角度分解能を最大化するアルゴリズムを開発すること。
• 頂点の順序が固定された埋め込み木と、辺の順序を並び替え可能な非埋め込み木の両方を扱うこと。
• 長さとは無関係に傾きを割り当てられる方法を提供し、任意の長さ割り当てに対しても平面性が保証されることを保証すること。
• 傾き決定後に、視覚的明瞭性や構造的情報を伝えるために、辺の長さを割り当てる戦略を検討すること。
• 支配図および下向き図への拡張を検討し、擬似木やハリングラフへの応用を検討すること。

提案手法

• 凸アーチを定義する：角度がπ以下で、辺が方向順に整列された多角形チェーンで、延長すると凸面を形成する。
• 木をパスとラケに再帰的に分解し、曲がり方向（左/右）のシーケンスを分析して角度制約を特定する。
• k個の二重曲がりを含むラケについて、辺の方向に関する幾何的制約を用いて、最適な角度分解能をπ(1/2 + 1/(6 + 2k))として導出する。
• 放射状図法を適用する：根からの深さに応じて頂点を同心円上に配置し、傾き割り当て後にレイヤー交差を用いて位置を固定する。
• 深さや部分木のサイズに基づく辺長関数を用いて、視覚的階層構造と接続性の手がかりを強化する。
• 傾き割り当て後に任意の辺長割り当てを許容し、凸面構造のおかげで交差が生じないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 凸面を有する木の図形において、達成可能な最大の角度分解能は何か？ そして、それを効率的に計算する方法は？
• RQ2 埋め込み木と非埋め込み木における最適な角度分解能にはどのような差があるか？
• RQ3 凸面を有する図形を線形時間で構築し、角度分解能を最大化できるか？
• RQ4 傾きとは無関係に辺の長さを割り当てても、交差が生じない方法は？
• RQ5 擬似木やハリングラフといった非木グラフに対し、凸面制約を満たすように拡張は可能か？

主な発見

• 非埋め込みラケでは、最適な角度分解能は2π/3であり、交互に左・右に曲がることで達成可能である。
• k個の二重曲がりを含む埋め込みラケでは、最適な角度分解能はπ(1/2 + 1/(6 + 2k))であり、kが増加するにつれて向上する。
• 凸面を有する状態で最適な角度分解能を求める主問題は、埋め込み木および非埋め込み木の両方で線形時間で解ける。
• 傾き割り当て後に辺の長さを任意に割り当てても、凸面構造のおかげで交差が生じない。
• 放射状および位置に基づく長さ割り当て戦略は、明確な階層構造と接続性の手がかりを示す視覚的に直感的な図形を生成する。
• このフレームワークは、支配図および下向き図へ拡張可能で、f個の分岐点を有する木では最適な角度分解能がθ/f、傾き範囲がθとなる。