Two prover protocols: low error at affordable rates

@inproceedings{Feige1994TwoPP,
  title={Two prover protocols: low error at affordable rates},
  author={Uriel Feige and Joe Kilian},
  booktitle={STOC},
  year={1994}
}
We introduce the miss-match form for two-prover one-round proof systems. Any two-prover one-round proof system can be easily modified so as to be in miss-match form. Proof systems in miss-match form have the “projection” property that is important for deriving hardness of approximation results for NP-hard combinatorial optimization problems. Our main result is an upper bound on the number of parallel repetitions that suffice in order to reduce the error of miss-match proof systems from p to… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 126 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 81 extracted citations

126 Citations

051015'94'99'05'11'17
Citations per Year
Semantic Scholar estimates that this publication has 126 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Two prover protocols—low error at affordable rates

  • U. Feige, J. Kilian
  • Proceedings of the 26th Annual ACM Symposium on…
  • 1994
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…