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

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

Тип публикации: Материал конференции

Тип материала: Текст

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

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

Язык публикации: russian

Номера страниц: 157-165

Количество страниц: 9

Год публикации: 2015

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

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

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

Адрес издателя: Челябинск

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

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

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

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет