Section outline

  • ΔΕΥΤΕΡΑ

    • Interactive Proofs: The Class AM, Quantifier Notation, Perfect Completeness for AM

     

    ΠΕΜΠΤΗ

    • Interactive Proofs: Collapsion of AM[k] hierarchy to AM=AM[2], Relativized results

    Προτεινόμενη Μελέτη:

    • Ch 8: Sections 8.1-8.2 από το [2]
    • Section 2 από εδώ.