Abstract:It is a well-known fact that correlated equilibria can be computed in polynomial time in a large class of concisely represented games using the celebrated Ellipsoid Against Hope algorithm (Papadimitriou and Roughgarden, 2008; Jiang and Leyton-Brown, 2015). However, the landscape of efficiently computable equilibria in sequential (extensive-form) games remains unknown. The Ellipsoid Against Hope does not apply directly to these games, because they do not have the required "polynomial type" property. Despite this barrier, Huang and von Stengel (2008) altered the algorithm to compute exact extensive-form correlated equilibria. In this paper, we generalize the Ellipsoid Against Hope and develop a simple algorithmic framework for efficiently computing saddle-points in bilinear zero-sum games, even when one of the dimensions is exponentially large. Moreover, the framework only requires a "good-enough-response" oracle, which is a weakened notion of a best-response oracle. Using this machinery, we develop a general algorithmic framework for computing exact linear $\Phi$-equilibria in any polyhedral game (under mild assumptions), including correlated equilibria in normal-form games, and extensive-form correlated equilibria in extensive-form games. This enables us to give the first polynomial-time algorithm for computing exact linear-deviation correlated equilibria in extensive-form games, thus resolving an open question by Farina and Pipis (2023). Furthermore, even for the cases for which a polynomial time algorithm for exact equilibria was already known, our framework provides a conceptually simpler solution.

The Winning Strategy for Hironaka'S Polyhedra Game is Almost Arbitrary

A matrix solution to any polygon equation

Ambitropical geometry, hyperconvexity and zero-sum games

Bad($\mathbf{w}$) is hyperplane absolute winning

Set Matching: An Enhancement of the Hales-Jewett Pairing Strategy

A New Twist on Wythoff's Game

Zero-determinant strategies in iterated multi-strategy games

State Representation and Polyomino Placement for the Game Patchwork

Combinatorics of Correlated Equilibria

A Game of Nontransitive Dice

The Complexities of Random-Turn Hex, Square, and Triangle Games

Innocent Strategies are Sheaves over Plays---Deterministic, Non-deterministic and Probabilistic Innocence

The Geometry of Zero-Determinant Strategies

Simple Strategies for Large Zero-Sum Games with Applications to Complexity Theory

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Winning Strategies in Multimove Chess (i,j)

The Hats game. The power of constructors

The Optimal Strategy against Hedge Algorithm in Repeated Games

A Generalization of Hadamard's Inequality for Convex Functions

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking

Polynomial-Time Computation of Exact $Φ$-Equilibria in Polyhedral Games