Декомпозиция конъюнктивных нормальных форм в задаче выполнимости::
www.samag.ru
Журнал «БИТ. Бизнес&Информационные технологии»      
Поиск   
              
 www.samag.ru    Web  0 товаров , сумма 0 руб.
E-mail
Пароль  
 Запомнить меня
Регистрация | Забыли пароль?
Журнал "Системный администратор"
Журнал «БИТ»
Наука и технологии
Подписка
Где купить
Авторам
Рекламодателям
Магазин
Архив номеров
Вакансии
Контакты
   

Jobsora


  Опросы
1001 и 1 книга  
12.02.2021г.
Просмотров: 1210
Комментарии: 0
Коротко о корпусе. Как выбрать системный блок под конкретные задачи

 Читать далее...

11.02.2021г.
Просмотров: 980
Комментарии: 0
Василий Севостьянов: «Как безболезненно перейти с одного продукта на другой»

 Читать далее...

20.12.2019г.
Просмотров: 7859
Комментарии: 0
Dr.Web: всё под контролем

 Читать далее...

04.12.2019г.
Просмотров: 8925
Комментарии: 2
Особенности сертификаций по этичному хакингу

 Читать далее...

28.05.2019г.
Просмотров: 9926
Комментарии: 2
Анализ вредоносных программ

 Читать далее...

Друзья сайта  

Форум системных администраторов  

sysadmins.ru

 Декомпозиция конъюнктивных нормальных форм в задаче выполнимости

Архив номеров / 2020 / Выпуск №11 (216) / Декомпозиция конъюнктивных нормальных форм в задаче выполнимости

Рубрика: Наука и технологии /  Раздел для научных публикаций

Гданский Н.И.,
профессор кафедры прикладной математики и искусственного интеллекта института Информационных и вычислительных технологий, ФГБОУ ВО «Национальный исследовательский университет «МЭИ», Москва, РФ, al-kpp@mail.ru

Денисов А.А.,
аспирант, ФГБОУ ВО «Национальный исследовательский университет «МЭИ», Москва, РФ, aadenisov88@gmail.com

 

Декомпозиция конъюнктивных нормальных форм
в задаче выполнимости

Рассмотрены существующие методы декомпозиции конъюнктивных нормальных форм булевых функций. На основе их анализа предложен метод дистрибутивной декомпозиции формул КНФ

 

Введение

В задаче выполнимости булевых функций, которая заключается в поиске решений уравнения F = true, данные функции обычно представлены в виде конъюнктивной нормальной формы (КНФ) вида F = С1&С2&…&Сk. В ней дизъюнкты С1 - Сk являются логическими суммами литер – переменных или их отрицаний. Обозначим длины дизъюнктов С1 - Сk через l1 - lk.

Задача выполнимости КНФ является первой, для которой доказана NP-полнота [1]. Переход к задаче выполнимости является одним из наиболее эффективных подходов при автоматизации решения многих практических задач, таких как построения шаблонов [2, 3], автоматизация доказательства теорем [4], model checking [5], искусственный интеллект [6] и многих других.

<...>


Полную версию статьи читайте в журнале
Подпишитесь на журнал
Купите в Интернет-магазине

Комментарии отсутствуют

Добавить комментарий

Комментарии могут оставлять только зарегистрированные пользователи

               Copyright © Системный администратор

Яндекс.Метрика
Tel.: (499) 277-12-41
Fax: (499) 277-12-45
E-mail: sa@samag.ru