Making Games Short
@inproceedings{Feige2006MakingGS, title={Making Games Short}, author={U. Feige and Joe KilianyAbstractWe}, year={2006} }
We study the complexity of refereed games, in which two computationally unlimited players play against each other, and a polynomial time referee monitors the game and announces the winner. The players may exchange messages with the referee in private, resulting in a game of perfect recall but incomplete information. We show that any EXPTIME statement can be eeciently transformed into a refereed game in which if the statement is true, the rst player wins with overwhelming probability , and if… CONTINUE READING
36 Citations
Upper bounds for quantum interactive proofs with competing provers
- Computer Science
- 20th Annual IEEE Conference on Computational Complexity (CCC'05)
- 2005
- 13
- Highly Influenced
- PDF
Parallel Approximation of Non-interactive Zero-sum Quantum Games
- Mathematics, Computer Science
- 2009 24th Annual IEEE Conference on Computational Complexity
- 2009
- 33
- PDF
Entropy, Convex Optimization, and Competitive Quantum Interactions
- Computer Science, Physics
- ArXiv
- 2005
- Highly Influenced
- PDF
Quantum Interactive Proofs with Competing Provers
- Mathematics, Computer Science
- STACS
- 2005
- 33
- Highly Influenced
- PDF
References
SHOWING 1-10 OF 43 REFERENCES
The complexity of two-person zero-sum games in extensive form
- Mathematics
- 1992
- 206
- Highly Influential
- PDF
Simple strategies for large zero-sum games with applications to complexity theory
- Mathematics, Computer Science
- STOC '94
- 1994
- 85
- Highly Influential
- PDF
The Complexity of Two-Player Games of Incomplete Information
- Computer Science
- J. Comput. Syst. Sci.
- 1984
- 303
Fast algorithms for finding randomized strategies in game trees
- Computer Science
- STOC '94
- 1994
- 204
- Highly Influential
- PDF
On the complexity of space bounded interactive proofs
- Mathematics, Computer Science
- 30th Annual Symposium on Foundations of Computer Science
- 1989
- 117
- PDF
Multi-Oracle Interactive Protocols with Constant Space Verifiers
- Computer Science
- J. Comput. Syst. Sci.
- 1992
- 22
- PDF
Random debaters and the hardness of approximating stochastic functions
- Mathematics, Computer Science
- Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory
- 1994
- 63
- PDF
Multi-prover interactive proofs: how to remove intractability assumptions
- Mathematics, Computer Science
- STOC '88
- 1988
- 471
- PDF