Hamiltonian cycles in hypercubes with faulty edges
Szepietowski [A. Szepietowski, Hamiltonian cycles in hypercubes with 2n-4 faulty edges, Information Sciences, 215 (2012) 75--82] observed that the hypercube Q_n is not Hamiltonian if it contains a trap disconnected halfway. A proper subgraph T is disconnected halfway if at least half of its nodes have parity 0 (or 1, resp.) and the edges joining all nodes of parity 0 (or 1, resp.) in T with nodes outside T, are faulty. The simplest examples of such traps are: (1) a vertex with n-1 incident faulty edges, or (2) a cycle (u,v,w,x), where all edges going out of the cycle from u and w are faulty. In this paper we describe all traps disconnected halfway T with the size |T|<8, and discuss the problem whether there exist small sets of faulty edges which preclude Hamiltonian cycles and are not based on sets disconnected halfway. We describe heuristic which detects sets of faulty edges which preclude HC also those sets that are not based on subgraphs disconnected halfway. We describe all Q_4 cubes that are not Hamiltonian, and all Q_5 cubes with 8 or 9 faulty edges that are not Hamiltonian.
READ FULL TEXT