Skip to main content
SpringerLink
Log in
Book cover

Gems of Theoretical Computer Science pp 183–189Cite as

IP = PSPACE

  • Chapter

  • 382 Accesses

Abstract

We present the surprising result of A. Shamir that the classes IP and PSPACE are the same.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   89.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Babai: E-mail and the unexpected power of interaction, Proceedings of the 5th Structure in Complexity Theory Conference, IEEE, 1990, 30-44.

    Google Scholar 

  • A. Shamir: IP=PSPACE, Journal of the ACM 39 (1992) 869–877.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • C. Papadimitriou: Computational Complexity, Addison-Wesley, 1994.

    Google Scholar 

  • D.P Bovet, P. Crescenzi: Introduction to the Theory of Complexity, Prentice-Hall, 1988.

    Google Scholar 

  • C. Lund: The Power of Interaction, MIT Press, 1992

    Google Scholar 

  • V. Pratt: Every prime has a succinct certificate, SIAM Journal of Computing (1975), 214-220.

    Google Scholar 

  • D. Knuth: The Art of Computer Programming, Vol. 2: Semi-Numerical Algorithms, Addison-Wesley, 1981, page 395, Exercise 17.

    Google Scholar 

  • E. Kranakis: Primality and Cryptography, John Wiley & Sons, 1986, Section 2.6.

    Google Scholar 

  • T.H. Cormen, C.E. Leiserson, R.L. Rivest: Introduction to Algorithms, MIT Press, McGraw-Hill, 1990, Chapter 33.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Theoretische Informatik, Universität Ulm, D-89069, Ulm, Germany

    Uwe Schöning

  2. Dept. of Mathematics and Statistics, Calvin College, Grand Rapids, MI, 49546, USA

    Randall Pruim

Authors
  1. Uwe Schöning
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Randall Pruim
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and Permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schöning, U., Pruim, R. (1998). IP = PSPACE. In: Gems of Theoretical Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60322-8_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-60322-8_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-64352-1

  • Online ISBN: 978-3-642-60322-8

  • eBook Packages: Springer Book Archive

search

Navigation