4,370 research outputs found
Empty triangles in good drawings of the complete graph
A good drawing of a simple graph is a drawing on the sphere or, equivalently, in the plane in which vertices are drawn as distinct points, edges are drawn as Jordan arcs connecting their end vertices, and any pair of edges intersects at most once. In any good drawing, the edges of three pairwise connected vertices form a Jordan curve which we call a triangle. We say that a triangle is empty if one of the two connected components it induces does not contain any of the remaining vertices of the drawing of the graph. We show that the number of empty triangles in any good drawing of the complete graph Kn with n vertices is at least n.Peer ReviewedPostprint (author’s final draft
Convex drawings of the complete graph: topology meets geometry
In this work, we introduce and develop a theory of convex drawings of the
complete graph in the sphere. A drawing of is convex if, for
every 3-cycle of , there is a closed disc bounded by
such that, for any two vertices with and both in
, the entire edge is also contained in .
As one application of this perspective, we consider drawings containing a
non-convex that has restrictions on its extensions to drawings of .
For each such drawing, we use convexity to produce a new drawing with fewer
crossings. This is the first example of local considerations providing
sufficient conditions for suboptimality. In particular, we do not compare the
number of crossings {with the number of crossings in} any known drawings. This
result sheds light on Aichholzer's computer proof (personal communication)
showing that, for , every optimal drawing of is convex.
Convex drawings are characterized by excluding two of the five drawings of
. Two refinements of convex drawings are h-convex and f-convex drawings.
The latter have been shown by Aichholzer et al (Deciding monotonicity of good
drawings of the complete graph, Proc.~XVI Spanish Meeting on Computational
Geometry (EGC 2015), 2015) and, independently, the authors of the current
article (Levi's Lemma, pseudolinear drawings of , and empty triangles,
\rbr{J. Graph Theory DOI: 10.1002/jgt.22167)}, to be equivalent to pseudolinear
drawings. Also, h-convex drawings are equivalent to pseudospherical drawings as
demonstrated recently by Arroyo et al (Extending drawings of complete graphs
into arrangements of pseudocircles, submitted)
Gabriel Triangulations and Angle-Monotone Graphs: Local Routing and Recognition
A geometric graph is angle-monotone if every pair of vertices has a path
between them that---after some rotation---is - and -monotone.
Angle-monotone graphs are -spanners and they are increasing-chord
graphs. Dehkordi, Frati, and Gudmundsson introduced angle-monotone graphs in
2014 and proved that Gabriel triangulations are angle-monotone graphs. We give
a polynomial time algorithm to recognize angle-monotone geometric graphs. We
prove that every point set has a plane geometric graph that is generalized
angle-monotone---specifically, we prove that the half--graph is
generalized angle-monotone. We give a local routing algorithm for Gabriel
triangulations that finds a path from any vertex to any vertex whose
length is within times the Euclidean distance from to .
Finally, we prove some lower bounds and limits on local routing algorithms on
Gabriel triangulations.Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016
Which point sets admit a k-angulation?
For k >= 3, a k-angulation is a 2-connected plane graph in which every
internal face is a k-gon. We say that a point set P admits a plane graph G if
there is a straight-line drawing of G that maps V(G) onto P and has the same
facial cycles and outer face as G. We investigate the conditions under which a
point set P admits a k-angulation and find that, for sets containing at least
2k^2 points, the only obstructions are those that follow from Euler's formula.Comment: 13 pages, 7 figure
Lombardi Drawings of Graphs
We introduce the notion of Lombardi graph drawings, named after the American
abstract artist Mark Lombardi. In these drawings, edges are represented as
circular arcs rather than as line segments or polylines, and the vertices have
perfect angular resolution: the edges are equally spaced around each vertex. We
describe algorithms for finding Lombardi drawings of regular graphs, graphs of
bounded degeneracy, and certain families of planar graphs.Comment: Expanded version of paper appearing in the 18th International
Symposium on Graph Drawing (GD 2010). 13 pages, 7 figure
Compact Drawings of 1-Planar Graphs with Right-Angle Crossings and Few Bends
We study the following classes of beyond-planar graphs: 1-planar, IC-planar,
and NIC-planar graphs. These are the graphs that admit a 1-planar, IC-planar,
and NIC-planar drawing, respectively. A drawing of a graph is 1-planar if every
edge is crossed at most once. A 1-planar drawing is IC-planar if no two pairs
of crossing edges share a vertex. A 1-planar drawing is NIC-planar if no two
pairs of crossing edges share two vertices. We study the relations of these
beyond-planar graph classes (beyond-planar graphs is a collective term for the
primary attempts to generalize the planar graphs) to right-angle crossing (RAC)
graphs that admit compact drawings on the grid with few bends. We present four
drawing algorithms that preserve the given embeddings. First, we show that
every -vertex NIC-planar graph admits a NIC-planar RAC drawing with at most
one bend per edge on a grid of size . Then, we show that
every -vertex 1-planar graph admits a 1-planar RAC drawing with at most two
bends per edge on a grid of size . Finally, we make two
known algorithms embedding-preserving; for drawing 1-planar RAC graphs with at
most one bend per edge and for drawing IC-planar RAC graphs straight-line
Simple realizability of complete abstract topological graphs simplified
An abstract topological graph (briefly an AT-graph) is a pair
where is a graph and is a set of pairs of its edges. The AT-graph is simply
realizable if can be drawn in the plane so that each pair of edges from
crosses exactly once and no other pair crosses. We show that
simply realizable complete AT-graphs are characterized by a finite set of
forbidden AT-subgraphs, each with at most six vertices. This implies a
straightforward polynomial algorithm for testing simple realizability of
complete AT-graphs, which simplifies a previous algorithm by the author. We
also show an analogous result for independent -realizability,
where only the parity of the number of crossings for each pair of independent
edges is specified.Comment: 26 pages, 17 figures; major revision; original Section 5 removed and
will be included in another pape
- …