CSCI 6420 Notes

1. Introduction

2. Preliminaries

3. Finite state computation

4. General models of computation

5. Computability

6. Reduction

7. Partial computability

8. Completeness

9. The class P

10. Polynomial time reductions

11. The class NP

12. NP-completeness

13. CoNP and CoNP-complete problems

14. PSPACE and PSPACE-complete problems

15. Topics

16. Tools from complexity theory

17. Review