## Find a copy in the library

Finding libraries that hold this item...

## Details

Document Type: | Book |
---|---|

All Authors / Contributors: |
Jin-yi Cai; Anne Condon; Richard J Lipton |

OCLC Number: | 22643068 |

Notes: | "December 1989." |

Description: | 9 pages ; 28 cm. |

Series Title: | Princeton University.; Department of Computer Science.; Technical report |

Responsibility: | Jin-yi Cai, Anne Condon, Richard J. Lipton. |

### Abstract:

Abstract: "We compare bounded round multi-prover interactive proof systems (MIP's) with unbounded round interactive proof systems (IPS's). We show that for any constant [epsilon], any language accepted by an unbounded round IPS has a bounded round, 2-prover MIP that has error probability [epsilon], resolving an open problem of Fortnow, Rompel and Sipser [7]. To obtain this result, we show that a certain 1-round MIP that simulates the computation of an unbounded round IPS can be executed many times in parallel to significantly reduce its probability of error."

## Reviews

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "On bounded round multi-prover interactive proof systems".
Be the first.