skip to main content
10.1145/335305.335349acmconferencesArticle/Chapter ViewAbstractPublication PagesstocConference Proceedingsconference-collections
Article
Free Access

Higher lower bounds on monotone size

Authors Info & Claims
Published:01 May 2000Publication History
First page image

References

  1. Aj83.M. AJTAI, E~ Formulae on finite structures, Annals of Pure and Applied Logic 24 (1983), pp. 1-48.Google ScholarGoogle ScholarCross RefCross Ref
  2. AlBaIt86.N. ALON, L. BABAI AND A. ITAI, A fast simple randomized parallel algorithm for the Maximal Independent Set problem, J. of Algorithms 7' (1986), pp. 567-583. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. AlBo87.N. ALON AND R. BOPPANA, The monotone circuit complexity of Boolean functions, Combinatorica 7(1) (1987), pp. 1-22. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. AmMa96.K. AMANO AND A. MARUOKA, Potential of the approximation method, Proc. of the 37th IEEE Symp. on the Foundations of Computer Science (1996), pp. 431-440. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. An85.A. ANDREEV, On a method for obtaining lower bounds for the complexity of individual monotone functions, Dolk. Akad. Nauk. $SSR 282(5) (1985), pp. 1033-1037 (in Russian). English translation in: Soviet Math. Dokl. 31(3) (1985), pp. 530-534.Google ScholarGoogle Scholar
  6. BeUl97.C. BERG AND S. ULFBERG, Symmetric approximation arguments for monotone lower bounds without sunflowers, To appear in: Computational Complexity. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. BeUlWi99.C. BERG, S. ULFBERG AND A. WIGDER- SON, Manuscript in preparation.Google ScholarGoogle Scholar
  8. BoSi90.R. BOPPANA AND M. SIPSER, The complexity of finite functions,in Handbook of Theoretical Computer Science: Volume A Algorithms and Complexity, J. van Leeuwen editor, MIT Press/Elsevier, 1990, pp. 757-804. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. EGLNV92.G. EVEN, O. GOLDREICH, M. LUBY, N. NISAN AND B. VELICKOVIC, Approximations of general independent distributions, Proc. of the 2Jth A CM Syrup. on the Theory of Computing (1992), pp. 10-16. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. FuSaSi81.M. FURST, J. SAXE AND M. $IPSER, Parity, circuits and the polynomial time hierarchy, Proc. of the 22th IEEE Symp. on the Foundations of Computer Science (1981), pp. 260-270.Google ScholarGoogle Scholar
  11. Ha86.J. HASTAD, Almost optimal lower bounds for small depth circuits, Proc. of the 18th A CM $ymp. on the Theory of Computing (1986), pp. 6-20. Also in Randomness and Computation, Advances in Computing Research, Vol 5, ed. S. Micali, JAI Press Inc (1989), pp. 143-170. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Ha95.A. HAKEN, Counting bottlenecks to show monotone P~:NP, Proc. of the 36th IEEE Syrup. on the Foundations of Computer Science (1995), pp. 36- 40. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Ju97.$. JUKNA, Finite limits and monotone computations: the lower bound criterion, Proc. of the 12th IEEE Conference on Computational Complexity (1997), pp. 302-312. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Pu97.P. PUDLAK, Lower bounds for resolution and cutting planes proofs and monotone computation, The Journal of Symbolic Logic, 62(3) (1997), pp. 981-998.Google ScholarGoogle ScholarCross RefCross Ref
  15. Ra85.A. RAZBOROV, Lower bounds on the monotone complexity of some Boolean function, Dolk. Akad. Nauk. SSSR 281(4) (1985), 598-607 (in Russian). English translation in: Soviet Math. Dokl. 31 (1985), 354-357.Google ScholarGoogle Scholar
  16. Ra89.A. RAZBOROV, On the method of approximation, Proc. of the 21th ACM Syrup. on the Theory of Computing (1989), pp. 167-176. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. SiTs97.J. SIMON AND S.C. TSAI, A note on the bottleneck counting argument, In 12th Annual IEEE Conference on Computational Complexity (1997). Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Ya85.A. YAO, Separating the polynomial-time hierarchy by oracles, Proc. of the 26th IEEE Symp. on the Foundations of Computer Science (1985), pp. 1-10. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Higher lower bounds on monotone size

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in
              • Published in

                cover image ACM Conferences
                STOC '00: Proceedings of the thirty-second annual ACM symposium on Theory of computing
                May 2000
                756 pages
                ISBN:1581131844
                DOI:10.1145/335305

                Copyright © 2000 ACM

                Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 1 May 2000

                Permissions

                Request permissions about this article.

                Request Permissions

                Check for updates

                Qualifiers

                • Article

                Acceptance Rates

                STOC '00 Paper Acceptance Rate85of182submissions,47%Overall Acceptance Rate1,469of4,586submissions,32%

                Upcoming Conference

                STOC '24
                56th Annual ACM Symposium on Theory of Computing (STOC 2024)
                June 24 - 28, 2024
                Vancouver , BC , Canada

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader