Skip to main content


  • Chapter
  • 382 Accesses


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.

Buying options

USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  • 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


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.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive