Question: Define a ZPP-machine to be a probabilistic Turing machine that is permitted three types of output on each of its branches: accept, reject, and ?.
Define a ZPP-machine to be a probabilistic Turing machine that is permitted three types of output on each of its branches: accept, reject, and ?. A ZPP-machine M decides a language A if M outputs the correct answer on every input string w (accept if w ∈ A and reject if w ∉ A) with probability at least 2/3, and M never outputs the wrong answer. On every input, M may output ? with probability at most 1/3 . Furthermore, the average running time over all branches of M on w must be bounded by a polynomial in the length of w. Show that RP ∩ coRP = ZPP, where ZPP is the collection of languages that are recognized by ZPP-machines.
Step by Step Solution
3.32 Rating (161 Votes )
There are 3 Steps involved in it
We are assuming A as RP algorithm for L an even we are assuming B to be an CoRP algorithm for L RPN co RPn ZPP Let us consider EE RP nco RP Now we are ... View full answer
Get step-by-step solutions from verified subject matter experts
Document Format (2 attachments)
1556_605d88e240a86_840508.pdf
180 KBs PDF File
1556_605d88e240a86_840508.docx
120 KBs Word File
