hw4 - exactly the template given in class. Work modulo q =...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
University of Maryland CMSC652 — Complexity Theory Professor Jonathan Katz Homework 4 Due at the beginning of class on Nov. 16 I suggest to use L A T E Xwhen typing up your solutions. 1. Prove Claim 3 in the notes for lecture 12. Prove also that ZPP = RP ∩ co RP . 2. Arora-Barak, Exercise 7.10. 3. Arora-Barak, Exercise 8.1(d). 4. Arora-Barak, Exercise 8.4. 5. Consider the follow (true) TQBF statement φ : x 1 x 2 : ( x 1 ¯ x 2 ) x 1 x 2 ). (a) Write out the arithmetization Φ for φ , and prove that Y x 1 ∈{ 0 , 1 } R x 1 a x 2 ∈{ 0 , 1 } R x 1 R x 2 Φ( x 1 ,x 2 ) = 1 mod 11 . (b) Explicitly write out the entire interactive proof for the statement above, following
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: exactly the template given in class. Work modulo q = 11, and assume that in the rst iteration the verier chooses random value 1, then random value 2, ..., etc. (This is only to make it easier for the TA to grade in a real execution of the protocol, the verier would of course need to choose the random values at random, and we would have to take q larger than 11.) 1...
View Full Document

This note was uploaded on 01/13/2012 for the course CMSC 652 taught by Professor Staff during the Fall '08 term at Maryland.

Ask a homework question - tutors are online