|
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.
Received: 23.05.2016
Citation:
O. S. Zaikin, E. I. Vatutin, A. D. Zhuravlev, M. O. Manzyuk, “Applying high-performance computing to searching for triples of partially orthogonal Latin squares of order 10”, Vestn. YuUrGU. Ser. Vych. Matem. Inform., 5:3 (2016), 54–89
Linking options:
https://www.mathnet.ru/eng/vyurv144 https://www.mathnet.ru/eng/vyurv/v5/i3/p54
|
|