CS 6382.001.17F (Fall'2017) Theory of Computation
2:30-3:45pm MW, SLC 2.203

This course consists of five parts:

Theory of Deterministric Computation
Theory of Nondeterministic Computation
Theory of Parallel Computation
Theory of Probabilistic Computation
Theory of Approximate Computation

Contact Information of Professor

Office Hours: Friday 2:30 - 3:30PM
in Room ECSS 3-611.
homepage: http://www.utdallas.edu/~dxd056000

Teaching Assistants:

Please click here for information on TA

Guangmo Tong

Office Hours: 3:00-5:00pm Tuesday
in ECSS 2.104A1
Email: [email protected]

Reference Books

Ding-Zhu Du and Ker-I Ko:
Theory of Computational Complexity (2nd ed.)
ISBN-13: 978-1118306086
Published: June 2014


(* means 'sketch')

Unit I (Theory of Deterministic Computation)
Lecture 1-1 Turing Machine (Sec. 1.1-2)
Lecture 1-2 Time and Space of DTM (Sec.1.2)
Lecture 1-3 Undecibality (Sec. 1.5-6)
* Lecture 1-4 Recursive Function
Lecture 1-5 Hierarchy Theorem

Unit II (Theory of Nondeterministic Computation}
Lecture 2-1 Time and Space of NTM (Sec.1.3-4)
Lecture 2-2 NP class (Sec. 2.1)
Lecture 2-3 Cook Theorem (Sec. 2.2)
Lecture 2-4 Proof of NP-hardness (Sec. 2.3-4)
Read Me Logic Puzzle
Lecture 2-5 Polynomial-time Hierachy (Sec. 3.1-2)
Lecture 2-6 Complete Problem in HP (Sec. 3.3)
* Lecture 2-7 Characterization of PSPACE (Sec. 3.4)
Lecture 2-8 PSPACE-complete (Sec. 3.5)
Read Me GO is PSPACE-hard

Unit III (Theory of Parallel Computation)
Lecture 3-1 P-size Circuit (Sec. 6.1-2)
Lecture 3-2 NC Class (Sec. 6.5)
* Lecture 3-3 Separating NC Hierachy (Sec. 6.6, 6.4)
Lecture 3-4 P-complete (Sec, 6.7)

Unit IV (Theory of Probablistic Computation)
* Lecture 4-1 Random Algorithm (Sec. 8.1)
* Lecture 4-2 Probabilistic TM (Sec. 8.2-6)
Lecture 4-3 Counting Class #P (Sec. 9.1-2)
Lecture 4-4 #P-complete (Sec. 9.2)
Read Me Influence Spread is #P-hard

Unit V (Theory of Approximate Computation)
Lecture 5-1 Approximations for NP-hard Problems (Sec. 2.5)
* Lecture 5-2 Reduction with Gap (Sec. 2.5)
Lecture 5-3 APX-complete (Sec. 11.5)
* Lecture 5-4 PCP Theorems
Lecture 5-5 Set-Cover and Indepedent Set (Sec. 11.5)
Final Exam

Homeworks and Examinations

There are 4 homeworks which will be given in Elearning.
There are two exams: Midterm and Final Exam. Schedules will be anounced in Elearning.

Homeworks have totally 40 points, two exams have totally 60 points.
Grades will be assigned according to the total number of received points:
A >= 85 > B >= 70 > C >= 50.