Skip to main content

2013 | OriginalPaper | Buchkapitel

On Small Size Approximation Models

verfasst von : Alexander A. Razborov

Erschienen in: The Mathematics of Paul Erdős I

Verlag: Springer New York

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Summary

In this paper we continue the study of the method of approximations in Boolean complexity. We introduce a framework which naturally generalizes previously known ones. The main result says that in this framework there exist approximation models providing in principle exponential lower bounds for almost all Boolean functions, and such that the number of testing functionals is only singly exponential in the number of variables.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
2.
Zurück zum Zitat D. A. Barrington. A note on a theorem of Razborov. Technical report, University of Massachusetts, 1986. D. A. Barrington. A note on a theorem of Razborov. Technical report, University of Massachusetts, 1986.
3.
Zurück zum Zitat R. B. Boppana and M. Sipser. The complexity of finite functions. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. A (Algorithms and Complexity), chapter 14, pages 757–804. Elsevier Science Publishers B.V. and The MIT Press, 1990. R. B. Boppana and M. Sipser. The complexity of finite functions. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. A (Algorithms and Complexity), chapter 14, pages 757–804. Elsevier Science Publishers B.V. and The MIT Press, 1990.
4.
Zurück zum Zitat M. Karchmer. On proving lower bounds for circuit size. In Proceedings of the 8th Structure in Complexity Theory Annual Conference, pages 112–118, 1993. M. Karchmer. On proving lower bounds for circuit size. In Proceedings of the 8th Structure in Complexity Theory Annual Conference, pages 112–118, 1993.
5.
Zurück zum Zitat M. Karchmer and A. Wigderson. Characterizing non-deterministic circuit size. In Proceedings of the 25th Annual ACM Symposium on the Theory of Computing, pages 532–540, 1993. M. Karchmer and A. Wigderson. Characterizing non-deterministic circuit size. In Proceedings of the 25th Annual ACM Symposium on the Theory of Computing, pages 532–540, 1993.
6.
Zurück zum Zitat M. Karchmer and A. Wigderson. On span programs. In Proceedings of the 8th Structure in Complexity Theory Annual Conference, pages 102–111, 1993. M. Karchmer and A. Wigderson. On span programs. In Proceedings of the 8th Structure in Complexity Theory Annual Conference, pages 102–111, 1993.
7.
Zurück zum Zitat C. Meinel. Modified Branching Programs and Their Computational Power, Lecture Notes in Computer Science, 370. Springer-Verlag, New York/Berlin, 1989. C. Meinel. Modified Branching Programs and Their Computational Power, Lecture Notes in Computer Science, 370. Springer-Verlag, New York/Berlin, 1989.
8.
Zurück zum Zitat K. Nakayama and A. Maruoka. Loop circuits and their relation to Razborov’s approximation model. Manuscript, 1992. K. Nakayama and A. Maruoka. Loop circuits and their relation to Razborov’s approximation model. Manuscript, 1992.
9.
Zurück zum Zitat A. Razborov. On the method of approximation. In Proceedinqs of the 21st ACM Symposium on Theory of Computing, pages 167–176, 1989. A. Razborov. On the method of approximation. In Proceedinqs of the 21st ACM Symposium on Theory of Computing, pages 167–176, 1989.
10.
Zurück zum Zitat A. Razborov. Bounded Arithmetic and lower bounds in Boolean complexity. To appear in the volume Feasible Mathematics II, 1993. A. Razborov. Bounded Arithmetic and lower bounds in Boolean complexity. To appear in the volume Feasible Mathematics II, 1993.
11.
Zurück zum Zitat R. Smolensky. Algebraic methods in the theory of lower bounds for Boolean circuit complexity. In Proceedings of the 19th ACM Symposium on Theory of Computing, pages 77–82, 1987. R. Smolensky. Algebraic methods in the theory of lower bounds for Boolean circuit complexity. In Proceedings of the 19th ACM Symposium on Theory of Computing, pages 77–82, 1987.
12.
13.
Zurück zum Zitat A. Wigderson. The fusion method for lower bounds in circuit complexity. In Combinatorics, Paul Erdos is Eighty. 1993. A. Wigderson. The fusion method for lower bounds in circuit complexity. In Combinatorics, Paul Erdos is Eighty. 1993.
14.
Zurück zum Zitat A. E. Andreev. Ob odnom metode poluqeni ninih ocenok slonosti individualnyh monotonnyh funkci. DAN CCCP, 282(5):1033–1037, 1985. A.E. Andreev, On a method for obtaining lower bounds for the complexity of individual monotone functions. Soviet Math. Dokl. 31(3):530–534, 1985. A. E. Andreev. Ob odnom metode poluqeni  ninih ocenok slonosti individualnyh monotonnyh funkci. DAN CCCP, 282(5):1033–1037, 1985. A.E. Andreev, On a method for obtaining lower bounds for the complexity of individual monotone functions. Soviet Math. Dokl. 31(3):530–534, 1985.
15.
Zurück zum Zitat A. E. Andreev. Ob odnom metode poluqeni ffektivnyh ninih ocenok monotonno slonosti. Algebra ì logika, 26(1):3–21, 1987: A.E. Andreev, On one method of obtaining effective lower bounds of monotone complexity. Algebra i logika, 26(1):3–21, 1987. In Russian. A. E. Andreev. Ob odnom metode poluqeni  ffektivnyh ninih ocenok monotonno slonosti. Algebra ì logika, 26(1):3–21, 1987: A.E. Andreev, On one method of obtaining effective lower bounds of monotone complexity. Algebra i logika, 26(1):3–21, 1987. In Russian.
16.
Zurück zum Zitat A. A. Razborov. Ninie ocenki monotonno slo nosti nekotoryh bulevyh funkci. DAN CCCP, 281(4):798–801, 1985. A. A. Razborov, Lower bounds for the monotone complexity of some Boolean functions, Soviet Math. Dokl., 31:354–357, 1985. A. A. Razborov. Ninie ocenki monotonno slo nosti nekotoryh bulevyh funkci. DAN CCCP, 281(4):798–801, 1985. A. A. Razborov, Lower bounds for the monotone complexity of some Boolean functions, Soviet Math. Dokl., 31:354–357, 1985.
17.
Zurück zum Zitat A. A. Razborov. Ninie ocenki monotonno slonosti logiqeskogo permanenta. Mamem 3am., 37(6):887–900, 1985. A. A. Razborov, Lower bounds of monotone complexity of the logical permanent function, Mathem. Notes of the Academy of Sci. of the USSR, 37:485–493, 1985. A. A. Razborov. Ninie ocenki monotonno slonosti logiqeskogo permanenta. Mamem 3am., 37(6):887–900, 1985. A. A. Razborov, Lower bounds of monotone complexity of the logical permanent function, Mathem. Notes of the Academy of Sci. of the USSR, 37:485–493, 1985.
18.
Zurück zum Zitat A. A. Razborov. Ninie ocenki razmera shem ograniqenno glubiny v polnom bazise, soderawem funkci logiqeskogo sloeni. Mamem 3am., 41(4):598- 607, 1987. A. A. Razborov, Lower bounds on the size of bounded-depth networks over a complete basis with logical addition, Mathem. Notes of the Academy of Sci. of the USSR, 41(4):333–338, 1987. A. A. Razborov. Ninie ocenki razmera shem ograniqenno glubiny v polnom bazise, soderawem funkci  logiqeskogo sloeni. Mamem 3am., 41(4):598- 607, 1987. A. A. Razborov, Lower bounds on the size of bounded-depth networks over a complete basis with logical addition, Mathem. Notes of the Academy of Sci. of the USSR, 41(4):333–338, 1987.
19.
Zurück zum Zitat A. A. Razborov. Ninie ocenki slonosti realizacii simmetriqeskih bulevyh funkci kontaktno-ventilnymi shemami. Matem, 3am., 48(6):79–91, 1990. A. A. Razborov, Lower bounds on the size of switching-and-rectifier networks for symmetric Boolean functions, Mathem. Notes of the Academy of Sci. of the USSR. A. A. Razborov. Ninie ocenki slonosti realizacii simmetriqeskih bulevyh funkci kontaktno-ventilnymi shemami. Matem, 3am., 48(6):79–91, 1990. A. A. Razborov, Lower bounds on the size of switching-and-rectifier networks for symmetric Boolean functions, Mathem. Notes of the Academy of Sci. of the USSR.
Metadaten
Titel
On Small Size Approximation Models
verfasst von
Alexander A. Razborov
Copyright-Jahr
2013
Verlag
Springer New York
DOI
https://doi.org/10.1007/978-1-4614-7258-2_26