constructive
dfs
hamiltonian-cycle
