Where does the game-theoretic characterization of PH come from? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T10:05:20Z http://mathoverflow.net/feeds/question/36903 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36903/where-does-the-game-theoretic-characterization-of-ph-come-from Where does the game-theoretic characterization of PH come from? Steve Huntsman 2010-08-27T16:38:49Z 2010-08-27T18:24:48Z <p>I have read in a few places that $\mathbf{PH}$ can be interpreted in terms of the complexity of determining the winner in two-player games. I would like to know a) the original reference for this result and/or b) a concise explanation of it that requires little to no background in complexity theory (e.g., less than <a href="http://books.google.com/books?id=EuguvA-w5OEC" rel="nofollow">Goldreich's book</a>).</p> http://mathoverflow.net/questions/36903/where-does-the-game-theoretic-characterization-of-ph-come-from/36908#36908 Answer by Robin Kothari for Where does the game-theoretic characterization of PH come from? Robin Kothari 2010-08-27T16:59:23Z 2010-08-27T16:59:23Z <p>I'll take a shot at explaining this. The canonical problem in PH is a problem of this sort: $\exists x_1 \forall x_2 \ldots \exists x_k f(x_1,x_2,\ldots,x_k)$. (The last quantifier is exists or forall depending on whether k is odd or even. Let's take it to be exists for this example.)</p> <p>The idea is to imagine two players, lets call them Eve (Player 1) and Adam (Player 2). (The names Eve and Adam were chosen so that Eve corresponds to the exists operator, and Adam corresponds to the forAll operator.)</p> <p>Imagine that $x_1,x_3,\ldots$ describe Eve's moves in this two player game, and $x_2,x_4,\ldots$ describe Adam's moves. The function $f(x_1,x_2,\ldots,x_k)$ evaluates if these moves lead to a win for Eve ($f=1$) or a loss ($f=0$). There is no possibility of a draw.</p> <p>Now the idea is simple. The value of the boolean expression $\exists x_1 \forall x_2 \ldots \exists x_k f(x_1,x_2,\ldots,x_k)$ exactly tells us if Eve has a winning strategy or not. In words, the boolean expression says this: "Is there a first move ($x_1$) that Eve can play so that no matter what Adam plays in his second move ($x_2$), there exists a move for Eve ($x_3$), so that no matter what Adam plays ........ there exists a $k^{th}$ move for Eve ($x_k$) so that she wins (i.e., $f(x_1,x_2,\ldots,x_k) = 1$)."</p> <p>So the Boolean expression exactly expresses whether Eve has a winning strategy in this two player game.</p> http://mathoverflow.net/questions/36903/where-does-the-game-theoretic-characterization-of-ph-come-from/36910#36910 Answer by Richard Dore for Where does the game-theoretic characterization of PH come from? Richard Dore 2010-08-27T17:55:06Z 2010-08-27T18:24:48Z <p>Whenever you have quantifier alternation, you can think of it as a sort of game: one player picks what happens at each universal quantifier, and the other player picks the values at each existential quantifier. The existential player wins if the inner formula at the end is true, the universal player wins if it is false. The whole formula will be true exactly when the existential player has a winning strategy.</p> <p>Different complexity classes correspond to different types of formulas. For example, any language in NP can be represented as the strings y so the $\exists x. \phi(x,y)$, where the length of $x$ is polynomial in the length of $y$ and $\phi$ can be computed in polynomial time. So NP corresponds to the games where the existential player can make a move that wins immediately. Working up the polynomial hierarchy, you get games (determined by the input) where the existential player always wins in 2 moves, 3 moves, etc., (where each move still has to be polynomial in size). And a language in the whole polynomial hierarchy is the collection of games where there is some fixed n, so that the game is always won by the existential player in n moves. In contrast, PSPACE is the games where the number of move can vary as long as it is polynomial in the length of y. (And the different formulas have to arise in some reasonably uniform way). This is how I usually understand why PH is contained in PSPACE, but then, I am a logician.</p> http://mathoverflow.net/questions/36903/where-does-the-game-theoretic-characterization-of-ph-come-from/36911#36911 Answer by John Watrous for Where does the game-theoretic characterization of PH come from? John Watrous 2010-08-27T18:06:44Z 2010-08-27T18:06:44Z <p>The answer to part (a) of your question is this reference:</p> <blockquote> <p>A. Meyer and L. Stockmeyer. The equivalence problem for regular expressions with squaring requires exponential space. In <em>Proceedings of the 13th IEEE Symposium on Switching and Automata Theory</em>, pages 125-129, 1972. <a href="http://people.csail.mit.edu/meyer/rsq.pdf" rel="nofollow">[pdf]</a></p> </blockquote> <p>What an amazing paper this was! Two later papers that discuss refinements of the result include these:</p> <blockquote> <p>C. Wrathall. Complete sets and the polynomial-time hierarchy. <em>Theoretical Computer Science</em> 3:23-33, 1977.</p> <p>A. Chandra, D. Kozen, and L. Stockmeyer. Alternation. <em>Journal of the ACM</em> 28(1):114-133, 1981.</p> </blockquote>