Skip to main content
Log in

On the multiplicative complexity of some Boolean functions

  • Published:
Computational Mathematics and Mathematical Physics Aims and scope Submit manuscript

Abstract

In this paper, we study the multiplicative complexity of Boolean functions. The multiplicative complexity of a Boolean function f is the smallest number of &-gates in circuits in the basis {x & y, xy, 1} such that each such circuit computes the function f. We consider Boolean functions which are represented in the form x 1, x 2x n q(x 1, ⋯, x n ), where the degree of the function q(x 1, ⋯, x n ) is 2. We prove that the multiplicative complexity of each such function is equal to (n − 1). We also prove that the multiplicative complexity of Boolean functions which are represented in the form x 1x n r(x 1, ⋯, x n ), where r(x 1, ⋯, x n ) is a multi-affine function, is, in some cases, equal to (n − 1).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. E. I. Nechiporuk, “On the complexity of schemes in some bases containing nontrivial elements with zero weights,” Problems in Cybernetics (Fizmatlit, Moscow, 1962), Vol. 8, pp. 123–160 [in Russian].

    Google Scholar 

  2. J. Boyar, R. Peralta, and D. Pochuev, “On the multiplicative complexity of boolean functions over the basis {∧, ⊕, 1},” Theor. Comput. Sci. 235, 43–57 (2000).

    Article  MATH  MathSciNet  Google Scholar 

  3. C. P. Schnorr, “The multiplicative complexity of Boolean functions,” Proceedings of the 6th International Conference AAECC-6, Lecture Notes Comput. Sci. (Springer, Berlin, 1989), Vol. 357, pp. 45–58.

    Google Scholar 

  4. R. Mirwald and C. P. Schnorr, “The multiplicative complexity of quadratic Boolean forms,” Theor. Comput. Sci. 102, 307–328 (1992).

    Article  MATH  MathSciNet  Google Scholar 

  5. J. Boyar, R. Peralta, and D. Pochuev, “Concrete multiplicative complexity of symmetric functions,” Technical Report YALEU/DCS/TR1219, Computer Science Department (Yale University, 2001).

    Google Scholar 

  6. J. Boyar and R. Peralta, “The exact multiplicative complexity of the Hamming weight function,” Electron. Colloquium Comput. Complexity 12 (2005).

  7. T. I. Krasnova, “On the conjunction complexity of circuits in the Zhegalkin basis for one sequence of Boolean functions,” Proceedings of the 11th International Seminar on Discrete Mathematics and Its Applications (Moscow, Mosk. Gos. Univ., 2012), pp. 138–141.

    Google Scholar 

  8. A. Kojevnikov and A. S. Kulikov, “Circuit complexity and multiplicative complexity of Boolean functions,” Proceedings of the 6th Conference on Computability (CiE 2010), Lecture Notes Comput. Sci. (Springer, Berlin, 2010), Vol. 6158, pp. 239–245.

    MathSciNet  Google Scholar 

  9. I. S. Sergeev, “A relation between additive and multiplicative complexity of Boolean functions,” arXiv:1303.4177 (2013).

    Google Scholar 

  10. T. J. Schaefer, “The complexity of satisfiability problems,” Proceedings of the 10th ACM Symposium on Theory of Computing (ACM, New York, 1978), pp. 216–226.

    Google Scholar 

  11. S. V. Yablonskii, Introduction to Discrete Mathematics (Mir, Moscow, 1989; Vysshaya Shkola, Moscow, 2001).

    Google Scholar 

  12. A. G. Kurosh, A Course in Higher Algebra (Nauka, Moscow, 1971; Mir, Moscow, 1975).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to S. N. Selezneva.

Additional information

Original Russian Text © S.N. Selezneva, 2015, published in Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2015, Vol. 55, No. 4, pp. 730–736.

The article was translated by the author.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Selezneva, S.N. On the multiplicative complexity of some Boolean functions. Comput. Math. and Math. Phys. 55, 724–730 (2015). https://doi.org/10.1134/S0965542515040119

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0965542515040119

Keywords

Navigation