RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., 2013, том 20, выпуск 3, страницы 84–100 (Mi da734)

Эта публикация цитируется в 1 статье

О сложности проблемы выполнимости системы функциональных булевых уравнений

В. С. Фёдорова

Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 119991 Москва, Россия

Аннотация: Рассматриваются функциональные булевы уравнения и проблема распознавания выполнимости для них, которая состоит в следующем: существуют ли булевы функции, удовлетворяющие данному функциональному уравнению. Устанавливаются верхняя и нижняя оценки сложности проблемы выполнимости системы функциональных булевых уравнений, тем самым обосновывается невозможность ёе решения методом, который существенно проще непосредственного перебора. Библиогр. 10.

Ключевые слова: функциональное булево уравнение, выполнимость, сложность.

УДК: 519.71

Статья поступила: 18.06.2012


 Англоязычная версия: Journal of Applied and Industrial Mathematics, 2013, 7:3, 344–354

Реферативные базы данных:


© МИАН, 2024