### Abstract

We characterize the power of two-prover one-round (MIP(2,1)) proof systems, showing that MIP(2,1) = NEXPTIME. However, the following intriguing question remains open: Does parallel repetition decrease the error probability of MIP(2,1) proof systems? We use techniques based on quadratic programming to study this problem, and prove the parallel repetition conjecture in some special cases. Interestingly, our work leads to a general polynomial time heuristic for any NP-problem. We prove the effectiveness of this heuristic for several problems, such as computing the chromatic number of perfect graphs.

Original language | English |
---|---|

Title of host publication | Conference Proceedings of the Annual ACM Symposium on Theory of Computing |

Editors | Anon |

Publisher | Publ by ACM |

Pages | 733-744 |

Number of pages | 12 |

ISBN (Print) | 0897915119 |

Publication status | Published - 1992 |

Event | Proceedings of the 24th Annual ACM Symposium on the Theory of Computing - Victoria, BC, Can Duration: May 4 1992 → May 6 1992 |

### Other

Other | Proceedings of the 24th Annual ACM Symposium on the Theory of Computing |
---|---|

City | Victoria, BC, Can |

Period | 5/4/92 → 5/6/92 |

### Fingerprint

### ASJC Scopus subject areas

- Software

### Cite this

*Conference Proceedings of the Annual ACM Symposium on Theory of Computing*(pp. 733-744). Publ by ACM.

**Two-prover one-round proof systems : Their power and their problems.** / Feige, Uriel; Lovász, L.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*Conference Proceedings of the Annual ACM Symposium on Theory of Computing.*Publ by ACM, pp. 733-744, Proceedings of the 24th Annual ACM Symposium on the Theory of Computing, Victoria, BC, Can, 5/4/92.

}

TY - GEN

T1 - Two-prover one-round proof systems

T2 - Their power and their problems

AU - Feige, Uriel

AU - Lovász, L.

PY - 1992

Y1 - 1992

N2 - We characterize the power of two-prover one-round (MIP(2,1)) proof systems, showing that MIP(2,1) = NEXPTIME. However, the following intriguing question remains open: Does parallel repetition decrease the error probability of MIP(2,1) proof systems? We use techniques based on quadratic programming to study this problem, and prove the parallel repetition conjecture in some special cases. Interestingly, our work leads to a general polynomial time heuristic for any NP-problem. We prove the effectiveness of this heuristic for several problems, such as computing the chromatic number of perfect graphs.

AB - We characterize the power of two-prover one-round (MIP(2,1)) proof systems, showing that MIP(2,1) = NEXPTIME. However, the following intriguing question remains open: Does parallel repetition decrease the error probability of MIP(2,1) proof systems? We use techniques based on quadratic programming to study this problem, and prove the parallel repetition conjecture in some special cases. Interestingly, our work leads to a general polynomial time heuristic for any NP-problem. We prove the effectiveness of this heuristic for several problems, such as computing the chromatic number of perfect graphs.

UR - http://www.scopus.com/inward/record.url?scp=0026991175&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026991175&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0026991175

SN - 0897915119

SP - 733

EP - 744

BT - Conference Proceedings of the Annual ACM Symposium on Theory of Computing

A2 - Anon, null

PB - Publ by ACM

ER -