четверг, 9 ноября 2017 г.

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

Наш давний друг, Наталия Макарова, приглашает присоединиться к своему проекту составления базы данных канонических форм диагональных латинских квадратов 10-го порядка, имеющих ортогональные диагональные латинские квадраты. Необходимые определения по теме можно найти здесь:
Первые три ортогональные пары ДЛК были найдены в 1992 году, они опубликованы в статье “Completion of the Spectrum of Orthogonal Diagonal Latin Squares” (J. W. Brown и другие).
В 2012-2016 гг. действовал научный BOINC-проект SAT@home, в котором искались новые ортогональные пары ДЛК 10-го порядка.
В данном проекте были найдены 77 уникальных ортогональных пар ДЛК, которые дали 154 уникальные КФ ОДЛК. Можно посмотреть решения, найденные в проекте SAT@home, здесь:
В БД, составляемую в представляемом проекте, включены решения, найденные в проекте SAT@home

Комментариев нет:

Отправить комментарий