Hamiltonian Cycle to TSP Reduction