206 research outputs found
Euclidean Greedy Drawings of Trees
Greedy embedding (or drawing) is a simple and efficient strategy to route
messages in wireless sensor networks. For each source-destination pair of nodes
s, t in a greedy embedding there is always a neighbor u of s that is closer to
t according to some distance metric. The existence of greedy embeddings in the
Euclidean plane R^2 is known for certain graph classes such as 3-connected
planar graphs. We completely characterize the trees that admit a greedy
embedding in R^2. This answers a question by Angelini et al. (Graph Drawing
2009) and is a further step in characterizing the graphs that admit Euclidean
greedy embeddings.Comment: Expanded version of a paper to appear in the 21st European Symposium
on Algorithms (ESA 2013). 24 pages, 20 figure
On the Area Requirements of Planar Greedy Drawings of Triconnected Planar Graphs
In this paper we study the area requirements of planar greedy drawings of
triconnected planar graphs. Cao, Strelzoff, and Sun exhibited a family
of subdivisions of triconnected plane graphs and claimed that every planar
greedy drawing of the graphs in respecting the prescribed plane
embedding requires exponential area. However, we show that every -vertex
graph in actually has a planar greedy drawing respecting the
prescribed plane embedding on an grid. This reopens the
question whether triconnected planar graphs admit planar greedy drawings on a
polynomial-size grid. Further, we provide evidence for a positive answer to the
above question by proving that every -vertex Halin graph admits a planar
greedy drawing on an grid. Both such results are obtained by
actually constructing drawings that are convex and angle-monotone. Finally, we
consider -Schnyder drawings, which are angle-monotone and hence greedy
if , and show that there exist planar triangulations for
which every -Schnyder drawing with a fixed requires
exponential area for any resolution rule
On Planar Greedy Drawings of 3-Connected Planar Graphs
A graph drawing is greedy if, for every ordered pair of vertices (x,y), there is a path from x to y such that the Euclidean distance to y decreases monotonically at every vertex of the path. Greedy drawings support a simple geometric routing scheme, in which any node that has to send a packet to a destination "greedily" forwards the packet to any neighbor that is closer to the destination than itself, according to the Euclidean distance in the drawing. In a greedy drawing such a neighbor always exists and hence this routing scheme is guaranteed to succeed.
In 2004 Papadimitriou and Ratajczak stated two conjectures related to greedy drawings. The greedy embedding conjecture states that every 3-connected planar graph admits a greedy drawing. The convex greedy embedding conjecture asserts that every 3-connected planar graph admits a planar greedy drawing in which the faces are delimited by convex polygons. In 2008 the greedy embedding conjecture was settled in the positive by Leighton and Moitra.
In this paper we prove that every 3-connected planar graph admits a planar greedy drawing. Apart from being a strengthening of Leighton and Moitra\u27s result, this theorem constitutes a natural intermediate step towards a proof of the convex greedy embedding conjecture
Drawing Graphs as Spanners
We study the problem of embedding graphs in the plane as good geometric
spanners. That is, for a graph , the goal is to construct a straight-line
drawing of in the plane such that, for any two vertices and
of , the ratio between the minimum length of any path from to
and the Euclidean distance between and is small. The maximum such
ratio, over all pairs of vertices of , is the spanning ratio of .
First, we show that deciding whether a graph admits a straight-line drawing
with spanning ratio , a proper straight-line drawing with spanning ratio
, and a planar straight-line drawing with spanning ratio are
NP-complete, -complete, and linear-time solvable problems,
respectively, where a drawing is proper if no two vertices overlap and no edge
overlaps a vertex.
Second, we show that moving from spanning ratio to spanning ratio
allows us to draw every graph. Namely, we prove that, for every
, every (planar) graph admits a proper (resp. planar) straight-line
drawing with spanning ratio smaller than .
Third, our drawings with spanning ratio smaller than have large
edge-length ratio, that is, the ratio between the length of the longest edge
and the length of the shortest edge is exponential. We show that this is
sometimes unavoidable. More generally, we identify having bounded toughness as
the criterion that distinguishes graphs that admit straight-line drawings with
constant spanning ratio and polynomial edge-length ratio from graphs that
require exponential edge-length ratio in any straight-line drawing with
constant spanning ratio
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
Embedding Stacked Polytopes on a Polynomial-Size Grid
We show how to realize a stacked 3D polytope (formed
by repeatedly stacking a tetrahedron onto a triangular
face) by a strictly convex embedding with its n vertices
on an integer grid of size O(n4) x O(n4) x O(n18). We
use a perturbation technique to construct an integral 2D
embedding that lifts to a small 3D polytope, all in linear
time. This result solves a question posed by G unter M.
Ziegler, and is the rst nontrivial subexponential upper
bound on the long-standing open question of the
grid size necessary to embed arbitrary convex polyhedra,
that is, about effcient versions of Steinitz's 1916
theorem. An immediate consequence of our result is
that O(log n)-bit coordinates suffice for a greedy routing
strategy in planar 3-trees.Deutsche Forschungsgemeinschaft (DFG) (Grant No. SCHU 2458/1-1
Some Results on Greedy Embeddings in Metric Spaces
Geographic Routing is a family of routing algorithms that uses geographic point locations as addresses for the purposes of routing. Such routing algorithms have proven to be both simple to implement and heuristically effective when applied to wireless sensor networks. Greedy Routing is a natural abstraction of this model in which nodes are assigned virtual coordinates in a metric space, and these coordinates are used to perform point-to-point routing.
Here we resolve a conjecture of Papadimitriou and Ratajczak that every 3-connected planar graph admits a greedy embedding into the Euclidean plane. This immediately implies that all 3-connected graphs that exclude K 3,3 as a minor admit a greedy embedding into the Euclidean plane. We also prove a combinatorial condition that guarantees nonembeddability. We use this result to construct graphs that can be greedily embedded into the Euclidean plane, but for which no spanning tree admits such an embedding.Massachusetts Institute of Technology ((Akamai) Presidential Fellowship
Manhattan orbifolds
We investigate a class of metrics for 2-manifolds in which, except for a
discrete set of singular points, the metric is locally isometric to an L_1 (or
equivalently L_infinity) metric, and show that with certain additional
conditions such metrics are injective. We use this construction to find the
tight span of squaregraphs and related graphs, and we find an injective metric
that approximates the distances in the hyperbolic plane analogously to the way
the rectilinear metrics approximate the Euclidean distance.Comment: 17 pages, 15 figures. Some definitions and proofs have been revised
since the previous version, and a new example has been adde
Complete combinatorial characterization of greedy-drawable trees
A (Euclidean) greedy drawing of a graph is a drawing in which, for any two
vertices (), there is a neighbor vertex of that is closer
to than to in the Euclidean distance. Greedy drawings are important in
the context of message routing in networks, and graph classes that admit greedy
drawings have been actively studied. N\"{o}llenburg and Prutkin (Discrete
Comput. Geom., 58(3), pp.543-579, 2017) gave a characterization of
greedy-drawable trees in terms of an inequality system that contains a
non-linear equation. Using the characterization, they gave a linear-time
recognition algorithm for greedy-drawable trees of maximum degree .
However, a combinatorial characterization of greedy-drawable trees of maximum
degree 5 was left open. In this paper, we give a combinatorial characterization
of greedy-drawable trees of maximum degree , which leads to a complete
combinatorial characterization of greedy-drawable trees. Furthermore, we give a
characterization of greedy-drawable pseudo-trees.Comment: 26 pages, 30 fugure
- …