3,484 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
Approximately Counting Embeddings into Random Graphs
Let H be a graph, and let C_H(G) be the number of (subgraph isomorphic)
copies of H contained in a graph G. We investigate the fundamental problem of
estimating C_H(G). Previous results cover only a few specific instances of this
general problem, for example, the case when H has degree at most one
(monomer-dimer problem). In this paper, we present the first general subcase of
the subgraph isomorphism counting problem which is almost always efficiently
approximable. The results rely on a new graph decomposition technique.
Informally, the decomposition is a labeling of the vertices such that every
edge is between vertices with different labels and for every vertex all
neighbors with a higher label have identical labels. The labeling implicitly
generates a sequence of bipartite graphs which permits us to break the problem
of counting embeddings of large subgraphs into that of counting embeddings of
small subgraphs. Using this method, we present a simple randomized algorithm
for the counting problem. For all decomposable graphs H and all graphs G, the
algorithm is an unbiased estimator. Furthermore, for all graphs H having a
decomposition where each of the bipartite graphs generated is small and almost
all graphs G, the algorithm is a fully polynomial randomized approximation
scheme.
We show that the graph classes of H for which we obtain a fully polynomial
randomized approximation scheme for almost all G includes graphs of degree at
most two, bounded-degree forests, bounded-length grid graphs, subdivision of
bounded-degree graphs, and major subclasses of outerplanar graphs,
series-parallel graphs and planar graphs, whereas unbounded-length grid graphs
are excluded.Comment: Earlier version appeared in Random 2008. Fixed an typo in Definition
3.
Characterization and enumeration of toroidal K_{3,3}-subdivision-free graphs
We describe the structure of 2-connected non-planar toroidal graphs with no
K_{3,3}-subdivisions, using an appropriate substitution of planar networks into
the edges of certain graphs called toroidal cores. The structural result is
based on a refinement of the algorithmic results for graphs containing a fixed
K_5-subdivision in [A. Gagarin and W. Kocay, "Embedding graphs containing
K_5-subdivisions'', Ars Combin. 64 (2002), 33-49]. It allows to recognize these
graphs in linear-time and makes possible to enumerate labelled 2-connected
toroidal graphs containing no K_{3,3}-subdivisions and having minimum vertex
degree two or three by using an approach similar to [A. Gagarin, G. Labelle,
and P. Leroux, "Counting labelled projective-planar graphs without a
K_{3,3}-subdivision", submitted, arXiv:math.CO/0406140, (2004)].Comment: 18 pages, 7 figures and 4 table
Simultaneous Embeddings with Few Bends and Crossings
A simultaneous embedding with fixed edges (SEFE) of two planar graphs and
is a pair of plane drawings of and that coincide when restricted to
the common vertices and edges of and . We show that whenever and
admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve
with few bends and every pair of edges has few crossings. Specifically: (1) if
and are trees then one bend per edge and four crossings per edge pair
suffice (and one bend per edge is sometimes necessary), (2) if is a planar
graph and is a tree then six bends per edge and eight crossings per edge
pair suffice, and (3) if and are planar graphs then six bends per edge
and sixteen crossings per edge pair suffice. Our results improve on a paper by
Grilli et al. (GD'14), which proves that nine bends per edge suffice, and on a
paper by Chan et al. (GD'14), which proves that twenty-four crossings per edge
pair suffice.Comment: Full version of the paper "Simultaneous Embeddings with Few Bends and
Crossings" accepted at GD '1
Flat Foldings of Plane Graphs with Prescribed Angles and Edge Lengths
When can a plane graph with prescribed edge lengths and prescribed angles
(from among \}) be folded flat to lie in an
infinitesimally thin line, without crossings? This problem generalizes the
classic theory of single-vertex flat origami with prescribed mountain-valley
assignment, which corresponds to the case of a cycle graph. We characterize
such flat-foldable plane graphs by two obviously necessary but also sufficient
conditions, proving a conjecture made in 2001: the angles at each vertex should
sum to , and every face of the graph must itself be flat foldable.
This characterization leads to a linear-time algorithm for testing flat
foldability of plane graphs with prescribed edge lengths and angles, and a
polynomial-time algorithm for counting the number of distinct folded states.Comment: 21 pages, 10 figure
Measured descent: A new embedding method for finite metrics
We devise a new embedding technique, which we call measured descent, based on
decomposing a metric space locally, at varying speeds, according to the density
of some probability measure. This provides a refined and unified framework for
the two primary methods of constructing Frechet embeddings for finite metrics,
due to [Bourgain, 1985] and [Rao, 1999]. We prove that any n-point metric space
(X,d) embeds in Hilbert space with distortion O(sqrt{alpha_X log n}), where
alpha_X is a geometric estimate on the decomposability of X. As an immediate
corollary, we obtain an O(sqrt{(log lambda_X) \log n}) distortion embedding,
where \lambda_X is the doubling constant of X. Since \lambda_X\le n, this
result recovers Bourgain's theorem, but when the metric X is, in a sense,
``low-dimensional,'' improved bounds are achieved.
Our embeddings are volume-respecting for subsets of arbitrary size. One
consequence is the existence of (k, O(log n)) volume-respecting embeddings for
all 1 \leq k \leq n, which is the best possible, and answers positively a
question posed by U. Feige. Our techniques are also used to answer positively a
question of Y. Rabinovich, showing that any weighted n-point planar graph
embeds in l_\infty^{O(log n)} with O(1) distortion. The O(log n) bound on the
dimension is optimal, and improves upon the previously known bound of O((log
n)^2).Comment: 17 pages. No figures. Appeared in FOCS '04. To appeaer in Geometric &
Functional Analysis. This version fixes a subtle error in Section 2.
- …