PhD Qualifying Exam - Theory Area, Fall 2004, IIT The exam consisted of Problem 2-20 from Sipser and Problems 9-2 and 22-3 from Cormen et al. CS 550 Reference: Michael Sipser. Introduction to the Theory of Computation. Brooks Cole. CS 535 Reference: T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein. Introduction to Algorithms, 2nd edition. MIT Press.