# exam3 - π ∈ R S k and r 1,r n ∈ R 1 n Output κ = E π...

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

CSci 5403, Spring 2010 Exam 3 due: April 21, 2010 You may use the textbook and the class notes and example solutions, but no other sources to complete this exam. Graph Coloring. Recall that a graph G = ( V,E ) is k -colorable if there exists an assignment c : V [ k ] such that for all ( u,v ) E , c ( u ) 6 = c ( v ). It is not too hard to show that deciding whether G is k -colorable is NP -hard for any k > 2, and thus that there is no k +1 k approximation algorithm for coloring for any k > 2, unless P = NP . Prove that the following three-round protocol is a computational zero-knowledge interactive proof scheme for k -coloring: 1. P : let c be a k -coloring of G . Choose
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: π ∈ R S k , and r 1 ,...,r n ∈ R { , 1 } n . Output κ = E ( π ( c (1)); r 1 ) ,...,E ( π ( c ( n )); r n ) 2. V : Choose at random e = ( u,v ) ∈ R E G . Output e . 3. P : Output h ( π ( c ( u )) ,r u ) , ( π ( c ( v )) ,r v ) i . 4. V : Accept iﬀ c u 6 = c v , E ( c u ; r u ) = κ u , and E ( c v ; r v ) = κ v . You may assume that E : [ k ] × { , 1 } n → { , 1 } * is 1-1 on [ k ] × { , 1 } n ; E is eﬃciently computable; and for all i,j ∈ [ k ], E ( i ; U n ) and E ( j ; U n ) are computationally indistinguish-able. 1...
View Full Document

## This note was uploaded on 10/21/2011 for the course CSCI 5403 taught by Professor Sturtivant,c during the Spring '08 term at Minnesota.

Ask a homework question - tutors are online