Hamiltonian Cycles problem is NP-complete?
yes