PDMI TUM State University St. Petersburg
Steklov Institute St. Petersburg Technische Universität München State University St. Petersburg

Joint Advanced Student School (JASS)

Course 1: Proofs and Computers


St. Petersburg - Sunday, April 2 through Wednesday, April 12, 2006

Dmitry Itsykson

#P. Complexity of the permanent
An interactive proof for P^#P

Abstract

In this note we overview class #P. The main attention is devoted to the permanent computing problem. The proof of it's #P-completeness (Valiant's theorem) is given. And finally we give an interactive protocol for P^#P with prover from the same class.



Dmitry Itsykson Presentation:
#P. Complexity of the Permanent. An Interactive Proof for P^#P [PDF]
Paper:
#P. Complexity of the Permanent. An Interactive Proof for P^#P [PDF]