Аннотация:
Сформулированы достаточные условия локальной бесповторности минимальных $\pi$-схем, реализующих линейные булевы функции. Выполнение этих условий приводит к описанию классов минимальных $\pi$-схем, реализующих линейные булевы функции, существенно зависящие от $n$ переменных. Ил. 2, библиогр. 12.
Ключевые слова:сложность формул, $\pi$-схема, нижняя оценка сложности.
УДК:519.714
Статья поступила: 16.03.2015 Переработанный вариант: 23.07.2015