Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav08:computational_complexity [2008/02/21 21:09] piskac |
sav08:computational_complexity [2008/02/21 21:10] piskac |
||
---|---|---|---|
Line 17: | Line 17: | ||
===== More Information ===== | ===== More Information ===== | ||
- | * [[Calculus of Computation Textbook]] | + | * [[Calculus of Computation Textbook]], Section 2.6 (Decidability and Complexity) |
* [[:Gallier Logic Book]], Section 3.3.5 | * [[:Gallier Logic Book]], Section 3.3.5 | ||
* [[Theory of Computation Courses and Books]] | * [[Theory of Computation Courses and Books]] | ||
* [[http://www.cs.princeton.edu/theory/complexity/|Complexity Theory: A Modern Approach]], Chapter on [[http://www.cs.princeton.edu/theory/complexity/NPchap.pdf|NP and NP completeness]] | * [[http://www.cs.princeton.edu/theory/complexity/|Complexity Theory: A Modern Approach]], Chapter on [[http://www.cs.princeton.edu/theory/complexity/NPchap.pdf|NP and NP completeness]] |