Date

Title

Handouts

Readings

Jan 24

Lec 1: Introduction, Finite Automata

Fact Sheet

§ 0, § 1.1

Jan 29

Lec 2: Regular languages, regular operations


§ 1.1, §1.2

Jan 31

Lec 3: Nondeterminism


§1.2, §1.3

Feb 5

Lec 4: Nondeterminism, regular expressions

HW1

§1.2, §1.3

Feb 7

Lec 5: regular expressions (contd.), nonregular languages, Pumping lemma


§1.3, §1.4

Feb 12

Lec 6: Pumping lemma, State minimization in finite automata

Lec 6 handout

§1.4, Lec 6 handout

Feb 14

Lec 7: State minimization, Turing machines

Lec 7 handout

Lec 6 & 7 handouts, §3.1

Feb 19

Lec 8: Turing machines, ChurchTuring thesis

HW2

§3.1, §3.3

Feb 21

Lec 9: Nondeterministic TMs, Multitape TMs

Sol1

§3.2, §3.3

Feb 26

Lec 10: Nondeterminism (contd.), Decidability


§3.2, §4.1

Feb 28

Lec 11: Undecidability


§4.1, §4.2

Mar 4

Lec 12: The halting problem, Reductions


§4.2, §5.1

Mar 6

Lec 13: Reductions (contd.)

Sol2, Sample midterm

§5.1, §5.3

Mar 10

Midterm review at 4:30 p.m. in CS 1207

Sample midterm solutions


Mar 11

No lecture; Midterm at 7:15 p.m. in CS 1257



Mar 13

Lec 14: Rice's theorem, Post's correspondence problem

HW3

§5.1, §5.2

Mar 25

Lec 15: Post's correspondence problem (contd.)


§5.2

Mar 27

Lec 16: Time complexity, the class P


§7.1, §7.2

Apr 1

Lec 17: The class NP


§7.2, §7.3

Apr 3

Lec 18: NP Completeness, Satisfiability

HW4, Sol3

§7.4

Apr 8

Lec 19: NP Completeness (contd.), CookLevin Theorem


§7.4, §7.5

Apr 10

Lec 20: NP Completeness (contd.)


§7.4, §7.5

Apr 15

Lec 21: CoNP, Coping with NPHardness


§7.5, §10.1

Apr 17

Lec 22: Space complexity, Savitch's theorem, PSPACE

HW5, Sol4

§8.1, §8.2

Apr 22

Lec 23: PSPACECompleteness


§8.3, §8.4

Apr 24

Lec 24: PSPACECompleteness (contd.), L, NL


§8.4, §8.5

Apr 29

Lec 25: L, NL (contd.)


§8.4, §8.5, §8.6

May 1

Lec 26: Randomness in Computation


§10.2

May 6

Lec 27: Interactive Proofs, Zero Knowledge Proofs

Handout

Handout 13.1, 13.2

May 8

Lec 28: Cryptography based on computational hardness

Handout

Handout 13.3, 13.4
