[論文レビュー] Optimal Monotone Drawings of Trees

Dayu He, Xin He|arXiv (Cornell University)|Apr 13, 2016

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

ひとこと要約

本稿では、木の単調な図形を12n×12nグリッド上にO(n)時間で構築するアルゴリズムを提示する。本手法は、新たなパスドロー法を用い、木のパスに基本的ベクトルを洗練された方法で割り当てることで、空間的に漸近的に最適な結果を得る。主な貢献は、特定の木の単調な図形がΩ(n)×Ω(n)グリッドを必要とするため、このような図形が定数倍の要因を除いて最適であることを証明することにある。

ABSTRACT

A monotone drawing of a graph G is a straight-line drawing of G such that, for every pair of vertices u,w in G, there exists abpath P_{uw} in G that is monotone in some direction l_{uw}. (Namely, the order of the orthogonal projections of the vertices of P_{uw} on l_{uw} is the same as the order they appear in P_{uw}.) The problem of finding monotone drawings for trees has been studied in several recent papers. The main focus is to reduce the size of the drawing. Currently, the smallest drawing size is O(n^{1.205}) x O(n^{1.205}). In this paper, we present an algorithm for constructing monotone drawings of trees on a grid of size at most 12n x 12n. The smaller drawing size is achieved by a new simple Path Draw algorithm, and a procedure that carefully assigns primitive vectors to the paths of the input tree T. We also show that there exists a tree T_0 such that any monotone drawing of T_0 must use a grid of size Omega(n) x Omega(n). So the size of our monotone drawing of trees is asymptotically optimal.

研究の動機と目的

• 単調な木図形に必要なグリッドサイズを縮小し、従来のO(n^1.205)の境界を改善すること。
• 最小限の空間使用量を実現する実用的で効率的なアルゴリズムの開発。
• 特定の木に対してΩ(n)×Ω(n)グリッドが必要であることを示す理論的下界を確立し、提案手法の漸近的最適性を証明すること。
• 木の単調図形サイズに関する上界と下界の差を埋めるために、ベクトル割り当てと有効ペア解析を精緻化すること。

提案手法

• Stern-Brocot木構造の洗練された解析に基づき、木のパスに基本的ベクトルを割り当てる新しいパスドロー法を提案する。
• Stern-Brocot木における分数の大きさを制限する有効ペア技術を用い、ベクトル割り当てが制御された範囲に保たれることを保証する。
• 特定の方向における単調パスに一致するようにエッジの方向を一貫させる座標割り当て戦略を適用し、単調性を維持する。
• すべての頂点ペア間で単調性が保たれるように、木の後行順走査を用いてエッジにベクトルを割り当てる。
• フィボナッチ数とファレイ数列の性質を活用し、基本的ベクトルの傾きを効果的に表現・束縛する。
• 幾何学的および角度的推論を用いて、木における特定のエッジ構成がグリッド拡大を強制することを証明し、下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 単調な木図形をO(n^1.205)×O(n^1.205)未満のグリッド上に構築することは可能か？
• RQ2 任意のn頂点木に対して、単純で効率的なアルゴリズムで12n×12nグリッド内に単調な図形を構築することは可能か？
• RQ3 単調な木図形に必要な最小グリッドサイズは何か？ そして、この境界は漸近的にタイトか？
• RQ4 基本的ベクトル割り当ての解析を精緻化することで、グリッドサイズの定数係数を改善できるか？

主な発見

• 提案されたアルゴリズムは、任意のn頂点木に対して12n×12nグリッド上でO(n)時間で単調な図形を構築する。
• 12n×12nのグリッドサイズは、漸近的に最適であり、任意の単調な図形においてΩ(n)×Ω(n)グリッドを必要とする木T₀が存在する。
• 下界は、12本の辺に沿ったパスが互いに素な木構造を持つ場合の角度制約を分析することで証明され、少なくとも1つのパスがx方向およびy方向の両方でΩ(n)単位の長さを占めることが示された。
• ベクトル割り当ての解析を精緻化することで、従来のO(n^1.205)から線形要因12nへのグリッドサイズの縮小を達成し、よりタイトな解析を実現した。
• 下界の証明は、角度の単調性と鳩の巣原理を用いて、1つの象限内でグリッド拡大が強制されることを示している。
• 著者らは、Stern-Brocot木における有効ペアの現在の境界がタイトではないことを同定し、さらなる定数係数の改善が可能であると示唆している。