May 11, 2024  
2017-2018 Catalog 
    
Catalog Navigation
  Publication Home
  About Harvey Mudd College
  Introduction
  Student Life
  Admission & Financial Aid
  Academic Program
  HMC Common Core
  Department of Biology
  Department of Chemistry
  Department of Computer Science
  Department of Engineering
  Department of Humanities, Social Sciences, and the Arts
  Department of Mathematics
  Department of Physics
  Interdisciplinary Programs
  Other Programs
  Study Abroad
  Programs of Study
  Course Descriptions
  Academic Policies
  General Policies
  Faculty
  Senior Administration
  Academic Calendar 2017-2018
  Archived Catalogs
HELP
2017-2018 Catalog [ARCHIVED PUBLICATION] Use the dropdown above to select the current catalog.

CSCI142 HM - Complexity Theory

Credit(s): 3

Libeskind-Hadas, Pippenger (Mathematics). Brief review of computability theory through Rice’s Theorem and the Recursion Theorem followed by a rigorous treatment of complexity theory. The complexity classes P, NP, and the Cook-Levin Theorem. Approximability of NP-complete problems. The polynomial hierarchy, PSPACE-completeness, L and NL-completeness, #P-completeness. IP and Zero-knowledge proofs. Randomized and parallel complexity classes. The speedup, hierarchy, and gap theorems. (Fall, alternate years) (Crosslisted as MATH167 HM )

Prerequisite(s): CSCI081 HM