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

Дискретн. анализ и исслед. опер., сер. 1, 2000, том 7, выпуск 1, страницы 79–93 (Mi da256)

О двух операциях над булевыми функциями

Е. А. Окольнишникова

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Показано, что операции геометрического проектирования и монотонного расширения булевых функций могут приводить к усложнению реализаций булевых функций в ряде классов схем, а также в классе ветвящихся $k$-программ. Установлено, что если существует “большой разрыв” между сложностями реализации некоторой функции в классе недетерминированных и в классе детерминированных ветвящихся программ (ветвящихся $k$-программ), то можно построить пример такой функции, что существует “большой” разрыв между сложностью реализации этой функции и ее проекцией в классе детерминированных ветвящихся программ (ветвящихся $k$-программ). Ил. 2, библиогр. 12.

УДК: 519.95

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



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


© МИАН, 2024