English
Related papers

Related papers: Determining the Winner in Alternating-Move Games

200 papers

Muller games are played by two players moving a token along a graph; the winner is determined by the set of vertices that occur infinitely often. The central algorithmic problem is to compute the winning regions for the players. Different…

Logic in Computer Science · Computer Science 2013-07-24 A. Grinshpun , P. Phalitnonkiat , S. Rubin , A. Tarfulea

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

We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a successor state. It is often advantageous for players to choose…

Logic in Computer Science · Computer Science 2015-07-01 Luca de Alfaro , Rupak Majumdar , Vishwanath Raman , Mariëlle Stoelinga

We prove that for any pair $(s,t)$ of nonnegative numbers with $s+t=1$, the set of two-dimensional $(s,t)$-badly approximable vectors is winning for Schmidt's game. As a consequence, we give a direct proof of Schmidt's conjecture using his…

Number Theory · Mathematics 2016-02-10 Jinpeng An

We construct a statistical ensemble of games, where in each independent subensemble we have two players playing the same game. We derive the mean payoffs per move of the representative players of the game, and we evaluate all the…

Populations and Evolution · Quantitative Biology 2016-09-08 Rui Dilao , Joao Graciano

Games on graphs provide a natural and powerful model for reactive systems. In this paper, we consider generalized reachability objectives, defined as conjunctions of reachability objectives. We first prove that deciding the winner in such…

Computational Complexity · Computer Science 2012-02-06 Nathanaël Fijalkow , Florian Horn

We prove that the countable intersection of $C^1$-diffeomorphic images of certain Diophantine sets has full Hausdorff dimension. For example, we show this for the set of badly approximable vectors in $\mathbb{R}^d$, improving earlier…

Number Theory · Mathematics 2015-05-28 Ryan Broderick , Lior Fishman , Dmitry Kleinbock , Asaf Reich , Barak Weiss

Evolutionary spatial 2 x 2 games between heterogeneous agents are analyzed using different variants of cellular automata (CA). Agents play repeatedly against their nearest neighbors 2 x 2 games specified by a rescaled payoff matrix with two…

Physics and Society · Physics 2009-11-11 Hugo Fort , Estrella Sicardi

In a previous article Don Bennett and I looked for, found and proposed a game in which the Standard Model Gauge Group $S(U(2) \times U(3))$ gets singled out as the "winner". This "game" means that the by Nature chosen gauge group should be…

High Energy Physics - Phenomenology · Physics 2014-03-07 H. B. F. Nielsen

We introduce a new two-player game on graphs, in which players alternate choosing vertices until the set of chosen vertices forms a dominating set. The last player to choose a vertex is the winner. The game fits into the scheme of several…

Combinatorics · Mathematics 2025-10-31 Sean Fiscus , Glenn Hurlbert , Eric Myzelev , Travis Pence

We introduce and develop a class of \textit{Cantor-winning} sets that share the same amenable properties as the classical winning sets associated to Schmidt's $(\alpha,\beta)$-game: these include maximal Hausdorff dimension, invariance…

Number Theory · Mathematics 2015-09-09 Dzmitry Badziahin , Stephen Harrap

In the Maker-Breaker domination game played on a graph $G$, Dominator's goal is to select a dominating set and Staller's goal is to claim a closed neighborhood of some vertex. We study the cases when Staller can win the game. If Dominator…

Combinatorics · Mathematics 2024-02-14 Csilla Bujtás , Pakanun Dokyeesun , Sandi Klavžar

We study two impartial games introduced by Anderson and Harary. Both games are played by two players who alternately select previously-unselected elements of a finite group. The first player who builds a generating set from the…

Combinatorics · Mathematics 2024-02-12 Bret J. Benesh , Dana C. Ernst , Nandor Sieben

Wythoff's Game is a game for two players playing alternately on two stacks of tiles. On her turn, a player can either remove a positive number of tiles from one stack, or remove an equal positive number of tiles from both stacks. The last…

Combinatorics · Mathematics 2016-06-23 Alex Meadows , Brad Putman

We consider two-player games played on weighted directed graphs with mean-payoff and total-payoff objectives, two classical quantitative objectives. While for single-dimensional games the complexity and memory bounds for both objectives…

Computer Science and Game Theory · Computer Science 2014-11-04 Krishnendu Chatterjee , Laurent Doyen , Mickael Randour , Jean-François Raskin

In this paper we study the classical Schmidt game on two families of sets: one related to frequencies of digits in base-$2$ expansions, and one connected to the set of the badly approximable numbers. Namely, we describe some nontrivial…

Number Theory · Mathematics 2025-11-17 Vasiliy Neckrasov , Eric Zhan

We study the alternating gradient descent-ascent (AltGDA) algorithm in two-player zero-sum games. Alternating methods, where players take turns to update their strategies, have long been recognized as simple and practical approaches for…

Computer Science and Game Theory · Computer Science 2026-03-03 Tianlong Nan , Shuvomoy Das Gupta , Garud Iyengar , Christian Kroer

Subtraction games are a classical topic in Combinatorial Game Theory. A result of Golomb~(1966) shows that every subtraction game with a finite move set has an eventually periodic nim-sequence, but the known proof yields only an exponential…

Combinatorics · Mathematics 2026-03-18 Anjali Bhagat , Urban Larsson , Hikaru Manabe , Takahiro Yamashita

Two players play a game by alternately splitting a surface of a compact $2$-manifold along a simple closed curve that is not null-homotopic and attaching disks to the resulting boundary; the last player who can move wins. Starting from an…

Combinatorics · Mathematics 2024-09-04 David R. Berman , Lee O. Leonard

We study an impartial achievement game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The game ends when the jointly selected elements generate…

Group Theory · Mathematics 2024-02-10 Bret J. Benesh , Dana C. Ernst , Nandor Sieben