OFFSET
0,9
COMMENTS
"Loop" means any continuous curve starting and ending at the same point.
"Touch" includes vertices and edges of grid cells.
"Canonical representative" is a single loop chosen from its orbit under the Euclidean group E(2).
Using the shortest known lengths: a(11) to a(13) >= 24, 3, 15 and a(6k) >= 4^(k-2)+2^(k-2) + binomial(k-1,floor((k-1)/2)), for k >= 2, with equality iff k = 2.
LINKS
Zoe Allen, Touching as many grid squares as possible with path of given length, Math StackExchange, Feb 18 2025.
Tamás Fülöp, C++ program, GitHub repository, Oct 07 2025.
Tamás Fülöp, All loops with n = 3 - 10, Oct 07 2025.
CROSSREFS
KEYWORD
nonn,more,hard
AUTHOR
Tamás Fülöp, Oct 25 2025
STATUS
approved
