English
Related papers

Related papers: All passable games are realizable as monotone set …

200 papers

In this paper, we will be proving mathematically that scoring play combinatorial game theory covers all combinatorial games. That is, there is a sub-set of scoring play games that are identical to the set of normal play games, and a…

Combinatorics · Mathematics 2013-03-19 Fraser Stewart

Classify simple games into sixteen "types" in terms of the four conventional axioms: monotonicity, properness, strongness, and nonweakness. Further classify them into sixty-four classes in terms of finiteness (existence of a finite carrier)…

Computer Science and Game Theory · Computer Science 2011-07-05 Masahiro Kumabe , H. Reiju Mihara

The class of algorithmically computable simple games (i) includes the class of games that have finite carriers and (ii) is included in the class of games that have finite winning coalitions. This paper characterizes computable games,…

Computer Science and Game Theory · Computer Science 2011-11-09 Masahiro Kumabe , H. Reiju Mihara

Coherent sets of desirable gamble sets is used as a model for representing an agents opinions and choice preferences under uncertainty. In this paper we provide some results about the axioms required for coherence and the natural extension…

Artificial Intelligence · Computer Science 2024-05-17 Catrin Campbell-Moore

Absolute Universes of combinatorial games, as defined in a recent paper by the same authors, include many standard short normal- mis\`ere- and scoring-play monoids. In this note we show that the class is categorical, by extending Joyal's…

Combinatorics · Mathematics 2016-09-12 Urban Larsson , Richard J. Nowakowski , Carlos P. Santos

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

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

In this paper we will discuss scoring play games. We will give the basic definitions for scoring play games, and show that they form a well defined set, with clear and distinct outcome classes under these definitions. We will also show that…

Combinatorics · Mathematics 2012-11-08 Fraser Stewart

The game of Hex has two players who take turns placing stones of their respective colors on the hexagons of a rhombus-shaped hexagonal grid. Black wins by completing a crossing between two opposite edges, while White wins by completing a…

Probability · Mathematics 2009-02-25 Yuval Peres , Oded Schramm , Scott Sheffield , David B. Wilson

By treating combinatorial games as dynamical systems, we are able to address a longstanding open question in combinatorial game theory, namely, how the introduction of a "pass" move into a game affects its behavior. We consider two well…

Combinatorics · Mathematics 2012-04-17 Rebecca E. Morrison , Eric J. Friedman , Adam S. Landsberg

In this paper, we address a natural question at the intersection of combinatorial game theory and computational complexity: "Can a sum of simple tepid games in canonical form be intractable?" To resolve this fundamental question, we…

Computational Complexity · Computer Science 2024-03-11 Kyle Burke , Matthew Ferland , Svenja Huntemann , Shang-Hua Teng

Infinite games where several players seek to coordinate under imperfect information are deemed to be undecidable, unless the information is hierarchically ordered among the players. We identify a class of games for which joint winning…

Computer Science and Game Theory · Computer Science 2015-07-29 Dietmar Berwanger , Anup Basil Mathew

In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays `as well as possible', because there is no other strategy that dominates…

Computer Science and Game Theory · Computer Science 2017-02-22 Nicolas Basset , Gilles Geeraerts , Jean-François Raskin , Ocan Sankur

Hex is a well known connection game in which two players attempt to connect opposite sides of the board by colored stones. In 2022, Hamkins and Leonessi introduced an infinite version, in which the goal is to construct a certain kind of…

Logic · Mathematics 2023-10-13 Ilkka Törmä

In a monotonic sequence game, two players alternately choose elements of a sequence from some fixed ordered set. The game ends when the resulting sequence contains either an ascending subsequence of length a or a descending one of length d.…

Combinatorics · Mathematics 2007-05-23 M. Albert , R. Aldred , M. Atkinson , C. Handley , D. Holton , D. McCaughan , B. Sagan

Combinatorial games are two-player games of pure strategy where the players, usually called Left and Right, move alternately. In this paper, we introduce Cheating Robot games. These arise from simultaneous-play combinatorial games where one…

Combinatorics · Mathematics 2022-02-11 Melissa A. Huggan , Richard J. Nowakowski

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 propose an interpretation of the infinite sum of combinatorial games. In such an interpretation, plays involve infinite runs, but without loops. The notion of a run is quite natural, but different possibilities arises for the notion of…

Combinatorics · Mathematics 2025-05-02 Paolo Lipparini

We study so-called invariant games played with a fixed number $d$ of heaps of matches. A game is described by a finite list $\mathcal{M}$ of integer vectors of length $d$ specifying the legal moves. A move consists in changing the current…

Computational Complexity · Computer Science 2012-02-06 Urban Larsson , Johan Wästlund

Admissibility has been studied for games of infinite duration with Boolean objectives. We extend here this study to games of infinite duration with quantitative objectives. First, we show that, un- der the assumption that optimal worst-case…

Logic in Computer Science · Computer Science 2016-11-29 Romain Brenguier , Guillermo A. Pérez , Jean-François Raskin , Ocan Sankur