Enumerating Extended Self-Orthogonal Diagonal Latin Squares of Order Up to 10
Oleg Zaikin
ISDCT SB RAS
Lermontov street 134
664033 Irkutsk
Russia
Eduard Vatutin
Southwest State University
50 let Oktyabrya 94
305040 Kursk
Russia
Curtis Bright
University of Waterloo
200 University Ave. W
Waterloo, Ontario N2L 3G1
Canada
Abstract:
We enumerate all extended self-orthogonal diagonal Latin squares
of order up to 10. Our method reduces the problem of enumerating
extended self-orthogonal diagonal Latin squares to a satisfiability
(SAT) problem, and we find all solutions of the SAT problem using a
SAT solver. We additionally show that there is no triple of mutually
orthogonal diagonal Latin squares of order 10 containing an extended
self-orthogonal diagonal Latin square.
Full version: pdf,
dvi,
ps,
latex
(Concerned with sequences
A299784
A309210
A309283
A309598
A309599.)
Received January 27 2025; revised versions received March 17 2025; April 26 2025; December
2 2025.
Published in Journal of Integer Sequences,
December 5 2025.
Return to
Journal of Integer Sequences home page