In Lecture 11, we covered:

Telling coke and pepsi apart: Interactive protocol for Graph nonisomorphism;

Interactive proof for Counting-SAT (and so PH is a subset of IP);

The precise power of interaction: IP = PSPACE ;

Perfect completeness and public coins don't change power of IP.

Graded problem set 1 was handed back.

Subscribe to:
Post Comments (Atom)

## No comments:

## Post a Comment

Note: Only a member of this blog may post a comment.