#1 ODLK details
Posted: Mon Jan 08, 2018 5:06 pm
ODLK solves latin squares.
Main project page is https://boinc.progger.info/odlk/
https://en.wikipedia.org/wiki/Latin_square
the full blurb in Russian
What is ОДЛК?
В проекте составляется база данных канонических форм (КФ) диагональных латинских квадратов (ДЛК) 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
Main project page is https://boinc.progger.info/odlk/
https://en.wikipedia.org/wiki/Latin_square
the full blurb in Russian
What is ОДЛК?
В проекте составляется база данных канонических форм (КФ) диагональных латинских квадратов (ДЛК) 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