CS151 Complexity Theory Lecture 3 April 6, 2004 CS151 Lecture 3 Introduction A motivating question: Can computers replace mathematicians? L = { (x, 1k) : statement x has…