Максимов, Ю. В. Реализация булевых функций с ограниченным числом нулей в классе дизъюнктивных нормальных форм [Текст] / Ю. В. Максимов // Журнал вычислительной математики и математической физики. - 2013. - Т. 53, № 9. - С. 1569-1588. - Библиогр.: c. 1587-1588 . - ISSN 0044-4669
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): алгебраические методы классификации -- булевы функции -- булевы функции с ограниченным числом нулей -- дизъюнктивные нормальные формы -- простые дизъюнктивные нормальные формы -- разложение булевых функций -- сложность булевых функций Аннотация: Рассматривается задача построения простых дизъюнктивных нормальных форм (ДНФ) булевых функций с малым числом нулей. Указанная задача интересна как в контексте исследования сложности булевых функций, так и с точки зрения ее приложений в задачах анализа данных. Метод, используемый в работе, является развитием редукционного подхода к построению ДНФ булевых функций. Ключевой идеей редукционного метода является представление булевой функции в виде дизъюнкции булевых функций с меньшим числом нулей. В ряде практически важных случаев предлагаемая техника позволяет значительно снизить сложность ДНФ реализации булевых функций. Нет сведений об экземплярах (Источник в БД не найден) |
Панов, А. В. Бинарные функции многозначных аргументов. Обобщения и исследования дизъюнктивных нормальных форм для таких функций [Текст] / А. В. Панов // Журнал вычислительной математики и математической физики. - 2015. - Т. 55, № 1. - С. 135-144. - Библиогр.: c. 144 . - ISSN 0044-4669
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): k -значная логика -- Яблонского формула -- бинарные функции -- булевы функции -- дизъюнктивные нормальные формы -- многозначные аргументы -- формула Яблонского -- функции с малым числом нулей Аннотация: Теория дизъюнктивных нормальных форм, обобщаемая на случай бинарных функций многозначных аргументов. Рассматриваются фундаментальные понятия и свойства этих обобщений. Предлагается эффективный метод построения дизъюнктивных нормальных форм для бинарных функций многозначных аргументов с малым числом нулей. Подробно изучаются дизъюнктивные нормальные формы аналога функции Яблонского. Нет сведений об экземплярах (Источник в БД не найден) |
Максимов, Ю. В. Кратчайшие и минимальные дизъюнктивные нормальные формы полных функций [Текст] / Ю. В. Максимов // Журнал вычислительной математики и математической физики. - 2015. - Т. 55, № 7. - С. 1266-1280. - Библиогр.: c. 1279-1280 . - ISSN 0044-4669
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): булевы функции -- дизъюнктивные нормальные формы -- минимальность дизъюнктивных нормальных форм Аннотация: Почти всем булевым функциям от n переменных, число нулей k которых не превышает log_2n-log_2log_2n+1, может быть сопоставлена некоторая булева функция от 2 Нет сведений об экземплярах (Источник в БД не найден) |
Панов, А. В. Преобразования переменных, инвариантные относительно задач минимизации бинарных функций многозначных аргументов [Текст] / А. В. Панов // Журнал вычислительной математики и математической физики. - 2016. - Т. 56, № 8. - С. 1536-1540. - Библиогр.: c. 1540 . - ISSN 0044-4669
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): k-значная логика -- бинарные функции многозначных аргументов -- дизъюнктивные нормальные формы -- инвариантные преобразования переменных -- сложность дизъюнктивных нормальных форм -- функции с малым числом нулей Аннотация: Вводится ряд преобразований, инвариантных относительно задач минимизации, позволяющих сократить максимальное возможное количество различных столбцов в матрице нулей произвольной бинарной функции многозначных аргументов, что, в свою очередь, позволяет строить более простые дизъюнктивные нормальные формы. Даны оценки сложности построенных дизъюнктивных нормальных форм для произвольных бинарных функций k-значных аргументов. Нет сведений об экземплярах (Источник в БД не найден) |