Slide 1 CS151 Complexity Theory Lecture 13 May 11, 2004 Slide 2 CS151 Lecture 132 Outline Natural complete problems for PH and PSPACE proof systems interactive proofs and…