On the Complexity of Succinct Zero-Sum Games

We study the complexity of solving succinct zero-sum games, i.e., the games whose payoff matrix M is given implicitly by a Boolean circuit C such that M(i, j) = C(i, j). We complement the known EXP-hardness of computing the exact value of a succinct zero-sum game by several results on approximating the value. (1) We prove that approximating the value of a succinct zero-sum game to within an additive factor is complete for the class promise-Sp 2 , the “promise” version of Sp 2 . To the best of our knowledge, it is the first natural problem shown complete for this class. (2) We describe a ZPPNP algorithm for constructing approximately optimal strategies, and hence for approximating the value, of a given succinct zero-sum game. As a corollary, we obtain, in a uniform fashion, several complexity-theoretic results, e.g., a ZPPNP algorithm for learning circuits for SAT [7] and a recent result by Cai [9] that Sp 2 ⊆ ZPPNP . (3) We observe that approximating the value of a succinct zer...

• Type: Conference
• Year: 2005
• Where: COCO
• Authors: Lance Fortnow, Russell Impagliazzo, Valentine Kabanets, Christopher Umans
• Keywords: COCO 2005, Exact Value, Succinct Zero-sum Games, ZPPNP Algorithm