[论文解读] Optimal Monotone Drawings of Trees

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

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

一句话总结

本文提出了一种O(n)时间复杂度的算法，用于在12n×12n的网格上构造树的单调图，通过使用一种新颖的Path Draw算法并仔细分配基向量到树路径，实现了渐近最优的空间复杂度。其主要贡献在于证明了此类图在常数因子范围内是最优的，因为某些树的单调图绘制至少需要Ω(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)的网格空间，从而证明所提构造方法的渐近最优性。
• 通过优化向量分配和有效对分析，弥合单调图绘制尺寸的上下界之间的差距。

提出的方法

• 提出一种新的Path Draw算法，基于对Stern-Brocot树结构的精细化分析，将基向量分配给树路径。
• 采用有效对技术，限制Stern-Brocot树中分数的大小，确保向量分配保持在可控范围内。
• 应用坐标分配策略，通过确保边的方向与特定方向上的单调路径一致，维持单调性。
• 采用树的后序遍历方式为边分配向量，从而在所有顶点对之间保持单调性。
• 利用斐波那契数列和Farey序列的性质，紧凑地表示并限制基向量斜率的范围。
• 通过几何和角度推理，证明树中某些边配置会强制网格扩展，从而建立下界。

实验结果

研究问题

• RQ1 是否可能将树的单调图绘制在小于O(n^1.205)×O(n^1.205)的网格上？
• RQ2 是否能够通过一种简单且高效的算法，在12n×12n的网格内实现任意n个顶点的树的单调图绘制？
• RQ3 树的单调图绘制所需的最小网格尺寸是多少？该界限是否渐近紧致？
• RQ4 通过优化基向量分配的分析，是否能够进一步改进网格尺寸中的常数因子？

主要发现

• 所提算法可在O(n)时间内，在12n×12n的网格上构造任意n个顶点的树的单调图。
• 12n×12n的网格尺寸是渐近最优的，因为存在一棵树T₀，其在任何单调图绘制中均需Ω(n)×Ω(n)的网格空间。
• 通过分析具有12条边不相交路径的树中的角度约束，证明了下界，表明至少有一条路径在x和y方向上均需跨越Ω(n)单位长度。
• 该方法通过更精细的向量分配分析，将先前的网格尺寸从O(n^1.205)降低至12n的线性因子，实现了改进。
• 下界证明依赖于角度单调性与鸽巢原理，强制在某一象限内发生网格扩展。
• 作者指出，当前Stern-Brocot树中有效对的界限并不紧致，提示未来可能通过进一步分析实现常数因子的改进。