Панов, А. В. Преобразования переменных, инвариантные относительно задач минимизации бинарных функций многозначных аргументов [Текст] / А. В. Панов // Журнал вычислительной математики и математической физики. - 2016. - Т. 56, № 8. - С. 1536-1540. - Библиогр.: c. 1540 . - ISSN 0044-4669
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): k-значная логика -- бинарные функции многозначных аргументов -- дизъюнктивные нормальные формы -- инвариантные преобразования переменных -- сложность дизъюнктивных нормальных форм -- функции с малым числом нулей Аннотация: Вводится ряд преобразований, инвариантных относительно задач минимизации, позволяющих сократить максимальное возможное количество различных столбцов в матрице нулей произвольной бинарной функции многозначных аргументов, что, в свою очередь, позволяет строить более простые дизъюнктивные нормальные формы. Даны оценки сложности построенных дизъюнктивных нормальных форм для произвольных бинарных функций k-значных аргументов. Нет сведений об экземплярах (Источник в БД не найден) |