From: J Siehler on
I could be overlooking something, but there seems to be no mention in
the documentation (Version 7.0) that HamiltonianCycle and HamiltonianQ
do not work properly for directed graphs. Not only that, they fail in
a misleading way, returning a result with no warning that it's
probably bogus. This is noted in the MathWorld page on Hamiltonian
Cycles (http://mathworld.wolfram.com/HamiltonianCycle.html), but
perhaps the fact could be noted more clearly in the documentation for
these functions?

In[22]:= FromOrderedPairs[{{1,2},{2,3},{3,1}}]
HamiltonianQ[%]

Out[22]=Graph:<3,3,Directed >
Out[23]= False