We study a family of algorithms, introduced by Chan [SODA 1999], for drawing ordered rooted binary trees. Any algorithm in this family (which we name an LR-algorithm) takes in input an ordered rooted binary tree T with a root rT, and recursively constructs drawings ΓL of the left subtree L of rT and ΓR of the right subtree R of rT; then either it applies the left rule, i.e., it places ΓL one unit below and to the left of rT, and ΓR one unit below ΓL with the root of R vertically aligned with rT, or it applies the right rule, i.e., it places ΓR one unit below and to the right of rT, and ΓL one unit below ΓR with the root of L vertically aligned with rT. In both cases, the edges between rT and its children are represented by straight-line segments. Different LR-algorithms result from different choices on whether the left or right rule is applied at any node of T. We are interested in constructing LR-drawings (that are drawings obtained via LR-algorithms) with small width. Chan showed three LR-algorithms that achieve, for an n-node ordered rooted binary tree, width O(n0.695), width O(n0.5), and width O(n0.48). We prove that, for every n-node ordered rooted binary tree, an LR-drawing with minimum width can be constructed in O(n1.48) time. Further, we show an infinite family of n-node ordered rooted binary trees requiring Ω(n0.418) width in any LR-drawing; no lower bound better than Ω(log n) was previously known. Finally, we present the results of an experimental evaluation that allowed us to determine the minimum width of all the ordered rooted binary trees with up to 455 nodes. Our interest in LR-drawings is mainly motivated by a result of Di Battista and Frati [Algorithmica 2009], who proved that n-vertex outerplanar graphs have outerplanar straight-line drawings in O(n1.48) area by means of a drawing algorithm which resembles an LR-algorithm. We deepen the connection between LR-drawings and outerplanar drawings by proving that, if n-node ordered rooted binary trees have LR-drawings with f(n) width, for any function f(n), then n-vertex outerplanar graphs have outerplanar straight-line drawings in O(f(n)) area. Finally, we exploit a structural decomposition for ordered rooted binary trees introduced by Chan in order to prove that every n-vertex outerplanar graph has an outer-planar straight-line drawing in [EQUATION] area.
[1]
Fabrizio Frati.
Straight-line Drawings of Outerplanar Graphs in O(dn log n) Area
,
2007,
CCCG.
[2]
Adrian Rusu,et al.
Tree Drawing Algorithms
,
2013,
Handbook of Graph Drawing and Visualization.
[3]
Timothy M. Chan.
A Near-Linear Area Bound for Drawing Binary Trees
,
1999,
SODA '99.
[4]
Giuseppe Di Battista,et al.
A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees
,
1992,
Comput. Geom..
[5]
Ashim Garg,et al.
Area-Efficient Order-Preserving Planar Straight-Line Drawings of Ordered Trees
,
2003,
Int. J. Comput. Geom. Appl..
[6]
Timothy M. Chan,et al.
Optimizing area and aspect ration in straight-line orthogonal tree drawings
,
2002,
Comput. Geom..
[7]
Md. Saidur Rahman,et al.
Planar Graph Drawing
,
2004,
Lecture Notes Series on Computing.
[8]
Edward M. Reingold,et al.
Tidier Drawings of Trees
,
1981,
IEEE Transactions on Software Engineering.
[9]
Giuseppe Di Battista,et al.
Small Area Drawings of Outerplanar Graphs
,
2007,
Algorithmica.
[10]
Fabrizio Frati,et al.
Lower Bounds on the Area Requirements of Series-Parallel Graphs
,
2010,
Discret. Math. Theor. Comput. Sci..
[11]
Donald E. Knuth,et al.
The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition
,
1997
.
[12]
Erkki Mäkinen,et al.
Generating Random Binary Trees - A Survey
,
1999,
Inf. Sci..
[13]
S. Stigler.
Gauss and the Invention of Least Squares
,
1981
.
[14]
Leslie G. Valiant,et al.
Universality considerations in VLSI circuits
,
1981,
IEEE Transactions on Computers.
[15]
Ashim Garg,et al.
Area-efficient planar straight-line drawings of outerplanar graphs
,
2007,
Discret. Appl. Math..
[16]
Therese C. Biedl,et al.
Small Drawings of Outerplanar Graphs, Series-Parallel Graphs, and Other Planar Graphs
,
2011,
Discret. Comput. Geom..