RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive

Mat. Zametki, 2021 Volume 109, Issue 3, Pages 419–435 (Mi mzm12802)

This article is cited 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.

UDC: 519.714+519.1

Received: 28.05.2020
Revised: 23.09.2020

DOI: 10.4213/mzm12802


 English version:
Mathematical Notes, 2021, 109:3, 445–458

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025