Journal of Integer Sequences, Vol. 28 (2025), Article 25.7.4

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