6,457 research outputs found
Orderly Spanning Trees with Applications
We introduce and study the {\em orderly spanning trees} of plane graphs. This
algorithmic tool generalizes {\em canonical orderings}, which exist only for
triconnected plane graphs. Although not every plane graph admits an orderly
spanning tree, we provide an algorithm to compute an {\em orderly pair} for any
connected planar graph , consisting of a plane graph of , and an
orderly spanning tree of . We also present several applications of orderly
spanning trees: (1) a new constructive proof for Schnyder's Realizer Theorem,
(2) the first area-optimal 2-visibility drawing of , and (3) the best known
encodings of with O(1)-time query support. All algorithms in this paper run
in linear time.Comment: 25 pages, 7 figures, A preliminary version appeared in Proceedings of
the 12th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2001),
Washington D.C., USA, January 7-9, 2001, pp. 506-51
Compact Floor-Planning via Orderly Spanning Trees
Floor-planning is a fundamental step in VLSI chip design. Based upon the
concept of orderly spanning trees, we present a simple O(n)-time algorithm to
construct a floor-plan for any n-node plane triangulation. In comparison with
previous floor-planning algorithms in the literature, our solution is not only
simpler in the algorithm itself, but also produces floor-plans which require
fewer module types. An equally important aspect of our new algorithm lies in
its ability to fit the floor-plan area in a rectangle of size (n-1)x(2n+1)/3.
Lower bounds on the worst-case area for floor-planning any plane triangulation
are also provided in the paper.Comment: 13 pages, 5 figures, An early version of this work was presented at
9th International Symposium on Graph Drawing (GD 2001), Vienna, Austria,
September 2001. Accepted to Journal of Algorithms, 200
Improved Compact Visibility Representation of Planar Graph via Schnyder's Realizer
Let be an -node planar graph. In a visibility representation of ,
each node of is represented by a horizontal line segment such that the line
segments representing any two adjacent nodes of are vertically visible to
each other. In the present paper we give the best known compact visibility
representation of . Given a canonical ordering of the triangulated , our
algorithm draws the graph incrementally in a greedy manner. We show that one of
three canonical orderings obtained from Schnyder's realizer for the
triangulated yields a visibility representation of no wider than
. Our easy-to-implement O(n)-time algorithm bypasses the
complicated subroutines for four-connected components and four-block trees
required by the best previously known algorithm of Kant. Our result provides a
negative answer to Kant's open question about whether is a
worst-case lower bound on the required width. Also, if has no degree-three
(respectively, degree-five) internal node, then our visibility representation
for is no wider than (respectively, ).
Moreover, if is four-connected, then our visibility representation for
is no wider than , matching the best known result of Kant and He. As a
by-product, we obtain a much simpler proof for a corollary of Wagner's Theorem
on realizers, due to Bonichon, Sa\"{e}c, and Mosbah.Comment: 11 pages, 6 figures, the preliminary version of this paper is to
appear in Proceedings of the 20th Annual Symposium on Theoretical Aspects of
Computer Science (STACS), Berlin, Germany, 200
Schnyder woods for higher genus triangulated surfaces, with applications to encoding
Schnyder woods are a well-known combinatorial structure for plane
triangulations, which yields a decomposition into 3 spanning trees. We extend
here definitions and algorithms for Schnyder woods to closed orientable
surfaces of arbitrary genus. In particular, we describe a method to traverse a
triangulation of genus and compute a so-called -Schnyder wood on the
way. As an application, we give a procedure to encode a triangulation of genus
and vertices in bits. This matches the worst-case
encoding rate of Edgebreaker in positive genus. All the algorithms presented
here have execution time , hence are linear when the genus is fixed.Comment: 27 pages, to appear in a special issue of Discrete and Computational
Geometr
Biconed graphs, edge-rooted forests, and h-vectors of matroid complexes
A well-known conjecture of Richard Stanley posits that the -vector of the
independence complex of a matroid is a pure -sequence. The
conjecture has been established for various classes but is open for graphic
matroids. A biconed graph is a graph with two specified `coning vertices', such
that every vertex of the graph is connected to at least one coning vertex. The
class of biconed graphs includes coned graphs, Ferrers graphs, and complete
multipartite graphs. We study the -vectors of graphic matroids arising from
biconed graphs, providing a combinatorial interpretation of their entries in
terms of `edge-rooted forests' of the underlying graph. This generalizes
constructions of Kook and Lee who studied the M\"obius coinvariant (the last
nonzero entry of the -vector) of graphic matroids of complete bipartite
graphs. We show that allowing for partially edge-rooted forests gives rise to a
pure multicomplex whose face count recovers the -vector, establishing
Stanley's conjecture for this class of matroids.Comment: 15 pages, 3 figures; V2: added omitted author to metadat
Orientation-Constrained Rectangular Layouts
We construct partitions of rectangles into smaller rectangles from an input
consisting of a planar dual graph of the layout together with restrictions on
the orientations of edges and junctions of the layout. Such an
orientation-constrained layout, if it exists, may be constructed in polynomial
time, and all orientation-constrained layouts may be listed in polynomial time
per layout.Comment: To appear at Algorithms and Data Structures Symposium, Banff, Canada,
August 2009. 12 pages, 5 figure
- …