|
This article is cited in 2 scientific papers (total in 2 papers)
Formula Complexity of a Linear Function in a $k$-ary Basis
I. S. Sergeev Research Institute "Kvant", Moscow
Abstract:
A way of extending the Khrapchenko method of finding a lower bound for the complexity of binary formulas to formulas in $k$-ary bases is proposed. The resulting extension makes it possible to evaluate the complexity of a linear Boolean function and a majority function of $n$ variables when realized by formulas in the basis of all $k$-ary monotone functions and negation as $\Omega(n^{g(k)})$, where $g (k)=1+\Theta(1/\ln k)$. For a linear function, the complexity bound in this form is unimprovable. For $k=3$, the sharper lower bound $\Omega(n^{1.53})$ is proved.
Keywords:
Boolean formulas, linear function, majority function, Khrapchenko method, bipartite graphs, lower bounds for complexity.
Received: 28.05.2020 Revised: 23.09.2020
Citation:
I. S. Sergeev, “Formula Complexity of a Linear Function in a $k$-ary Basis”, Mat. Zametki, 109:3 (2021), 419–435; Math. Notes, 109:3 (2021), 445–458
Linking options:
https://www.mathnet.ru/eng/mzm12802https://doi.org/10.4213/mzm12802 https://www.mathnet.ru/eng/mzm/v109/i3/p419
|
|