Аннотация:
Исследуется строение эквационально замкнутых классов. Доказывается теорема о представлении графика функции из эквационально замкнутого класса в виде
объединения множеств значений специальных вектор-функций. При любом $k\ge2$
устанавливается эквациональная порождаемость любого эквационально замкнутого
класса из $P_k$ множеством всех его $k$-местных функций. Находятся все
эквационально предполные классы в $P_k$ и доказывается критерий эквациональной
полноты. Часть результатов переносится с эквационально замкнутых классов на
позитивно замкнутые классы.
Работа выполнена при поддержке Российского фонда фундаментальных
исследований, проект 06–01–00438.
V. B. Alekseev, S. S. Marchenkov, S. N. Selezneva, “Results from the Department of Mathematical Cybernetics in the Field of Discrete Structures and Algorithm Complexity”, MoscowUniv.Comput.Math.Cybern., 48:4 (2024), 225
С. С. Марченков, “Логические расширения оператора параметрического замыкания”, Дискрет. матем., 34:3 (2022), 52–62; S. S. Marchenkov, “Logical extensions of the parametric closure operator”, Discrete Math. Appl., 33:6 (2023), 371–379
С. С. Марченков, “Эквационально замкнутые классы частичных булевых функций”, Дискретн. анализ и исслед. опер., 15:1 (2008), 82–97
С. С. Марченков, “Сильные операторы замыкания на множестве частичных булевых функций”, Докл. РАН, 419:5 (2008), 599–600; S. S. Marchenkov, “Strong closure operators on the set of partial Boolean functions”, Doklady Mathematics, 77:2 (2008), 288–289