Инверсионная сложность самокорректирующихся схем для одной последовательности булевых функций

Для последовательности булевых функций $f_2^n(x_1,\ldots,x_n)=\bigvee\limits_{1\leq i<j\leq n}x_i x_j$ при любых фиксированных $k$, $p\geq1$ и растущем $n$ установлена асимптотика $L_k^{-}(f^n_2)\thicksim n\min\{k+1,p\}$, где $L_k^{-}(f^n_2)$ — инверсионная сложность реализации функции $ f^n_2$ $k$-самокорректирующимися схемами из функциональных элементов в базисе $B=\{\&,-\} $, $p$ — вес надежного инвертора.