This course covers foundational results in theoretical computer science, with a focus on how we model computation and how we use these models to explore key questions about what can and cannot be solved (efficiently) with computing devices. Many of the concepts in this course will come up often in the life of a computer scientist (e.g., NP-completeness, decidability, grammars, etc).
This course is open to PhD and Masters students. I'm also happy to allow advanced undergraduates to enroll with my permission.
The textbook for this course is Introduction to the Theory of Computation, 3rd Edition, Michael Sipser, 2012. Most of the topics covered in this course will be drawn from this text.
Grades in the course will be based on five problem sets and two exams.
In determining your final grade, I will add up the total number of points you earned and assign your grade based on this sum. (The mapping from point totals to letter grades is something I develop as the semester progresses and I get a better sense of the relative difficulty of the problems I assigned. If you are unsure how you are doing in the class, please ask me.)
The point values of the exams and problem sets are calibrated so they they contribute approximately the following percentage toward your final point total:
A few tips for doing well in this course without excessive amounts of stress:
I hold regular office hours in my office at 334 Saint Mary's Hall from 12:30 to 1:30 on Tuesday and Thursday.
The following rules describe my expectations and grading policies for problem sets:
There will be two exams in the course: a midterm and a final. The midterm covers automata and computability theory and the final covers complexity theory (i.e., it is not cumulative).
I take academic integrity seriously. To repeat the problem set instructions from above: You must work alone on problem sets. You may only discuss problems with me. The only materials you can reference when working on these problems are your course notes and the assigned textbook. In particular, you may not reference online sources or talk to other students.
You may not bring any outside material into exams.
You may not reference any problem sets, exams, or solutions from prior teachings of this course.
When in doubt, ask me what is allowed.
Below is the current schedule for the course (some changes may occur during the semester). Problem sets will be posted for download on the schedule as they become available. The readings column lists the chapters from the Sipser textbook that cover the corresponding lecture's material.
|Part 1: Automata Theory|
|1||1/14||Intro; finite automata
|2||1/19||Non-determinism; regular languages;||1.2, 1.3|
|3||1/21||Pumping lemma for regular languages; context-free grammars; Chomsky normal form||1.4, 2.1|
|4||1/26||Pushdown automata; pumping lemma for context-free languages||2.2, 2.3|
|Part 2: Computability Theory|
|6||2/2||Context-free languages (cont.)||4.1|
|8||2/9||Some decidable and recognizable languages. Proof of undecidable and unrecognizable languages.||4.1, 4.2|
|9||2/11||Reducibility||5.1, 5.3, 6.3|
|10||2/16||LBAs and PCP theorem||5.1, 5.2|
|11||2/23||Lecture overflow; midterm review
|Part 3: Complexity Theory|
|14||3/1||Time complexity; TIME and NTIME complexity classes
|15||3/3||The classes P and NP||7.2, 7.3|
|3/8||No Class: Spring Break|
|3/10||No Class: Spring Break|
|16||3/15||NP-completeness; the Cook-Levin theorem;||7.4|
|17||3/17||More NP-complete problems||7.4, 7.5|
|18||3/22||Space Complexity; SPACE and NSPACE complexity classes||8.0|
|3/24||No Class: Easter Break|
|19||3/29||Savitch's Theorem; PSPACE and
||8.1, 8.2, 8.3|
|20||3/31||Games and Generalized Geography;||8.3|
|21||4/5||L and NL, NL-Completeness, and NL = coNL||8.4, 8.5, 8.6|
|22||4/7||Hierarchy Theorems||9.0, 9.1|
|25||4/19||Probabilistic Computation, BPP||10.2|
|28||4/28||Final exam review|
|5/6 to 5/14||Final exam period (specific date and location of our exam is pending)|
The PhD qualifying exam includes a segment on theory of computation. It is based on the material covered in COSC 545 (see the schedule above for a list of topics and corresponding chapters in the Sipser textbook). To help your review, here is a summary of what you are expected to know from this material for the qualifying exam: