75 research outputs found
Parity balance of the -th dimension edges in Hamiltonian cycles of the hypercube
Let be an integer, and let . An -th dimension
edge in the -dimensional hypercube is an edge such that
differ just at their -th entries. The parity of an -th
dimension edge \edg{v_1}{v_2} is the number of 1's modulus 2 of any of its
vertex ignoring the -th entry. We prove that the number of -th dimension
edges appearing in a given Hamiltonian cycle of with parity zero
coincides with the number of edges with parity one. As an application of this
result it is introduced and explored the conjecture of the inscribed squares in
Hamiltonian cycles of the hypercube: Any Hamiltonian cycle in contains
two opposite edges in a 4-cycle. We prove this conjecture for , and
for any Hamiltonian cycle containing more than edges in the same
dimension. This bound is finally improved considering the equi-independence
number of , which is a concept introduced in this paper for bipartite
graphs
Extending a perfect matching to a Hamiltonian cycle
Graph TheoryInternational audienceRuskey and Savage conjectured that in the d-dimensional hypercube, every matching M can be extended to a Hamiltonian cycle. Fink verified this for every perfect matching M, remarkably even if M contains external edges. We prove that this property also holds for sparse spanning regular subgraphs of the cubes: for every d ≥7 and every k, where 7 ≤k ≤d, the d-dimensional hypercube contains a k-regular spanning subgraph such that every perfect matching (possibly with external edges) can be extended to a Hamiltonian cycle. We do not know if this result can be extended to k=4,5,6. It cannot be extended to k=3. Indeed, there are only three 3-regular graphs such that every perfect matching (possibly with external edges) can be extended to a Hamiltonian cycle, namely the complete graph on 4 vertices, the complete bipartite 3-regular graph on 6 vertices and the 3-cube on 8 vertices. Also, we do not know if there are graphs of girth at least 5 with this matching-extendability property
Decomposing the cube into paths
We consider the question of when the -dimensional hypercube can be
decomposed into paths of length . Mollard and Ramras \cite{MR2013} noted
that for odd it is necessary that divides and that . Later, Anick and Ramras \cite{AR2013} showed that these two conditions are
also sufficient for odd and conjectured that this was true for
all odd . In this note we prove the conjecture.Comment: 7 pages, 2 figure
On the central levels problem
The \emph{central levels problem} asserts that the subgraph of the -dimensional hypercube induced by all bitstrings with at least many 1s and at most many 1s, i.e., the vertices in the middle levels, has a Hamilton cycle for any and .
This problem was raised independently by Buck and Wiedemann, Savage, Gregor and {\v{S}}krekovski, and by Shen and Williams, and it is a common generalization of the well-known \emph{middle levels problem}, namely the case , and classical binary Gray codes, namely the case .
In this paper we present a general constructive solution of the central levels problem.
Our results also imply the existence of optimal cycles through any sequence of consecutive levels in the -dimensional hypercube for any and .
Moreover, extending an earlier construction by Streib and Trotter, we construct a Hamilton cycle through the -dimensional hypercube, , that contains the symmetric chain decomposition constructed by Greene and Kleitman in the 1970s, and we provide a loopless algorithm for computing the corresponding Gray code
- …