------------------------------------------------
COMP SCI 731 - Lecture 8 - Monday, Nov 27, 2000
------------------------------------------------

Today: o Explain HW problems
       o Cook-Levin Theorem 
 

This lecture follows the proof of the Cook-Levin Theorem given 
in [CLR], showing that any NP language A reduces to CIRCUIT.