Applying high-performance computing to searching for triples of partially orthogonal Latin squares of order 10
Автор: Zaikin O.S., Vatutin E.I., Zhuravlev A.D., Manzyuk M.O.
Рубрика: Дискретная математика и математическая кибернетика
Статья в выпуске: 3 т.5, 2016 года.
Бесплатный доступ
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.
Diagonal latin squares, partial orthogonality, boolean satisfiability problem, volunteer computing, brute force, computing cluster
Короткий адрес: https://sciup.org/147160600
IDR: 147160600 | DOI: 10.14529/cmse160304