Максимов, Ю. В. Реализация булевых функций с ограниченным числом нулей в классе дизъюнктивных нормальных форм [Текст] / Ю. В. Максимов // Журнал вычислительной математики и математической физики. - 2013. - Т. 53, № 9. - С. 1569-1588. - Библиогр.: c. 1587-1588 . - ISSN 0044-4669
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): алгебраические методы классификации -- булевы функции -- булевы функции с ограниченным числом нулей -- дизъюнктивные нормальные формы -- простые дизъюнктивные нормальные формы -- разложение булевых функций -- сложность булевых функций Аннотация: Рассматривается задача построения простых дизъюнктивных нормальных форм (ДНФ) булевых функций с малым числом нулей. Указанная задача интересна как в контексте исследования сложности булевых функций, так и с точки зрения ее приложений в задачах анализа данных. Метод, используемый в работе, является развитием редукционного подхода к построению ДНФ булевых функций. Ключевой идеей редукционного метода является представление булевой функции в виде дизъюнкции булевых функций с меньшим числом нулей. В ряде практически важных случаев предлагаемая техника позволяет значительно снизить сложность ДНФ реализации булевых функций. Нет сведений об экземплярах (Источник в БД не найден) |
Панов, А. В. Алгоритмы, использующие окрестности первого порядка для минимизации булевых функций [Текст] / А. В. Панов // Журнал вычислительной математики и математической физики. - 2013. - Т. 53, № 9. - С. 1589-1600. - Библиогр.: c. 1600 . - 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 Нет сведений об экземплярах (Источник в БД не найден) |
Леонтьев, В. К. О псевдобулевых полиномах [Текст] / В. К. Леонтьев // Журнал вычислительной математики и математической физики. - 2015. - Т. 55, № 11. - С. 1952-1958. - Библиогр.: c. 1958 . - ISSN 0044-4669
Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): булевы функции -- множество бинарных наборов длины -- мономы -- псевдобулевы полиномы -- псевдобулевы функции Аннотация: Псевдобулева функция - это произвольное отображение множества бинарных наборов длины n на вещественную прямую. Такого рода функции являются естественным обобщением классических булевых функций и находят многочисленные применения в разного рода прикладных исследованиях. В частности, преобразование Фурье булевой функции представляет собой псевдобулеву функцию. В работе приводится ряд фактов, связанных с псевдобулевыми полиномами, и даются их приложения к известным задачам дискретной оптимизации. Нет сведений об экземплярах (Источник в БД не найден) |