http://cs482.elliottback.com/lecture-25-hamiltonian-cycle-problem/
W pierwszej edycji Cormena była redukcja z 3SAT. W drugiej zmienili na redukcję z VERTEX-COVER, bo łatwiej:/ W trzeciej dowód jest pewnie zupełnie pominięty.