CS 151: Complexity Theory (Spring 2017)

Instructor: Chris Umans

Office: Annenberg 311

Times: M/W 1:00-2:25 in Annenberg 314

TA: Chloe Hsu

Office hours:

• Tuesdays 2-3pm in Annenberg 311 (Chris)
• Tuesdays 10-11pm in Annenberg 121 (Chloe)

Announcements:

• Solutions to the final have been posted.
• Graded material is available for pickup from my office.
• Congratulations on finishing CS151! Have a wonderful summer, all!

Handouts:

• Syllabus (pdf)

Lecture slides:

• Lecture 1: intro; languages, complexity classes, Turing Machines, reductions and completeness (ppt, pdf)
• Lecture 2: time and space classes, hierarchy theorems, relationships between classes, padding and succinctness (ppt, pdf)
• Lecture 3: nondeterminism, NP- and NEXP- complete problems, NTIME hierarchy theorem, Ladner's Theorem (ppt, pdf)
• Lecture 4: unary languages and NP, nondeterministic space classes, STCONN, Savitch's Theorem, I-S Theorem (ppt, pdf)
• Lecture 5: nonuniformity and advice, NC hierarchy (ppt, pdf)
• Lecture 6: formula lower bound on Andreev function, Razborov's lower bound on monotone circuits for clique (ppt, pdf)
• Lecture 7: Schwartz-Zippel, Valiant-Vazirani Theorem, randomized complexity classes, error reduction (ppt, pdf)
• Lecture 8: BPP in P/poly, Goldreich-Levin hard bit, Yao's Lemma, BMY generator (ppt, pdf)
• Lecture 9: Nisan-Wigderson generator, error-correcting codes, transforming worst-case hardness into average-case hardness (ppt, pdf)
• Lecture 10: transforming worst-case hardness into average-case hardness, extractors (ppt, pdf)
• Lecture 11: RL, oracles, the PH and alternating quantifiers, complete problems for levels of the PH and PSPACE (ppt, pdf)
• Lecture 12: Karp-Lipton Theorem, BPP in PH, the class #P, complete problems for #P (ppt, pdf)
• Lecture 13: #Matching is #P-completes, interactive proof systems, graph non-isomorphism, the power of IP (ppt, pdf)
• Lecture 14: IP = PSPACE, Arthur-Merlin games, the classes MA and AM, derandomization of MA and AM (ppt, pdf)
• Lecture 15: optimization, approximation, and PCPs, elements of the proof of the PCP Theorem (ppt, pdf)
• Lecture 16: finishing up PCPs, relativization (ppt, pdf)
• Lecture 17: relativization, natural proofs, course summary (ppt, pdf)

Problem sets:

• Problem Set 1: (pdf, LaTeX source) Solutions (pdf)
• Problem Set 2: (pdf, LaTeX source) Solutions (pdf)
• Problem Set 3: (pdf, LaTeX source) Solutions (pdf)
• Problem Set 4: (pdf, LaTeX source) Solutions (pdf)
• Midterm: (pdf, LaTeX source) Solutions (pdf)
• Problem Set 5: (pdf, LaTeX source) Solutions (pdf)
• Problem Set 6: (pdf, LaTeX source) Solutions (pdf)
• Problem Set 7: (pdf, LaTeX source) Solutions (pdf)
• Final: (pdf, LaTeX source) Solutions (pdf)

Resources:

• Here is a LaTeX template (tex, pdf) that you can use for your writeups if you wish.