Define a ZPP-machine to be a probabilistic Turing machine that is permitted three types of output on

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 ?. 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.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: