ECS 120 - Winter 98 - List of Lecture Topics |
|||
---|---|---|---|
Lecture | Topic | ||
Week 0 | Lect 1 - R 1/8 | Introduction. Three problems of differing hardness. Example DFAs. Strings, languages, classes | |
Week 1 | Lect 2 - T 1/13 | Practice with DFA design. Formal definitions of DFAs. Proofs which use induction and pigeonholing | |
Lect 3 - R 1/15 | Closure properties of DFA-acceptable languages (including product construction). NFAs and their definition | ||
Week 2 | Lect 4 - T 1/20 | Closure properties of NFA-acceptable languages. NFAs accept exactly the DFA-acceptable languages | |
Lect 5 - R 1/22 | Quiz 1. Regular languages and regular expressions. Regular languages are NFA-acceptable | ||
Week 3 | Lect 6 - T 1/27 | NFA-acceptable-languages are regular. Decision procedures involving regular languages | |
Lect 7 - R 1/29 | Showing languages are not regular with the pumping lemma and closure properties | ||
Week 4 | Lect 8 - T 2/3 | CFGs. Parse trees. Ambiguity. Closure properties of CLFs. CFLs are regular. PDAs | |
Lect 9 - R 2/5 | Quiz 2. PDAs. CNF. PDAs. The pumping lemma for CFLs | ||
Week 5 | Lect 10 - T 2/10 | CFL closure properties. Decision procedures for CFLs. An efficient algorithm for CFL membership. | |
Lect 11 - R 2/12 | Midterm | ||
Week 6 | Lect 12 - T 2/17 | Definition of TMs and the languages they accept. Some TM variants. The Church-Turing thesis. | |
Lect 13 - R 2/19 | NTMs, unrestricted grammars. Pros & cons of Church-Turing thesis. rec, r.e., co-r.e. sets and their properties | ||
Week 7 | Lect 14 - R 2/24 | Guessing where languages live: r.e., co-r.e., decidable, neither. Diagnolization. Undecidability of Atm. | |
Lect 15 - R 2/26 | Turing-computable functions and many-one reductions. Properties of reductions. Practice doing reductions | ||
Week 8 | Lect 16 - T 3/3 | "Practical" undecidable problems: Virus Detection, Starvation Detection. Does a CFG generate all strings? | |
Lect 17 - R 3/5 | Quiz 3. The classes P and NP. The languages NFAEQ, SAT, CLIQUE, COMPOSITES. | ||
Week 9 | Lect 18 - T 3/10 | SAT, 3SAT, CLIQUE, NFAEQ, G3C. Reductions.
Defn of NP-Completeness.
SAT<3SAT, 3SAT | |
Lect 19 - R 3/12 | The Cook-Levin Theorem | ||
Week 10 | Lect 20 - R 3/17 | NP-Completeness of VERTEX COVER and SUBSET SUM. Dealing with NP-hard problems | |
T 3/24 | Final, 7-9 pm, 147 Olson |