Section outline

  • ΔΕΥΤΕΡΑ

    • Interactive Proofs: The Class AM, Quantifier Notation, Perfect Completeness for AM, Collapsion of AM[k] hierarchy to AM=AM[2], Relativized results

     

    ΠΕΜΠΤΗ

    • Interactive Proofs: Shamir's Theorem (IP=PSPACE)