May 04, 2024  
2015-2016 University Catalog 
    
2015-2016 University Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 531 - Computability and Complexity Theory (4)


Formalizing problems and algorithms. Characterizations and properties of computability classes, undecidability. Complexity classes. NP-complete problems, proof of NP-completeness.

Prerequisite(s): CS 311  and CS 331 , or consent of instructor.
Component(s): 4 lectures/problem-solving.



Add to Portfolio (opens a new window)