Поиск

www.samag.ru

Web

0 товаров , сумма 0 руб.

	Журнал "Системный администратор"
	Журнал «БИТ»
	Наука и технологии
	Подписка
	Где купить
	Авторам
	Рекламодателям
	Архив номеров
	Контакты

Опросы

Статьи

Электронный документооборот

5 способов повысить безопасность электронной подписи

Область применения технологий электронной подписи с каждым годом расширяется. Все больше задач

Рынок труда

Системные администраторы по-прежнему востребованы и незаменимы

Системные администраторы, практически, есть везде. Порой их не видно и не слышно,

Учебные центры

Карьерные мечты нужно воплощать! А мы поможем

Школа Bell Integrator открывает свои двери для всех, кто хочет освоить перспективную

Гость номера

Дмитрий Галов: «Нельзя сказать, что люди становятся доверчивее, скорее эволюционирует ландшафт киберугроз»

Использование мобильных устройств растет. А вместе с ними быстро растет количество мобильных

Прошу слова

Твердая рука в бархатной перчатке: принципы soft skills

Лауреат Нобелевской премии, специалист по рынку труда, профессор Лондонской школы экономики Кристофер

1001 и 1 книга

19.03.2018г.

Комментарии: 0

Потоковая обработка данных

19.03.2018г.

Комментарии: 0

Релевантный поиск с использованием Elasticsearch и Solr

19.03.2018г.

Комментарии: 0

Конкурентное программирование на SCALA

19.03.2018г.

Комментарии: 0

Машинное обучение с использованием библиотеки Н2О

12.03.2018г.

Комментарии: 0

Особенности киберпреступлений в России: инструменты нападения и защита информации

Друзья сайта

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

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

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

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

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

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

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

Введение

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

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

<...>

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

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

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

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

Tel.: (499) 277-12-41
Fax: (499) 277-12-45
E-mail: sa@samag.ru

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

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

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