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

Предложен метод получения нижних оценок сложности реализации булевых функций недетерминированными ветвящимися программами. Получена нелинейная нижняя оценка $\Omega(n\log n/\log\log n)$ для сложности реализации характеристических функций кодов Рида–Маллера такими программами. Ил. 2, библиогр. 13.