Section outline

  • Δευτέρα 21 Οκτωβρίου

    • Basic notions and results of Complexity Theory: NL-completeness, P-completeness, The Cook-Levin Theorem, NP-completeness, PSPACE-completeness, Logical Characterizations & Descriptive complexity.


    Πέμπτη 24 Οκτωβρίου

    • Oracles & The Polynomial Hierarchy: Oracles and oracle classes, Oracle worlds.

    Μπορείτε να διαβάσετε:
    • Section 14.3 from [1]
    • Ch. 17 from [1]


    Δείτε επίσης: