|
Преобразования переменных, инвариантные относительно задач минимизации бинарных функций многозначных аргументов
А. В. Панов 119991 Москва, Ленинские горы, МГУ, ВМК
Аннотация:
Вводится ряд преобразований, инвариантных относительно задач минимизации, позволяющих сократить максимальное возможное количество различных столбцов в матрице нулей произвольной бинарной функции многозначных аргументов, что, в свою очередь, позволяет строить более простые дизъюнктивные нормальные формы. Даны оценки сложности построенных дизъюнктивных нормальных форм для произвольных бинарных функций $k$-значных аргументов. Библ. 3.
Ключевые слова:
дизъюнктивные нормальные формы, бинарные функции многозначных аргументов, $k$-значная логика, функции с малым числом нулей, сложность дизъюнктивных нормальных форм, инвариантные преобразования переменных.
Поступила в редакцию: 02.07.2015
Образец цитирования:
А. В. Панов, “Преобразования переменных, инвариантные относительно задач минимизации бинарных функций многозначных аргументов”, Ж. вычисл. матем. и матем. физ., 56:8 (2016), 1536–1540; Comput. Math. Math. Phys., 56:8 (2016), 1517–1521
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf10444 https://www.mathnet.ru/rus/zvmmf/v56/i8/p1536
|
|