Bulletin of Irkutsk State University. Series Mathematics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Bulletin of Irkutsk State University. Series Mathematics:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Bulletin of Irkutsk State University. Series Mathematics, 2019, Volume 30, Pages 125–140
DOI: https://doi.org/10.26516/1997-7670.2019.30.125
(Mi iigum400)
 

This article is cited in 2 scientific papers (total in 2 papers)

Algebraic and logical methods in computer science and artificial intelligence

Complexity lower bound for Boolean functions in the class of extended operator forms

A. S. Baliuk

Irkutsk State University, Irkutsk, Russian Federation
Full-text PDF (476 kB) Citations (2)
References:
Abstract: Starting with the fundamental work of D.E.Muller in 1954, the polynomial representations of Boolean functions are widely investigated in connection with the theory of coding and for the synthesis of circuits of digital devices. The operator approach to polynomial representations, proposed in the works of S. F. Vinokurov, made it possible, on the one hand, to uniformly describe all known types of polynomial forms of Boolean functions, and, on the other hand, to generalize them to the case of expansions by the operator images of arbitrary odd function, not only conjunction.
In the study of polynomial and, in the general case, operator forms, one of the main questions is obtaining lower and upper bounds of the complexity of the representation of Boolean functions in various classes of forms. The upper bounds of complexity are actually algorithms for minimizing Boolean functions in a particular class of forms.
The lower bounds of complexity can be divided into two types: combinatorial and effective. Combinatorial lower bounds make it possible to prove the existence of Boolean functions, having high complexity, without finding the explicit form of these functions. Effective lower bounds are based on explicit constructing Boolean functions that have high complexity in a particular class of forms.
In this paper, using an algebraic extension of a finite field of order 2, we obtain a lower bound for the complexity of Boolean functions in the class of extended operator forms. This lower bound strengthens the previously known lower bounds for this class of operator forms and is becoming asymptotically optimal if the sequence of Mersenne primes is infinite.
Keywords: Boolean function, lower bound, extension of finite field, Mersenne prime.
Funding agency Grant number
Russian Foundation for Basic Research 19-01-00200
This work was supported by Russian Foundation for Basic Research, grant N 19-01-00200.
Received: 09.09.2019
Bibliographic databases:
Document Type: Article
UDC: 519.714.4
MSC: 68Q17
Language: English
Citation: A. S. Baliuk, “Complexity lower bound for Boolean functions in the class of extended operator forms”, Bulletin of Irkutsk State University. Series Mathematics, 30 (2019), 125–140
Citation in format AMSBIB
\Bibitem{Bal19}
\by A.~S.~Baliuk
\paper Complexity lower bound for Boolean functions in the class of extended operator forms
\jour Bulletin of Irkutsk State University. Series Mathematics
\yr 2019
\vol 30
\pages 125--140
\mathnet{http://mi.mathnet.ru/iigum400}
\crossref{https://doi.org/10.26516/1997-7670.2019.30.125}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000504646800010}
Linking options:
  • https://www.mathnet.ru/eng/iigum400
  • https://www.mathnet.ru/eng/iigum/v30/p125
  • This publication is cited in the following 2 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:189
    Full-text PDF :44
    References:17
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024