Hamiltonian Cycle Problem (HAMILTONIAN)

The Hamiltonian Cycle Problem (HAMILTONIAN) takes an input of:

• an undirected graph $G=(V,E)$

It provides an output of $\top$ if and only if $G$ contains a Hamiltonian cycle.