Wednesday, October 21, 2015

Lecture 27

In lieu of a lecture on Friday, please attend the Sunbird panel in the Klaus Atrium. The instructor will hold office hours from 4-5 PM for those who have questions about Assignment 3 due Monday.

In class we discussed the proof that there exist interactive proofs for co-NP, P#P and thus every language in the polynomial-time hierarchy. On Monday we'll show how to extend to IP = PSPACE.