I've recently been taking a combinatorics class and have become interested in Hamiltonian graphs.
This OEIS entry lists the number of Hamiltonian graphs on $n$ vertices up to $n =12$. However, I am having difficulty finding how these numbers were found. Is it naive to expect an algorithm which actually constructs all the hamiltonian graphs (at least for $n$ not too large) to exist?
Thanks.
I expect by constructing all graphs, probably using Brendan McKay’s program “geng” and extracting the Hamiltonian ones. Needs quite a few computer cores to do n=12, and I wouldn’t try 13.