Журнал вычислительной математики и математической физики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Ж. вычисл. матем. и матем. физ.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Журнал вычислительной математики и математической физики, 2002, том 42, номер 2, страницы 269–272 (Mi zvmmf1237)  
Сравнение двух алгоритмов упрощения дизъюнктивных нормальных форм

П. В. Юдаев

119899 Москва, Воробьевы горы, МГУ, ВМК
PDF полного текста (656 kB)
Список литературы:
PDF
HTML
Аннотация: Сравнивается действие двух классов локальных алгоритмов упрощения дизъюнктивных нормальных форм (ДНФ) на сокращенные ДНФ булевых функций, зависящих от небольшого числа переменных. Доказывается, что при числе переменных не менее 7 существуют функции, сокращенные ДНФ которых по-разному упрощаются алгоритмами из разных классов, а сокращенную ДНФ любой функции, зависящей не более чем от 6 переменных, алгоритмы из этих классов упрощают одинаково.
Поступила в редакцию: 16.12.2000
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.71
MSC: Primary 06E30; Secondary 94C10, 68W30
Образец цитирования: П. В. Юдаев, “Сравнение двух алгоритмов упрощения дизъюнктивных нормальных форм”, Ж. вычисл. матем. и матем. физ., 42:2 (2002), 269–272; Comput. Math. Math. Phys., 42:2 (2002), 257–260
Цитирование в формате AMSBIB
\RBibitem{Yud02}
\by П.~В.~Юдаев
\paper Сравнение двух алгоритмов упрощения дизъюнктивных нормальных форм
\jour Ж. вычисл. матем. и матем. физ.
\yr 2002
\vol 42
\issue 2
\pages 269--272
\mathnet{http://mi.mathnet.ru/zvmmf1237}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=1896876}
\zmath{https://zbmath.org/?q=an:1055.06005}
\transl
\jour Comput. Math. Math. Phys.
\yr 2002
\vol 42
\issue 2
\pages 257--260
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/zvmmf1237
  • https://www.mathnet.ru/rus/zvmmf/v42/i2/p269
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Журнал вычислительной математики и математической физики Computational Mathematics and Mathematical Physics
    Статистика просмотров:
    Страница аннотации:415
    PDF полного текста:248
    Список литературы:133
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026