Асимптотика конъюнкторной сложности самокорректирующихся схем для монотонных симметрических функций с порогом $2$

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