Abstract:Despite the many recent practical and theoretical breakthroughs in computational game theory, equilibrium finding in extensive-form team games remains a significant challenge. While NP-hard in the worst case, there are provably efficient algorithms for certain families of team game. In particular, if the game has common external information, also known as A-loss recall -- informally, actions played by non-team members (i.e., the opposing team or nature) are either unknown to the entire team, or common knowledge within the team -- then polynomial-time algorithms exist (Kaneko & Kline 1995). In this paper, we devise a completely new algorithm for solving team games. It uses a tree decomposition of the constraint system representing each team's strategy to reduce the number and degree of constraints required for correctness (tightness of the mathematical program). Our approach has the bags of the tree decomposition correspond to team-public states. Our algorithm reduces the problem of solving team games to a linear program with at most $O(NW^{w+1})$ nonzero entries in the constraint matrix, where $N$ is the size of the game tree, $w$ is a parameter that depends on the amount of uncommon external information, and $W$ is the treewidth of the tree decomposition. In public-action games, our program size is bounded by the tighter $2^{O(nt)}N$ for teams of $n$ players with $t$ types each. Our algorithm is based on a new way to write a custom, concise tree decomposition, and its fast run time does not assume that the decomposition has small treewidth. Since our algorithm describes the polytope of correlated strategies directly, we get equilibrium finding in correlated strategies for free -- instead of, say, having to run a double oracle algorithm. We show via experiments on a standard suite of games that our algorithm achieves state-of-the-art performance on all benchmark game classes except one.

The Complexity of Two-Team Polymatrix Games with Independent Adversaries

On the Approximation of Nash Equilibria in Sparse Win-Lose Multi-player Games

Efficiently Computing Nash Equilibria in Adversarial Team Markov Games

The Complexity of Symmetric Bimatrix Games with Common Payoffs

Computational Results for Extensive-Form Adversarial Team Games

Settling the complexity of computing two-player Nash equilibria

Computing Possible and Necessary Equilibrium Actions (and Bipartisan Set Winners)

The Oracle Complexity of Simplex-based Matrix Games: Linear Separability and Nash Equilibria

Query-Efficient Algorithm to Find all Nash Equilibria in a Two-Player Zero-Sum Matrix Game

Computing Ex Ante Coordinated Team-Maxmin Equilibria in Zero-Sum Multiplayer Extensive-Form Games

PPAD-Complete Pure Approximate Nash Equilibria in Lipschitz Games

Settling Some Open Problems on 2-Player Symmetric Nash Equilibria

Learning Sparse Polymatrix Games in Polynomial Time and Sample Complexity

Settling the Complexity of Two-Player Nash Equilibrium

Computing Ex Ante Equilibrium in Heterogeneous Zero-Sum Team Games

The Weihrauch degree of finding Nash equilibria in multiplayer games

Inapproximability of Nash Equilibrium

On the Uniqueness of Nash Equilibria in Multiagent Matrix Games

Instance-dependent Sample Complexity Bounds for Zero-sum Matrix Games

Team Correlated Equilibria in Zero-Sum Extensive-Form Games via Tree Decompositions

Distributed Multi-Coalition Games with General Linear Systems over Markovian Switching Networks