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

Reducing the complexity of reductions

Published:04 May 1997Publication History
First page image

References

  1. Ag95.M. Agrawal, DSPA CE(n)~ NSPA CE(n) - A degree theoretic characterization, in Proc. 10th Structure in Complexity Theory Conference (1995) pp. 315- 323. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. AA96.M. Agrawal and E. Allender, An Isomorphism Theorem for Circuit Complexity, in Proc. l lth Annum IEEE Conference on Computational Complexity (1996) pp. 2-11. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Aj83.M. Ajtai, Ei formulae on finite structures, Annals of Pure and Applied Logic 24, 1-48.Google ScholarGoogle Scholar
  4. Al89.E. AUender, P-uniform circuit complexity, J. ACM 36 ( 1989 ) 912-928. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. ABI93.E. Allender, N. lmmerman, and J. Balc~zar, A first-order isomorphism theorem, to appear in SIAM Journal on Computing. A preliminary version appeared in Proc. 10th Symposium on Theoretical Aspects of Computer Science, 1993, Lecture Notes in Computer Science 665, pp. 163-174. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. AG91.E. Allender and V. Gore, Rudimentary reductions revisited, Information Processing Letters 40 (1991) 89-95.Google ScholarGoogle ScholarCross RefCross Ref
  7. AS92.N. Alon and J. Spencer, The Probabilistic Method, John Wiley and Sons, (1992).Google ScholarGoogle Scholar
  8. Ar95.Sanjeev Arora, A C~-reductions cannot prove the PUP theorem, manuscript, 1995.Google ScholarGoogle Scholar
  9. BDG88.J. Balc~izar, J. Diaz, and J. Gabarr6, Structural Complexity { and II, Springer-Verlag, 1988, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. BIS90.David Mix Barrington, Neil lmmerman, Howard Straubing, On Uniformity Within NCl, J. Computer Sys. Sci. 41 (1990), 274-306. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. BH77.L. Berman and J. Hartmanis, On isomorphism and density of NP and other complete sets, SIAM J. Comput. 6 (1977) 305-322.Google ScholarGoogle ScholarCross RefCross Ref
  12. FSS84.Merrick Furst, James Saxe, and Michael Sipser, Parity, Circuits, and the Polynomial-Time Hierarchy, Math. Systems Theory 17 (1984), 13-27.Google ScholarGoogle ScholarCross RefCross Ref
  13. Hå87.J. Hfi.stad, One-Way Permutations in NG~, Information Processing Letters 26 (1987), 153-155. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. HILL90.J. Hb. stad, R. lmpagliazzo, L. Levin, and M. Luby, Construction of a pseudo-random generator from any one.way function, ICSI Technical Report, No. 91-068 (1990).Google ScholarGoogle Scholar
  15. Jo75.Neil Jones, Space. Bounded Reducibility among Combinatorial Problems, J. Computer Sys. Sci. 11 (1975), 68-85.Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. JY85.D. Joseph and P. Young, Some remarks on witness functions for non-polynomial and non-complete sets in NP, Theoretical Computer Science 39 (1985) 225-237.Google ScholarGoogle ScholarCross RefCross Ref
  17. J72.J. Justesen, A class of constructive asymptotically good algebraic codes, IEEE Trans. Inform. Theory, 18 (1972), 652-656.Google ScholarGoogle ScholarCross RefCross Ref
  18. KLD86.Ker-i Ko, Timothy J. Long, and Ding-Zhu Du, On one-way functions and polynomial-time isomorphisms, Theoretical Computer Science 47 (1986) 263-276. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. KMR90.S. Kurtz, S. Mahaney, and J. Royer, The structure of complete degrees, in A. Selman, editor, Complexity Theory Retrospective, Springer-Verlag, 1990, pp. 108-146.Google ScholarGoogle ScholarCross RefCross Ref
  20. KMR95.S. Kurtz, S. Mahaney, and J. Royer, The isomorphism conjecture fails relative to a random oracle, J. ACM 42 (1995), 401-420. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Li94.Steven Linden, How to define exponentiation ,from addition and multiplication in first-order logic on .finite structures, (manuscript). This improves an earlier characterization that appears in: Steven Linde!l, A purely logical characterization of circuit uniformity, Proc. 7th Structure in Complexity Theory Conference (1992) pp. 185-192.Google ScholarGoogle Scholar
  22. Ni92.Noam Nisan, Using Hard Problems to Create Pseu. dorandom Generators, MIT Press (1992). Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Se92.A. Selman, A survey of one way functions in complexity theory, Mathematical Systems Theory 25 (1992) 203-221.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Reducing the complexity of reductions

      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 '97: Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
        May 1997
        752 pages
        ISBN:0897918886
        DOI:10.1145/258533

        Copyright © 1997 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: 4 May 1997

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article

        Acceptance Rates

        STOC '97 Paper Acceptance Rate75of211submissions,36%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