|
Журнал вычислительной математики и математической физики, 1979, том 19, номер 6, страницы 1543–1554
(Mi zvmmf5319)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О соответствии монотонных булевых функций системам линейных неравенств
А. И. Зеличенко Москва
Аннотация:
Введен подкласс $K^n_{ner}$ класса монотонных булевых функций (м.б.ф.), состоящий из тех и только тех м.б.ф., для которых существуют эквивалентные им в некотором смысле системы линейных неравенств. Приведен ряд условий на м.б.ф., необходимых для того, чтобы она принадлежала к $K^n_{ner}$. Сформулированы общие результаты оценки сложности алгоритмов расшифровки м.б.ф. из некоторого подкласса класса всех м.б.ф.
Поступила в редакцию: 20.11.1978
Образец цитирования:
А. И. Зеличенко, “О соответствии монотонных булевых функций системам линейных неравенств”, Ж. вычисл. матем. и матем. физ., 19:6 (1979), 1543–1554; U.S.S.R. Comput. Math. Math. Phys., 19:6 (1979), 192–204
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf5319 https://www.mathnet.ru/rus/zvmmf/v19/i6/p1543
|
|