Дата публикации: 2017

Дата публикации в реестре: 2020-03-03T18:58:44Z

Аннотация:

Пусть Q — произвольное конечное множество и Q(Q) —семейство всех бинарных квазигрупп, определённых на множестве Q. Преобразование Qn ^ Qn, n @ 2, реализуемое сетью У с одной бинарной операцией F , будем обозначать . В терминах строения сети У доказан критерий биективности всех преобразований из множества { y F : F £ Q(Q)} и определено каноническое представление таких сетей. Вводится и разрабатывается аппарат разметки сетей, который позволяет сформулировать и обосновать необходимые и достаточные условия для транзитивности множества преобразований { y F : F £ Q(Q)}. Предложен эффективный способ проверки транзитивности множества преобразований { y F : F £ Q(Q)}. Изложен и обоснован алгоритм построения сетей У, для которых множество преобразований { y F : F £ Q(Q)} является транзитивным.

Тип: статьи в журналах

Источник: Прикладная дискретная математика. 2017. № 38. С. 5-34