The first class takes place on Friday, 22.04.2016.

Contents

• Complexity classes: P, NP, coNP, PH, L, SL, NL, coNL, PSPACE, NPSPACE, BPP, PP, ZPP, RP, #P, PARITY P, IP, AM, MA, EXP, NEXP, P/Poly, NC, ACC, BQP, PCP, MIP, etc. + oracles
• Theorems: Cook-Levin, Time- and Space-hierarchy, Ladner, Mahaney, Savitch, Immerman-Szelepcsényi, Karp-Lipton, Adleman, Sipser-Gács, Valiant-Vazirani, Baker-Gill-Solovay, Goldreich-Levin, PCP, parallel repetition, Goldwasser-Sipser, Nisan-Wigderson, Razborov-Smolensky, Razborov-Rudich, sum-check protocol, Håstad's switching lemma, expander mixin lemma, leftover hashing lemma, etc.
• Concepts: time, space, nondeterminism, advice, interaction, diagonalization, alternation, relativization, algebrization, naturalization, pseudo-randomness, error-correction, expander-graphs, discrete Fourier-analysis, etc.

Target Audience

M.S.-sutdents in Competer Science, Mathematics or similar courses of study. Afterwards, you can obtain a topic for a Master thesis.

Recommended Background 

Basic knowledge in Mathematics and Theoretical Computer Science: discrete Mathemtics, discrete probability theory, linear algebra, simple algebra and number theory, theory of algorithms, NP-completeness theory. More concretely: Contents of Mathematics for Computer Science, Theory of Computation, Algorithms and Data Structures, Advanced Algorithms

Website

http://www.inf.fu-berlin.de/lehre/SS16/CCT/