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

О вычислительном поиске квазиортогональных систем латинских квадратов, близких к ортогональным системам

Авторы: Белей Е.Г., Семёнов А.А.

Журнал: International Journal of Open Information Technologies

Том: 6

Номер: 2

Год: 2018

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

Издательство:

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

URL:

Аннотация: В статье анализируются возможности применения современных алгоритмов вычислительной логики к задачам поиска некоторых комбинаторных структур. Конкретно, исследуется известная открытая проблема о существовании трех попарно ортогональных латинских квадратов 10-го порядка. Предлагается схема поиска такой тройки в форме итеративной процедуры, на каждой итерации которой строятся т.н. квазиортогональные системы. Вводится мера близости квазиортогональной системы к ортогональной, которая называется индексом ортогональности. Для построения квазиортогональных систем с заданным индексом ортогональности используются алгоритмы решения проблемы булевой выполнимости (SAT). Результаты вычислительных экспериментов демонстрируют, что современные SAT-решатели могут использоваться для поиска новых комбинаторных структур, в основе которых лежат латинские квадраты.

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

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

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

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

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