[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Limiting Negations in Formulas

  • Conference paper
Automata, Languages and Programming (ICALP 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5555))

Included in the following conference series:

  • 1991 Accesses

Abstract

Negation-limited circuits have been studied as a circuit model between general circuits and monotone circuits. In this paper, we consider limiting negations in formulas. The minimum number of NOT gates in a Boolean circuit computing a Boolean function f is called the inversion complexity of f. In 1958, Markov determined the inversion complexity of every Boolean function and particularly proved that ⌈log2(n + 1) ⌉ NOT gates are sufficient to compute any Boolean function on n variables. We determine the inversion complexity of every Boolean function in formulas, i.e., the minimum number of NOT gates (NOT operators) in a Boolean formula computing (representing) a Boolean function, and particularly prove that ⌈n/2 ⌉ NOT gates are sufficient to compute any Boolean function on n variables. Moreover we show that if there is a polynomial-size formula computing a Boolean function f, then there is a polynomial-size formula computing f with at most ⌈n/2 ⌉ NOT gates. We consider also the inversion complexity in formulas of negation normal form and prove that the inversion complexity is at most polynomials of n for every Boolean function on n variables.

Some results of this paper have appeared in the preliminary version [12].

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alon, N., Boppana, R.B.: The monotone circuit complexity of Boolean functions. Combinatorica 7(1), 1–22 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  2. Amano, K., Maruoka, A.: A superpolynomial lower bound for a circuit computing the clique function with at most (1/6)loglogn negation gates. SIAM J. Comput. 35(1), 201–216 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  3. Amano, K., Maruoka, A., Tarui, J.: On the negation-limited circuit complexity of merging. Discrete Applied Mathematics 126(1), 3–8 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  4. Andreev, A.E.: On a method for obtaining lower bounds for the complexity of individual monotone functions. Sov. Math. Doklady 31(3), 530–534 (1985)

    MATH  Google Scholar 

  5. Beals, R., Nishino, T., Tanaka, K.: On the complexity of negation-limited Boolean networks. SIAM J. Comput. 27(5), 1334–1347 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  6. Boppana, R., Sipser, M.: The complexity of finite functions. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science, vol. A: Algorithms and Complexity, pp. 757–804. Elsevier Science Publishers, Amsterdam (1990)

    Google Scholar 

  7. Fischer, M.J.: The complexity of negation-limited networks - a brief survey. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol. 33, pp. 71–82. Springer, Heidelberg (1975)

    Google Scholar 

  8. Fischer, M.J.: Lectures on network complexity, Technical Report 1104, CS Department, Yale University (1974) (revised 1996)

    Google Scholar 

  9. Håstad, J.: The shrinkage exponent of de Morgan formulas is 2. SIAM J. Comput. 27(1), 48–64 (1998)

    Article  MathSciNet  Google Scholar 

  10. Jukna, S.: On the minimum number of negations leading to super-polynomial savings. Inf. Process. Lett. 89(2), 71–74 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  11. Markov, A.A.: On the inversion complexity of a system of functions. J. ACM 5(4), 331–334 (1958)

    Article  MathSciNet  MATH  Google Scholar 

  12. Morizumi, H.: A note on the inversion complexity of Boolean functions in Boolean formulas. CoRR (Computing Research Repository), arXiv:0811.0699 (2008)

    Google Scholar 

  13. Morizumi, H.: Limiting negations in non-deterministic circuits. Theoret. Comput. Sci. (accepted)

    Google Scholar 

  14. Morizumi, H., Suzuki, G.: Negation-limited inverters of linear size. In: Hong, S.-H., Nagamochi, H., Fukunaga, T. (eds.) ISAAC 2008. LNCS, vol. 5369, pp. 605–614. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  15. Paterson, M.S., Pippenger, N., Zwick, U.: Optimal carry save networks. In: Boolean Function Complexity. London Mathematical Society Lecture Note Series, vol. 169, pp. 174–201. Cambridge Univ. Press, Cambridge (1992)

    Chapter  Google Scholar 

  16. Razborov, A.A.: Lower bounds on the monotone complexity of some Boolean functions. Sov. Math. Doklady 31, 354–357 (1985)

    MATH  Google Scholar 

  17. Santha, M., Wilson, C.: Limiting negations in constant depth circuits. SIAM J. Comput. 22(2), 294–302 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  18. Sung, S., Tanaka, K.: An exponential gap with the removal of one negation gate. Inf. Process. Lett. 82(3), 155–157 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  19. Sung, S., Tanaka, K.: Limiting negations in bounded-depth circuits: an extension of Markov’s theorem. In: Ibaraki, T., Katoh, N., Ono, H. (eds.) ISAAC 2003. LNCS, vol. 2906, pp. 108–116. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  20. Valiant, L.G.: Short monotone formulae for the majority function. J. Algorithms 5(3), 363–366 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  21. Wegener, I.: The Complexity of Boolean Functions. Teubner/Wiley (1987)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate School of Information Sciences, Tohoku University, Sendai, 980-8579, Japan

    Hiroki Morizumi

Authors
  1. Hiroki Morizumi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Freiburg, Georges Köhler Allee 79, 79110, Freiburg, Germany

    Susanne Albers

  2. Department of Computer and Systems Sciences, Sapienza University of Rome, Via Ariosto 25, 00184, Roma, Italy

    Alberto Marchetti-Spaccamela

  3. Google R&D Center, School of Computer Science, Tel Aviv University, 69978, Tel Aviv, Israel

    Yossi Matias

  4. University of Patras and CTI, N. Kazantzaki Street 1, 26504 Rion, Patras, Greece

    Sotiris Nikoletseas

  5. RWTH Aachen, Lehrstuhl Informatik 7, Ahornstraße 55, 52056, Aachen, Germany

    Wolfgang Thomas

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Morizumi, H. (2009). Limiting Negations in Formulas. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds) Automata, Languages and Programming. ICALP 2009. Lecture Notes in Computer Science, vol 5555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02927-1_58

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02927-1_58

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02926-4

  • Online ISBN: 978-3-642-02927-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics