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

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

Тип публикации: Статья в журнале

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

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

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

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

Том: 6

Номера страниц: 22-30

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

Номер: 2

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

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

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

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

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

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

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

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

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