Write a polynomial-time verification algorithm for the Hamiltonian Circuits Decision problem. (list the steps of your verification algorithm and show that it has polynomial time complexity.)