English
Related papers

Related papers: Transfinite game values in infinite chess

200 papers

We provide a self-contained introduction to finite extensive games with perfect information. In these games players proceed in turns having, at each stage, finitely many moves to their disposal, each play always ends, and in each play the…

Computer Science and Game Theory · Computer Science 2022-04-20 Krzysztof R. Apt , Sunil Simon

In set theory without the axiom of regularity, we consider a game in which two players choose in turn an element of a given set, an element of this element, etc.; a player wins if its adversary cannot make any next move. Sets that are…

Logic · Mathematics 2007-05-23 Denis I. Saveliev

Delay games are two-player games of infinite duration in which one player may delay her moves to obtain a lookahead on her opponent's moves. For $\omega$-regular winning conditions it is known that such games can be solved in…

Computer Science and Game Theory · Computer Science 2018-03-30 Felix Klein , Martin Zimmermann

In numerous positional games the identity of the winner is easily determined. In this case one of the more interesting questions is not {\em who} wins but rather {\em how fast} can one win. These type of problems were studied earlier for…

Combinatorics · Mathematics 2008-06-03 Dan Hefetz , Michael Krivelevich , Miloš Stojaković , Tibor Szabó

We introduce an affine version of Tic-Tac-Toe played on the finite affine space $\mathbb{F}_q^m$. Two players alternately claim points, and the first player to occupy all points of an affine subspace of dimension $n$ wins. We call this the…

Combinatorics · Mathematics 2026-05-25 Luca Bastioni , Alessandro Giannoni , Javier Lobillo-Olmedo

Game theory is usually considered applied mathematics, but a few game-theoretic results, such as Borel determinacy, were developed by mathematicians for mathematics in a broad sense. These results usually state determinacy, i.e. the…

Logic · Mathematics 2014-05-09 Stéphane Le Roux

Blackwell games are infinite games of imperfect information. The two players simultaneously make their moves, and are then informed of each other's moves. Payoff is determined by a Borel measurable function $f$ on the set of possible…

Logic · Mathematics 2009-09-25 Marco R. Vervoort

Admissible strategies, i.e. those that are not dominated by any other strategy, are a typical rationality notion in game theory. In many classes of games this is justified by results showing that any strategy is admissible or dominated by…

Computer Science and Game Theory · Computer Science 2018-05-30 Nicolas Basset , Ismaël Jecker , Arno Pauly , Jean-François Raskin , Marie Van den Bogaard

We study potential games on unimodular random graphs of bounded degree, where players interact through the underlying network. Using the unimodular measure, we define a well-posed global potential that captures both finite- and…

Optimization and Control · Mathematics 2026-04-17 Eyal Neuman , Sturmius Tuschmann

A solution concept that is a refinement of Nash equilibria selects for each finite game a nonempty collection of closed and connected subsets of Nash equilibria as solutions. We impose three axioms for such solution concepts. The axiom of…

Theoretical Economics · Economics 2025-04-24 Srihari Govindan , Robert B. Wilson

We introduce a 2-player game played on an infinite grid, initially empty, where each player in turn chooses a vertex and colours it. The first player aims to create some pattern from a target set, while the second player aims to prevent it.…

Computational Complexity · Computer Science 2025-02-18 Benjamin Hellouin de Menibus , Rémi Pallen

We study the complexity of computing the commuting-operator value $\omega^*$ of entangled XOR games with any number of players. We introduce necessary and sufficient criteria for an XOR game to have $\omega^* = 1$, and use these criteria to…

Quantum Physics · Physics 2019-02-12 Adam Bene Watts , Aram W. Harrow , Gurtej Kanwar , Anand Natarajan

We consider a class of deterministic mean field games, where the state associated with each player evolves according to an ODE which is linear w.r.t. the control. Existence, uniqueness, and stability of solutions are studied from the point…

Optimization and Control · Mathematics 2022-10-27 Alberto Bressan , Khai T. Nguyen

The game of Othello is one of the world's most complex and popular games that has yet to be computationally solved. Othello has roughly ten octodecillion (10 to the 58th power) possible game records and ten octillion (10 to the 28th power)…

Artificial Intelligence · Computer Science 2024-01-04 Hiroki Takizawa

The legal positions of a strong placement game, such as Domineering, form a simplicial complex called the legal complex. In this paper, we use the legal complex to study the game values taken on by the class of strong placement games using…

Combinatorics · Mathematics 2019-08-28 Svenja Huntemann

We study infinite two-player win/lose games $(A,B,W)$ where $A,B$ are finite and $W \subseteq (A \times B)^\omega$. At each round Player 1 and Player 2 concurrently choose one action in $A$ and $B$, respectively. Player 1 wins iff the…

Computer Science and Game Theory · Computer Science 2021-07-22 Patricia Bouyer , Stéphane Le Roux , Nathan Thomasset

We develop an operator algebraic framework for infinite games with a continuum of agents and prove that regret based learning dynamics governed by a noncommutative continuity equation converge to a unique quantal response equilibrium under…

Optimization and Control · Mathematics 2025-07-29 Faruk Alpay , Hamdi Alakkad , Bugra Kilictas , Taylan Alpay

Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. Here we use coinduction, or backward coinduction (to show its…

Computer Science and Game Theory · Computer Science 2010-04-30 Pierre Lescanne , Perrinel Matthieu

Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. Here we use coinduction, or backward coinduction (to show its…

Computer Science and Game Theory · Computer Science 2011-12-16 Pierre Lescanne , Perrinel Matthieu

This paper investigates some necessary and sufficient conditions for a game to be a potential game. At first, we extend the classical results of Slade and Monderer and Shapley from games with one-dimensional action spaces to games with…

Computer Science and Game Theory · Computer Science 2024-05-13 Sina Arefizadeh , Angelia Nedich , Gautam Dasarathy