RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретная математика // Архив

Дискрет. матем., 2023, том 35, выпуск 1, страницы 71–81 (Mi dm1750)

О соотношениях между активностью схем из функциональных элементов и положительной чувствительностью функций алгебры логики

М. А. Местецкий, М. С. Шуплецов

МГУ им. М. В. Ломоносова

Аннотация: Рассматривается связь между нижними оценками статической активности $E(\Sigma)$ и динамической активности $S(\Sigma)$ приведенной схемы из функциональных элементов $\Sigma$ и положительной чувствительностью $\operatorname{ps}(f)$ функции алгебры логики $f$, реализуемой данной схемой. Для достаточно широкого класса базисов, состоящих из монотонных функций алгебры логики от не более чем $m$ переменных, элемента отрицания и булевских констант $0$ и $1$, доказана нижняя оценка $E(\Sigma)\geqslant \lfloor\frac{\operatorname{ps}(f)-1}{m}\rfloor$. Для динамической активности схем построен контрпример, показывающий, что для стандартного базиса из элементов дизъюнкции, конъюнкции и отрицания не существует линейной по $\operatorname{ps}(f)$ нижней оценки динамической активности.

Ключевые слова: cхемы из функциональных элементов, статическая активность, динамическая активность, положительная чувствительность.

УДК: 519.714.4

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

DOI: 10.4213/dm1750



© МИАН, 2024