Séminaire Lotharingien de Combinatoire, B34f (1995), 21pp.
Robert Stoyan and Volker Strehl
Enumeration of Hamiltonian Circuits in Rectangular Grids
Abstract.
We describe an algorithm for computing the number h(m,n) of
Hamiltonian circuits in a m-by-n rectangular grid graph.
For any fixed m, the set of Hamiltonian circuits on such graphs
(for varying n) can be identified via an appropriate coding
with the words of a certain regular language L(m).
We show how to systematically construct a finite automaton A(m)
recognizing L(m). This allows, in principle,
the computation of the (rational) generating function h(m)(z) of
L(m).
We exhibit a bijection between the states of A(m) and the words
of length m+1 of the familiar Motzkin language. This yields an
upper bound on the degree of the denominator polynomial of h(m)(z),
hence of the order of the linear recurrence satisfied by the coefficients
h(m,n) for fixed m.
The method described here has been implemented. Numerical data resulting
from this implementation are presented at the end of this article.
The following versions are available: