Almost all regular graphs are hamiltonian
Random Structures & Algorithms
R. W. Robinson
Inapproximability for antiferromagnetic spin systems in the tree non-uniqueness region