CS/ECE 374 A: Lecture and Lab Schedule


The calendar below lists the topics of each lecture and lab section for the semester, with links to relevant lecture notes, slides, lecture videos, and lab handouts. Topics for future lectures and labs are subject to change; exam dates are not.

Lecture notes are tagged as follows:

Please let Jeff know if you find any of the bugs we've cleverly hidden in the notes, especially any new (✍) notes. Most of these bugs are just typos, but undoubtedly a few are actually quite serious. I will give extra credit to the first person to find each bug and describes how to fix it on the course's Piazza site.

Week Tuesday Lecture Wednesday Lab Thursday Lecture Friday Lab
Jan 15–19 Administrivia and course goals
Introduction and history; β˜… strings
[scribbles, my video]
String induction
[induction notes] [solutions]
β˜… Languages and regular expressions
[scribbles, my video]
Regular expressions
[solutions]
Jan 22–26 β˜… DFAs: intuition, definitions, examples
[Automata Tutor, JFLAP, scribbles, my video]
DFA construction
[Automata Tutor, JFLAP, solutions]
β˜… DFAs: product construction, closure properties, automatic=regular, fooling sets
[scribbles, my video]
DFA product construction
[solutions]
Jan 29–Feb 2 β˜… Proving nonregularity via fooling sets
NFAs: intuition and examples
[scribbles, my video]
Proving nonregularity
[solutions]
β˜… NFAs: Ξ΅-transitions, (most of) equivalence with DFAs and regular expressions
[scribbles, my video]
Regex to NFA to DFA (to regex)
[solutions]
Feb 5–9 β˜… Converting NFAs to regular expressions, language transformations
[scribbles, my video]
Language transformations
[solutions]
β˜… Context-free languages and grammars
[
scribbles, my video]
Context-free grammars
[solutions]
Feb 12–16 Turing machines
[scribbles, my video]
Language transformation formalism
[solutions]
Optional review for Midterm 1 [scribbles, my video] Optional review for Midterm 1
Midterm 1 β€” Monday, February 19, 7–9pm
Conflict exam: Tuesday, February 20
Feb 19–23 β˜… Recursion: Hanoi, mergesort
[scribbles, my video]
Hint: Binary search
[solutions]
β˜… Divide and conquer: Karatsuba multiplication, linear-time selection [scribbles, Echo video] Fun with Karatsuba
[solutions]
Feb 26–Mar 2 β˜… Backtracking: n queens, game trees, text segmentation
[scribbles, my video]
Backtracking
[solutions, scribbles, video: intro, #1, #1 again, #2, #3]
β˜… Dynamic programming: Fibonacci, text segmentation again
[scribbles, my video]
Dynamic programming
[solutions, scribbles, video: #1, #1 again, #2, #3, #5]
Mar 5–9 β˜… Sequence dynamic programming: Edit distance
[scribbles, my video]
More dynamic programming
[solutions, scribbles, video: #1, #2, #3]
β˜… Tree-shaped dynamic programming: Optimal binary search trees
[scribbles, my video]
Yet even still more dynamic programming
[solutions, scribbles, video: #1, #2a, #2b]
Mar 12–16 β˜… Graphs: definitions, representations, data structures, traversal
[scribbles, my video]
Graph modeling
[solutions]
β˜… Depth-first search, topological sort
[scribbles, my video]
Topological sort
[solutions]
Drop deadline
Mar 19–23 Spring break
Mar 26–30 β˜… Strongly connected components
Greedy shortest paths: Dijkstra
[scribbles, my video]
Shortest paths
[solutions]
Shortest paths via dynamic programming: Shimbel-Moore-Bellman-Ford and Roy-Kleene-Floyd-Warshall
[scribbles, my video]
All-pairs shortest paths
[solutions]
Apr 2–6 β˜… Minimum spanning trees
[scribbles, my video]
More graph modeling
[solutions]
Optional review for Midterm 2
[
scribbles, my video]
Optional review for Midterm 2
Midterm 2 β€” Monday, April 9, 7–9pm
Conflict exam: Tuesday, April 10
Apr 9–13 P vs NP, NP-hardness, Cook-Levin Theorem, Circuit SAT, 3SAT, Independent Set
(β™₯ Removing nondeterminism via dovetailing, proof of Cook-Levin)
[scribbles, my video]
Self-reductions
[solutions]
NP-hardness reductions: Clique, Vertex Cover, 3-coloring, Hamiltonian cycle
[scribbles, my video]
NP-hardness proofs
[solutions]
Apr 16–20 More NP-hardness reductions: Hamiltonian cycle again, Super Mario Bros, international draughts
[scribbles, my video]
More NP-hardness proofs
[solutions]
Undecidability: code is data, the non-president's club, diagonalization, self-haters gonna self-hate, halting problem, reductions Undecidability via reductions
[solutions]
Apr 23–27 Undecidability: more reductions, Rice's theorem
Using Rice's Theorem
Universal models of computation ICES Forms Using Rice's Theorem
TA ICES Forms
Apr 30–May 4 Wrap-up and preliminary review for the final exam Review for final
Final exam β€” Tuesday, May 8, 8–11am
Conflict exam: TBA