Проект по поиску ортогональных диагональных латинских квадратов на BOINC

Наш давний друг, Наталия Макарова, приглашает присоединиться к своему проекту составления базы данных канонических форм диагональных латинских квадратов 10-го порядка, имеющих ортогональные диагональные латинские квадраты. Необходимые определения по теме можно найти здесь:

• https://en.wikipedia.org/wiki/Latin_square
• https://ru.wikipedia.org/wiki/Латинский квадрат

Первые три ортогональные пары ДЛК были найдены в 1992 году, они опубликованы в статье “Completion of the Spectrum of Orthogonal Diagonal Latin Squares” (J. W. Brown и другие).

В 2012-2016 гг. действовал научный BOINC-проект SAT@home, в котором искались новые ортогональные пары ДЛК 10-го порядка.

• https://ru.wikipedia.org/wiki/SAT@home
• http://sat.isa.ru/pdsat/

В данном проекте были найдены 77 уникальных ортогональных пар ДЛК, которые дали 154 уникальные КФ ОДЛК. Можно посмотреть решения, найденные в проекте SAT@home, здесь:

• http://sat.isa.ru/pdsat/solutions.php

В БД, составляемую в представляемом проекте, включены решения, найденные в проекте SAT@home

Присоединиться к проекту