English
Related papers

Related papers: The Ungar Games on Graded Posets

200 papers

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. We consider delay games with winning conditions expressed in weak monadic second order logic with…

Computer Science and Game Theory · Computer Science 2015-09-25 Martin Zimmermann

Combinatorial game theory (CGT), as introduced by Berlekamp, Conway and Guy, involves two players who move alternately in a perfect information, zero-sum game, and there are no chance devices. Also the games have the finite descent property…

Combinatorics · Mathematics 2018-10-09 Melissa Huggan , Richard J. Nowakowski , Paul Ottaway

The class of Guaranteed Scoring Games (GS) are two-player combinatorial games with the property that Normal-play games (Conway et. al.) are ordered embedded into GS. They include, as subclasses, the scoring games considered by Milnor…

Combinatorics · Mathematics 2015-06-01 Urban Larsson , João P. Neto , Richard J. Nowakowski , Carlos P. Santos

We define a two-player combinatorial game in which players take alternate turns; each turn consists on deleting a vertex of a graph, together with all the edges containing such vertex. If any vertex became isolated by a player's move then…

Combinatorics · Mathematics 2016-08-03 Richard Adams , Janae Dixon , Jennifer Elder , Jamie Peabody , Oscar Vega , Karen Willis

We introduce a natural variant of weighted voting games, which we refer to as k-Prize Weighted Voting Games. Such games consist of n players with weights, and k prizes, of possibly differing values. The players form coalitions, and the i-th…

Computer Science and Game Theory · Computer Science 2023-03-03 Wei-Chen Lee , David Hyland , Alessandro Abate , Edith Elkind , Jiarui Gan , Julian Gutierrez , Paul Harrenstein , Michael Wooldridge

We propose a definition of generalized Cops and Robbers games where there are two players, the Pursuer and the Evader, who each move via prescribed rules. If the Pursuer can ensure that the game enters into a fixed set of final positions,…

Combinatorics · Mathematics 2017-04-20 Anthony Bonato , Gary MacGillivray

Poset games have been the object of mathematical study for over a century, but little has been written on the computational complexity of determining important properties of these games. In this introduction we develop the fundamentals of…

Computational Complexity · Computer Science 2015-06-26 Stephen A. Fenner , John Rogers

M\"uller games form a well-established class of games for model checking and verification. These games are played on directed graphs $\mathcal G$ where Player 0 and Player 1 play by generating an infinite path through the graph. The winner…

Computer Science and Game Theory · Computer Science 2023-11-09 Zihui Liang , Bakh Khoussainov , Mingyu Xiao

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

This work is a contribution to the study of rewrite games. Positions are finite words, and the possible moves are defined by a finite number of local rewriting rules. We introduce and investigate taking-and-merging games, that is, where…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Eric Duchêne , Victor Marsault , Aline Parreau , Michel Rigo

We characterize the initial positions from which the first player has a winning strategy in a certain two-player game. This provides a generalization of Hall's theorem. Vizing's edge coloring theorem follows from a special case.

Combinatorics · Mathematics 2012-10-23 Landon Rabern

In the context of two-player games over graphs, a language $L$ is called positional if, in all games using $L$ as winning objective, the protagonist can play optimally using positional strategies, that is, strategies that do not depend on…

Formal Languages and Automata Theory · Computer Science 2026-03-11 Antonio Casares , Pierre Ohlmann

Player ONE chooses a meager set and player TWO, a nowhere dense set per inning. They play $\omega$ many innings. ONE's consecutive choices must form a (weakly) increasing sequence. TWO wins if the union of the chosen nowhere dense sets…

Logic · Mathematics 2009-09-25 Marion Scheepers

Consider a rooted Galton-Watson tree $T$, to each of whose edges we assign, independently, a weight that equals $+1$ with probability $p_{1}$, $0$ with probability $p_{0}$ and $-1$ with probability $p_{-1}=1-p_{1}-p_{0}$. We play a game on…

Probability · Mathematics 2025-01-16 Sayar Karmakar , Moumanti Podder , Souvik Roy , Soumyarup Sadhukhan

The connected domination game is played just as the domination game, with an additional requirement that at each stage of the game the vertices played induce a connected subgraph. The number of moves in a D-game (an S-game, resp.) on a…

Combinatorics · Mathematics 2021-12-21 Csilla Bujtás , Vesna Iršič , Sandi Klavžar

A combinatorial game is a two-player game without hidden information or chance elements. One of the major approaches to analyzing games in combinatorial game theory is to break down a given game position into a disjunctive sum of multiple…

Combinatorics · Mathematics 2024-11-14 Kengo Hashimoto

A combinatorial game is a two-player game without hidden information or chance elements. The main object of combinatorial game theory is to obtain the outcome, which player has a winning strategy, of a given combinatorial game. Positions of…

Combinatorics · Mathematics 2025-11-27 Kengo Hashimoto

Parity games are combinatorial representations of closed Boolean mu-terms. By adding to them draw positions, they have been organized by Arnold and one of the authors into a mu-calculus. As done by Berwanger et al. for the propositional…

Logic in Computer Science · Computer Science 2008-03-13 Walid Belkhir , Luigi Santocanale

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 the permutation analogue of Penney's game for words. Two players, in order, each choose a permutation of length $k\ge3$; then a sequence of independent random values from a continuous distribution is generated, until the…

Combinatorics · Mathematics 2026-04-29 Sergi Elizalde , Yixin Lin