Sciweavers

Share
JSAT
2008

Towards a Classification of Hamiltonian Cycles in the 6-Cube

10 years 10 months ago
Towards a Classification of Hamiltonian Cycles in the 6-Cube
In this paper, we consider the problem of classifying Hamiltonian cycles in a binary hypercube. Previous work proposed a classification of these cycles using the edge representation, and presented it for dimension 4. We classify cycles in two further dimensions using a reduction to propositional SAT. Our proposed algorithm starts with an over-approximation of the set of equivalence classes, which is then refined using queries to a SAT-solver to remove spurious cycles. Our method performs up to three orders of magnitude faster than an enumeration with symmetry breaking in the 5-cube.
Yury Chebiryak, Daniel Kroening
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where JSAT
Authors Yury Chebiryak, Daniel Kroening
Comments (0)
books