РУАЭСТ (RUAEST)
Предложен новый прием реализации формулами оператора подсчета количества единиц в булевом наборе, основанный на приближенном вычислении суммы. С его помощью неконструктивно получены новые верхние оценки сложности и глубины формул для произвольных и некоторых конкретных симметрических функций над базисом В2 всех двухместных булевых функций и над стандартным базисом Во = {∧, ∨,-}. В частности, глубина умножения n-разрядных двоичных чисел оценивается сверху асимптотически как 4, 02 log2 n над базисом В2 и как 5,14 log2 n над базисом Во.