3,010 research outputs found
The flipping puzzle on a graph
Let be a connected graph which contains an induced path of
vertices, where is the order of We consider a puzzle on . A
configuration of the puzzle is simply an -dimensional column vector over
with coordinates of the vector indexed by the vertex set . For
each configuration with a coordinate , there exists a move that
sends to the new configuration which flips the entries of the coordinates
adjacent to in We completely determine if one configuration can move
to another in a sequence of finite steps.Comment: 18 pages, 1 figure and 1 tabl
The edge-flipping group of a graph
Let be a finite simple connected graph with vertices and
edges. A configuration is an assignment of one of two colors, black or white,
to each edge of A move applied to a configuration is to select a black
edge and change the colors of all adjacent edges of
Given an initial configuration and a final configuration, try to find a
sequence of moves that transforms the initial configuration into the final
configuration. This is the edge-flipping puzzle on and it corresponds to a
group action. This group is called the edge-flipping group of
This paper shows that if has at least three vertices,
is isomorphic to a semidirect product of
and the symmetric group of degree where
if is odd, if is even, and
is the additive group of integers.Comment: 19 page
A short proof of the middle levels theorem
Consider the graph that has as vertices all bitstrings of length with
exactly or entries equal to 1, and an edge between any two bitstrings
that differ in exactly one bit. The well-known middle levels conjecture asserts
that this graph has a Hamilton cycle for any . In this paper we
present a new proof of this conjecture, which is much shorter and more
accessible than the original proof
Flipping Cubical Meshes
We define and examine flip operations for quadrilateral and hexahedral
meshes, similar to the flipping transformations previously used in triangular
and tetrahedral mesh generation.Comment: 20 pages, 24 figures. Expanded journal version of paper from 10th
International Meshing Roundtable. This version removes some unwanted
paragraph breaks from the previous version; the text is unchange
Sparse Kneser graphs are Hamiltonian
For integers and , the Kneser graph is the
graph whose vertices are the -element subsets of and whose
edges connect pairs of subsets that are disjoint. The Kneser graphs of the form
are also known as the odd graphs. We settle an old problem due to
Meredith, Lloyd, and Biggs from the 1970s, proving that for every ,
the odd graph has a Hamilton cycle. This and a known conditional
result due to Johnson imply that all Kneser graphs of the form
with and have a Hamilton cycle. We also prove that
has at least distinct Hamilton cycles for .
Our proofs are based on a reduction of the Hamiltonicity problem in the odd
graph to the problem of finding a spanning tree in a suitably defined
hypergraph on Dyck words
- …