Section outline

  • ΔΕΥΤΕΡΑ

    • Interactive Proofs: IPs, Arthur-Merlin Games, Quantifier Notation and related results

    Προτεινόμενο Διάβασμα:

    Section 8.2 από το [2]
    Section 2 από εδώ.

    ΠΕΜΠΤΗ

    • Shamir's Theorem

      Προτεινόμενο Διάβασμα:

      Section 8.3 από το [2]

    • Probabilistically Checkable Proofs

    Προτεινόμενο Διάβασμα:

    Section 11.1, 11.2 από το [2]