English
Related papers

Related papers: Computations and Complexities of Tarski's Fixed Po…

200 papers

We study robust Markov games (RMG) with $s$-rectangular uncertainty. We show a general equivalence between computing a robust Nash equilibrium (RNE) of a $s$-rectangular RMG and computing a Nash equilibrium (NE) of an appropriately…

Computer Science and Game Theory · Computer Science 2024-06-14 Jeremy McMahan , Giovanni Artiglio , Qiaomin Xie

We study the existence and computation of Nash equilibria in concave games where the players' admissible strategies are subject to shared coupling constraints. Under playerwise concavity of constraints, we prove existence of Nash…

Computer Science and Game Theory · Computer Science 2026-02-09 Philip Jordan , Maryam Kamgarpour

We present multilinear and mixed-integer multilinear programs to find a Nash equilibrium in multi-player noncooperative games. We compare the formulations to common algorithms in Gambit, and conclude that a multilinear feasibility program…

Optimization and Control · Mathematics 2024-03-27 Miriam Fischer , Akshay Gupte

We consider the problem of modeling competitive diffusion in real world social networks via the notion of ChoiceGAPs which combine choice logic programs due to Sacca` and Zaniolo and Generalized Annotated Programs due to Kifer and…

Logic in Computer Science · Computer Science 2016-06-09 Edoardo Serra , Francesca Spezzano , V. S. Subrahmanian

We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tarski fixed point theorem when restricted to the case of…

Logic in Computer Science · Computer Science 2015-02-10 Zoltán Ésik , Panos Rondogiannis

A major open question in algorithmic game theory is whether normal-form correlated equilibria (NFCE) can be computed efficiently in succinct games such as extensive-form games [DFF+25,6PR24,FP23,HvS08,VSF08,PR08]. Motivated by this…

Computer Science and Game Theory · Computer Science 2025-07-16 Vincent Cheval , Florian Horn , Soumyajit Paul , Mahsa Shirmohammadi

We study stochastic Nash equilibrium problems with expected valued cost functions whose pseudogradient satisfies restricted monotonicity properties which hold only with respect to the solution. We propose a forward-backward algorithm and…

Optimization and Control · Mathematics 2021-11-05 Barbara Franci , Sergio Grammatico

Adversarial multiplayer games are an important object of study in multiagent learning. In particular, polymatrix zero-sum games are a multiplayer setting where Nash equilibria are known to be efficiently computable. Towards understanding…

Computer Science and Game Theory · Computer Science 2026-04-13 Alexandros Hollender , Gilbert Maystre , Sai Ganesh Nagarajan

Usually, to apply game-theoretic methods, we must specify utilities precisely, and we run the risk that the solutions we compute are not robust to errors in this specification. Ordinal games provide an attractive alternative: they require…

Computer Science and Game Theory · Computer Science 2024-07-11 Vincent Conitzer

We develop a flexible stochastic approximation framework for analyzing the long-run behavior of learning in games (both continuous and finite). The proposed analysis template incorporates a wide array of popular learning algorithms,…

Computer Science and Game Theory · Computer Science 2023-07-04 Panayotis Mertikopoulos , Ya-Ping Hsieh , Volkan Cevher

We define a class of zero-sum games with combinatorial structure, where the best response problem of one player is to maximize a submodular function. For example, this class includes security games played on networks, as well as the problem…

Computer Science and Game Theory · Computer Science 2017-12-04 Bryan Wilder

In this work, we provide a structural characterization of the possible Nash equilibria in the well-studied class of security games with additive utility. Our analysis yields a classification of possible equilibria into seven types and we…

Computer Science and Game Theory · Computer Science 2022-08-05 Joe Clanin , Sourabh Bhattacharya

We introduce, to our knowledge, the first direct second-order method for computing Nash equilibria in two-player zero-sum games. To do so, we construct a Douglas-Rachford-style splitting formulation, which we then solve with a semi-smooth…

Computer Science and Game Theory · Computer Science 2025-12-16 David Yang , Yuan Gao , Tianyi Lin , Christian Kroer

We consider the problem of learning sparse polymatrix games from observations of strategic interactions. We show that a polynomial time method based on $\ell_{1,2}$-group regularized logistic regression recovers a game, whose Nash…

Machine Learning · Computer Science 2019-01-30 Asish Ghoshal , Jean Honorio

Multi-leader multi-follower games are a class of hierarchical games in which a collection of leaders compete in a Nash game constrained by the equilibrium conditions of another Nash game amongst the followers. The resulting equilibrium…

Optimization and Control · Mathematics 2014-08-27 Ankur A. Kulkarni , Uday V. Shanbhag

Reinforcement learning for multi-agent games has attracted lots of attention recently. However, given the challenge of solving Nash equilibria for large population games, existing works with guaranteed polynomial complexities either focus…

Optimization and Control · Mathematics 2025-09-04 Anran Hu , Junzi Zhang

This paper presents algorithms for non-zero sum nonlinear constrained dynamic games with full information. Such problems emerge when multiple players with action constraints and differing objectives interact with the same dynamic system.…

Systems and Control · Electrical Eng. & Systems 2020-01-08 Bolei Di , Andrew Lamperski

We study the problem of solving matrix games of the form $\min_{\mathbf{p}\in\Delta}\max_{\mathbf{w}\in\mathcal{W}}\mathbf{p}^{\top}A\mathbf{w}$, where $A$ is a matrix and $\Delta$ is the probability simplex. This problem encapsulates…

Computer Science and Game Theory · Computer Science 2026-02-10 Guy Kornowski , Ohad Shamir

Nash equilibrium} (NE) can be stated as a formal theorem on a multilinear form, free of game theory terminology. On the other hand, inspired by this formalism, we state and prove a {\it multilinear minimax theorem}, a generalization of von…

Computer Science and Game Theory · Computer Science 2024-01-01 Bahman Kalantari

We establish some new common fixed point theorems of single-valued and multivalued mappings operating between complete ordered locally convex spaces under weaker assumptions. As an application, we prove a new minimax theorem of existence of…

Functional Analysis · Mathematics 2021-09-21 Driss Mentagui , Azennar Radouane