Advertisement

Computational Mathematics and Modeling

, Volume 30, Issue 1, pp 13–25 | Cite as

Circuit Complexity of k-Valued Logic Functions in One Infinite Basis

  • V. V. KocherginEmail author
  • A. V. Mikhailovich
Article
  • 3 Downloads

We investigate the realization complexity of k -valued logic functions k 2 by combinational circuits in an infinite basis that includes the negation of the Lukasiewicz function, i.e., the function k−1−x, and all monotone functions. Complexity is understood as the total number of circuit elements. For an arbitrary function f, we establish lower and upper complexity bounds that differ by at most by 2 and have the form 2 log (d(f) + 1) + o(1), where d(f) is the maximum number of times the function f switches from larger to smaller value (the maximum is taken over all increasing chains of variable tuples). For all sufficiently large n, we find the exact value of the Shannon function for the realization complexity of the most complex function of n variables.

Keywords

multi-valued logic functions logic circuits circuit complexity infinite basis non-monotone complexity inversion complexity Markov theorem 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    V. V. Kochergin and A. V. Mikhailovich, “On the complexity of multi-valued logic functions in one infinite basis,” Diskretn. Anal. Issled. Operatsii, 25, No. 1, 42–74 (2018).zbMATHGoogle Scholar
  2. 2.
    V. V. Kochergin and A. V. Mikhailovich, “On the minimal number of negations for the realization of systems of k-valued logic functions,” Diskr. Matem., 28, No. 4, 80–90 (2016).CrossRefGoogle Scholar
  3. 3.
    A. A. Markov, “On inversion complexity of systems of functions,” Dokl. Akad. Nauk SSSR, 116, No. 6, 917–919 (1957).MathSciNetzbMATHGoogle Scholar
  4. 4.
    A. A. Markov, “On inversion complexity of systems of Boolean functions,” Dokl. Akad. Nauk SSSR, 150, No. 3, 477–479 (1963).MathSciNetGoogle Scholar
  5. 5.
    O. B. Lupanov, Asymptotic Complexity Bounds for Control Systems [in Russian], Izd. MGU, Moscow (1984).Google Scholar
  6. 6.
    V. V. Kochergin and A. V. Mikhailovich, “On the complexity of circuits in bases containing monotone elements with zero weights,” Prikl. Diskr. Matem., No. 4(30), 24–31 (2015).Google Scholar
  7. 7.
    V. V. Kochergin and A. V. Mikhailovich, “Asymptotics of growth for the non-monotone complexity of multi-valued logic function systems,” Siberian Electronic Mathematical Reports (http://semr.math.msc.ru), 14, 1100–1107 (2017).
  8. 8.
    V. V. Kochergin and A. V. Mikhailovich, “Exact value of non-monotone complexity of Boolean functions,” Matem. Zametki (in print).Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Lomonosov Moscow State University and National Research University – Higher School of EconomicsMoscowRussia
  2. 2.National Research University – Higher School of EconomicsMoscowRussia

Personalised recommendations