Definitions for "Hamiltonian cycle"