RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал Белорусского государственного университета. Математика. Информатика // Архив

Журн. Белорус. гос. ун-та. Матем. Инф., 2017, том 3, страницы 85–93 (Mi bgumi147)

Дискретная математика и Математическая кибернетика

Расширенные полиномиальные матрицы и алгебраизация контактных схем

Ю. Г. Таразевич

Белорусский государственный университет, пр. Независимости, 4, 220030, г. Минск, Беларусь

Аннотация: Над кольцами полиномов с идемпотентными переменными (над произвольными полями) найдены классы расширенных матриц (с одним выделенным столбцом), реализующих булевы функции. В последних классах расширенных матриц (над любыми полями) определена система эквивалентных преобразований (сохраняющих реализуемые матрицами булевы функции), обобщающая известную систему элементарных преобразований (строк и столбцов) обычных многочленных матриц. Доказана полнота этой системы для простейшего (двузначного) случая – в классе расширенных матриц над кольцом полиномов Жегалкина. В частности, дан метод приведения произвольной расширенной матрицы над кольцом полиномов Жегалкина с помощью этой системы преобразований к однозначно определяемому одноэлементному виду. Для того же (двузначного) случая показано, что класс двоичных матриц инциденций контактных схем является, по существу, подклассом класса расширенных матриц над кольцом полиномов Жегалкина. Таким образом, получено простейшее «вполне алгебраическое» расширение класса контактных схем – одного из базовых модельных классов математической теории управляющих систем.

Ключевые слова: полином с идемпотентными переменными; расширенная полиномиальная матрица; полный обратный метаморфоз; алгебраизация контактных схем; контактный гиперграф.

УДК: 519.71

Поступила в редакцию: 12.06.2017



© МИАН, 2024