RUS  ENG
Full version
JOURNALS // Vestnik Yuzhno-Ural'skogo Gosudarstvennogo Universiteta. Seriya "Vychislitelnaya Matematika i Informatika" // Archive

Vestn. YuUrGU. Ser. Vych. Matem. Inform., 2016 Volume 5, Issue 3, Pages 54–89 (Mi vyurv144)

Discrete Mathematics and Mathematical Cybernetics

Applying high-performance computing to searching for triples of partially orthogonal Latin squares of order 10

O. S. Zaikina, E. I. Vatutinb, A. D. Zhuravlevc, M. O. Manzyukc

a Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (Lermontova 134, Irkutsk, 664033 Russia)
b Southwest State University (50 Let Oktyabrya 94, Kursk, 305040 Russia)
c Internet-portal BOINC.ru (Moscow, Russia)

Abstract: This paper deals with the search for triples of partially orthogonal Latin squares of order 10. For every known pair of orthogonal Latin squares of order 10 we add a third diagonal Latin square in such a way that the orthogonality condition between it and squares from a considered pair coincides in the maximum possible number of cells. Two approaches are used: the first one is based on reducing an original problem to Boolean satisfiability problem; the second one is based on Brute force method. Several triples of the aforementioned kind with high characteristics were constructed. The experiments were held in the volunteer computing project SAT@home and on a computing cluster.

Keywords: diagonal Latin squares, partial orthogonality, Boolean satisfiability problem, volunteer computing, brute force, computing cluster.

UDC: 519.1, 004.832.25

Received: 23.05.2016

DOI: 10.14529/cmse160304



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024