Страница публикации

Поиск пар ортогональных диагональных латинских квадратов порядка 10 в проекте добровольных распределенных вычислений SAT@home

Авторы: Заикин О.С., Кочемазов С.Е., Белоречев И.Д.

Журнал: Тр. Междунар. конф. "Параллельные вычислительные технологии" (ПаВТ'2015, Екатеринбург, 31 марта-2 апреля 2015 г.)

Том:

Номер:

Год: 2015

Отчётный год: 2015

Издательство: Издательский центр ЮУрГУ

Местоположение издательства: Челябинск

URL:

Аннотация: В статье рассматривается подход к решению задач поиска систем ортогональных латинских квадратов, основанный на сведении этих задач к проблеме булевой выполнимости. Была построена соответствующая кодировка для задачи поиска пар ортогональных диагональных латинских квадратов порядка 10. С помощью построенной кодировки в проекте добровольных распределенных вычислений SAT@home были найдены 17 новых пар. На основе 17 найденных пар, а также 3 ранее известных пар, были построены псевдотройки диагональных латинских квадратов порядка 10. Построение псевдотроек было осуществлено на вычислительном кластере, для этого была сделана параллельная реализация алгоритма генерации диагональных латинских квадратов порядка 10.

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: