7,372 research outputs found
Schnyder decompositions for regular plane graphs and application to drawing
Schnyder woods are decompositions of simple triangulations into three
edge-disjoint spanning trees crossing each other in a specific way. In this
article, we define a generalization of Schnyder woods to -angulations (plane
graphs with faces of degree ) for all . A \emph{Schnyder
decomposition} is a set of spanning forests crossing each other in a
specific way, and such that each internal edge is part of exactly of the
spanning forests. We show that a Schnyder decomposition exists if and only if
the girth of the -angulation is . As in the case of Schnyder woods
(), there are alternative formulations in terms of orientations
("fractional" orientations when ) and in terms of corner-labellings.
Moreover, the set of Schnyder decompositions on a fixed -angulation of girth
is a distributive lattice. We also show that the structures dual to
Schnyder decompositions (on -regular plane graphs of mincut rooted at a
vertex ) are decompositions into spanning trees rooted at such
that each edge not incident to is used in opposite directions by two
trees. Additionally, for even values of , we show that a subclass of
Schnyder decompositions, which are called even, enjoy additional properties
that yield a reduced formulation; in the case d=4, these correspond to
well-studied structures on simple quadrangulations (2-orientations and
partitions into 2 spanning trees). In the case d=4, the dual of even Schnyder
decompositions yields (planar) orthogonal and straight-line drawing algorithms.
For a 4-regular plane graph of mincut 4 with vertices plus a marked
vertex , the vertices of are placed on a grid according to a permutation pattern, and in the orthogonal drawing
each of the edges of has exactly one bend. Embedding
also the marked vertex is doable at the cost of two additional rows and
columns and 8 additional bends for the 4 edges incident to . We propose a
further compaction step for the drawing algorithm and show that the obtained
grid-size is strongly concentrated around for a uniformly
random instance with vertices
On Hamilton Decompositions of Line Graphs of Non-Hamiltonian Graphs and Graphs without Separating Transitions
In contrast with Kotzig's result that the line graph of a -regular graph
is Hamilton decomposable if and only if is Hamiltonian, we show that
for each integer there exists a simple non-Hamiltonian -regular
graph whose line graph has a Hamilton decomposition. We also answer a question
of Jackson by showing that for each integer there exists a simple
connected -regular graph with no separating transitions whose line graph has
no Hamilton decomposition
Hamilton cycles in graphs and hypergraphs: an extremal perspective
As one of the most fundamental and well-known NP-complete problems, the
Hamilton cycle problem has been the subject of intensive research. Recent
developments in the area have highlighted the crucial role played by the
notions of expansion and quasi-randomness. These concepts and other recent
techniques have led to the solution of several long-standing problems in the
area. New aspects have also emerged, such as resilience, robustness and the
study of Hamilton cycles in hypergraphs. We survey these developments and
highlight open problems, with an emphasis on extremal and probabilistic
approaches.Comment: to appear in the Proceedings of the ICM 2014; due to given page
limits, this final version is slightly shorter than the previous arxiv
versio
Long path and cycle decompositions of even hypercubes
We consider edge decompositions of the -dimensional hypercube into
isomorphic copies of a given graph . While a number of results are known
about decomposing into graphs from various classes, the simplest cases of
paths and cycles of a given length are far from being understood. A conjecture
of Erde asserts that if is even, and divides the number
of edges of , then the path of length decomposes . Tapadia et
al.\ proved that any path of length , where , satisfying these
conditions decomposes . Here, we make progress toward resolving Erde's
conjecture by showing that cycles of certain lengths up to
decompose . As a consequence, we show that can be decomposed into
copies of any path of length at most dividing the number of edges of
, thereby settling Erde's conjecture up to a linear factor
Resolution of the Oberwolfach problem
The Oberwolfach problem, posed by Ringel in 1967, asks for a decomposition of
into edge-disjoint copies of a given -factor. We show that this
can be achieved for all large . We actually prove a significantly more
general result, which allows for decompositions into more general types of
factors. In particular, this also resolves the Hamilton-Waterloo problem for
large .Comment: 28 page
- …