2,820 research outputs found
Embeddings of 3-connected 3-regular planar graphs on surfaces of non-negative Euler characteristic
Whitney's theorem states that every 3-connected planar graph is uniquely
embeddable on the sphere. On the other hand, it has many inequivalent
embeddings on another surface. We shall characterize structures of a
-connected -regular planar graph embedded on the projective-plane,
the torus and the Klein bottle, and give a one-to-one correspondence between
inequivalent embeddings of on each surface and some subgraphs of the dual
of embedded on the sphere. These results enable us to give explicit bounds
for the number of inequivalent embeddings of on each surface, and propose
effective algorithms for enumerating and counting these embeddings.Comment: 19 pages, 12 figure
The Complexity of Simultaneous Geometric Graph Embedding
Given a collection of planar graphs on the same set of
vertices, the simultaneous geometric embedding (with mapping) problem, or
simply -SGE, is to find a set of points in the plane and a bijection
such that the induced straight-line drawings of
under are all plane.
This problem is polynomial-time equivalent to weak rectilinear realizability
of abstract topological graphs, which Kyn\v{c}l (doi:10.1007/s00454-010-9320-x)
proved to be complete for , the existential theory of the
reals. Hence the problem -SGE is polynomial-time equivalent to several other
problems in computational geometry, such as recognizing intersection graphs of
line segments or finding the rectilinear crossing number of a graph.
We give an elementary reduction from the pseudoline stretchability problem to
-SGE, with the property that both numbers and are linear in the
number of pseudolines. This implies not only the -hardness
result, but also a lower bound on the minimum size of a
grid on which any such simultaneous embedding can be drawn. This bound is
tight. Hence there exists such collections of graphs that can be simultaneously
embedded, but every simultaneous drawing requires an exponential number of bits
per coordinates. The best value that can be extracted from Kyn\v{c}l's proof is
only
The bondage number of graphs on topological surfaces and Teschner's conjecture
The bondage number of a graph is the smallest number of its edges whose
removal results in a graph having a larger domination number. We provide
constant upper bounds for the bondage number of graphs on topological surfaces,
improve upper bounds for the bondage number in terms of the maximum vertex
degree and the orientable and non-orientable genera of the graph, and show
tight lower bounds for the number of vertices of graphs 2-cell embeddable on
topological surfaces of a given genus. Also, we provide stronger upper bounds
for graphs with no triangles and graphs with the number of vertices larger than
a certain threshold in terms of the graph genera. This settles Teschner's
Conjecture in positive for almost all graphs.Comment: 21 pages; Original version from January 201
On the Number of Embeddings of Minimally Rigid Graphs
Rigid frameworks in some Euclidian space are embedded graphs having a unique
local realization (up to Euclidian motions) for the given edge lengths,
although globally they may have several. We study the number of distinct planar
embeddings of minimally rigid graphs with vertices. We show that, modulo
planar rigid motions, this number is at most . We also exhibit several families which realize lower bounds of the order
of , and .
For the upper bound we use techniques from complex algebraic geometry, based
on the (projective) Cayley-Menger variety over the complex numbers . In this context, point configurations
are represented by coordinates given by squared distances between all pairs of
points. Sectioning the variety with hyperplanes yields at most
zero-dimensional components, and one finds this degree to be
. The lower bounds are related to inductive
constructions of minimally rigid graphs via Henneberg sequences.
The same approach works in higher dimensions. In particular we show that it
leads to an upper bound of for the number of spatial embeddings
with generic edge lengths of the 1-skeleton of a simplicial polyhedron, up to
rigid motions
The -genus of Kuratowski minors
A drawing of a graph on a surface is independently even if every pair of
nonadjacent edges in the drawing crosses an even number of times. The
-genus of a graph is the minimum such that has an
independently even drawing on the orientable surface of genus . An
unpublished result by Robertson and Seymour implies that for every , every
graph of sufficiently large genus contains as a minor a projective
grid or one of the following so-called -Kuratowski graphs: , or
copies of or sharing at most common vertices. We show that
the -genus of graphs in these families is unbounded in ; in
fact, equal to their genus. Together, this implies that the genus of a graph is
bounded from above by a function of its -genus, solving a problem
posed by Schaefer and \v{S}tefankovi\v{c}, and giving an approximate version of
the Hanani-Tutte theorem on orientable surfaces. We also obtain an analogous
result for Euler genus and Euler -genus of graphs.Comment: 23 pages, 7 figures; a few references added and correcte
- β¦