English
Related papers

Related papers: The Cardinality of Infinite Games

200 papers

We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a finite number of steps, or, in other words, exploit in his…

Formal Languages and Automata Theory · Computer Science 2015-07-01 Michael Holtmann , Lukasz Kaiser , Wolfgang Thomas

Equilibrium notions for games with unawareness in the literature cannot be interpreted as steady-states of a learning process because players may discover novel actions during play. In this sense, many games with unawareness are…

Computer Science and Game Theory · Computer Science 2017-07-28 Burkhard C. Schipper

We present a definition for the sum of a sequence of combinatorial games. This sum coincides with the classical sum in the case of a converging sequence of real numbers and with the infinitary natural sum in the case of a sequence of…

Combinatorics · Mathematics 2024-09-05 Paolo Lipparini

We investigate game-theoretic variants of cardinal invariants of the continuum. The invariants we treat are the reaping number $\mathfrak{r}$, the bounding number $\mathfrak{b}$, the dominating number $\mathfrak{d}$, and the additivity…

Logic · Mathematics 2024-12-03 Jorge Antonio Cruz Chapital , Tatsuya Goto , Yusuke Hayashi

This paper specifies an extensive form as a 5-ary relation (that is, as a set of quintuples) which satisfies eight abstract axioms. Each quintuple is understood to list a player, a situation (that is, a name for an information set), a…

Theoretical Economics · Economics 2025-09-23 Peter A. Streufert

Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several…

Logic in Computer Science · Computer Science 2019-06-10 Guy Avni , Thomas A. Henzinger , Ventsislav Chonev

In a two-player zero-sum graph game the players move a token throughout a graph to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the players alternate turns in moving the token. In {\em bidding…

Theoretical Economics · Economics 2020-12-22 Guy Avni , Ismaël Jecker , Đorđe Žikelić

We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe…

Logic in Computer Science · Computer Science 2021-01-05 Paul Riggins , David McPherson

We present a perspective on quantum games that focuses on the physical aspects of the quantities that are used to implement a game. If a game is to be played, it has to be played with objects and actions that have some physical existence.…

Quantum Physics · Physics 2012-02-23 Simon J. D. Phoenix , Faisal Shah Khan

Energy games are a well-studied class of 2-player turn-based games on a finite graph where transitions are labeled with integer vectors which represent changes in a multidimensional resource (the energy). One player tries to keep the…

Computer Science and Game Theory · Computer Science 2014-05-06 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Piotr Hofman , Richard Mayr , K. Narayan Kumar , Patrick Totzke

A generalized model of games is proposed, in which cooperative games and non-cooperative games are special cases. Some games that are neither cooperative nor non-cooperative can be expressed and analyzed. The model is based on relationships…

Computer Science and Game Theory · Computer Science 2016-10-10 Jiawei Li

Something is definitely wrong. If the game has a linear winning strategy, then it is tractable. What's going on? Well, we describe a two-person game which has a definite winner, that is, a player who can force a win in a finite number of…

Combinatorics · Mathematics 2016-09-07 Aviezri S. Fraenkel

In this paper we will be examining impartial scoring play games. We first give the basic definitions for what impartial scoring play games are and look at their general structure under the disjunctive sum. We will then examine the game of…

Combinatorics · Mathematics 2012-08-07 Fraser Stewart

In this research article, we survey existing quantum physics-related games and, based on this survey, propose a definition for the concept of quantum games. We define a quantum game as any type of rule-based game that either employs the…

Quantum Physics · Physics 2025-01-24 Laura Piispanen , Marcel Pfaffhauser , James Wootton , Julian Togelius , Annakaisa Kultima

In combinatorial game theory, the winning player for a position in normal play is analyzed and characterized via algebraic operations. Such analyses define a value for each position, called a game value. A game (ruleset) is called universal…

Discrete Mathematics · Computer Science 2023-10-04 Kanae Yoshiwatari , Hironori Kiya , Koki Suetsugu , Tesshu Hanaka , Hirotaka Ono

We establish a generic result concerning order independence of a dominance relation on finite games. It allows us to draw conclusions about order independence of various dominance relations in a direct and simple way.

Computer Science and Game Theory · Computer Science 2011-01-06 Krzysztof R. Apt

Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper,…

We consider infinite-state turn-based stochastic games of two players, Box and Diamond, who aim at maximizing and minimizing the expected total reward accumulated along a run, respectively. Since the total accumulated reward is unbounded,…

Computer Science and Game Theory · Computer Science 2012-08-09 Tomáš Brázdil , Antonín Kučera , Petr Novotný

Escalation in games is when agents keep playing forever. Based on formal proofs we claim that if agents assume that resource are infinite, escalation is rational.

Logic in Computer Science · Computer Science 2020-06-29 Pierre Lescanne

Coloring games are combinatorial games where the players alternate painting uncolored vertices of a graph one of $k > 0$ colors. Each different ruleset specifies that game's coloring constraints. This paper investigates six impartial…

Combinatorics · Mathematics 2012-02-28 Gabriel Beaulieu , Kyle Burke , Eric Duchêne