English
Related papers

Related papers: More on the cut and choose game

200 papers

We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this work we focus on the case of Breaker playing randomly and Maker being "clever". The…

Combinatorics · Mathematics 2016-04-01 Jonas Groschwitz , Tibor Szabó

We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity,…

Logic · Mathematics 2023-02-03 Peter Holy , Philipp Schlicht , Christopher Turner , Philip Welch

Any nonempty, compact, semi-algebraic set in [0, 1] n is the projection of the set of mixed equilibria of a finite game with 2 actions per player on its first n coordinates. A similar result follows for sets of equilibrium payoffs. The…

Optimization and Control · Mathematics 2016-01-11 Guillaume Vigeral , Yannick Viossat

We study zero-sum games, a variant of the classical combinatorial Subtraction games (studied for example in the monumental work "Winning Ways", by Berlekamp, Conway and Guy), called Cumulative Subtraction (CS). Two players alternate in…

Combinatorics · Mathematics 2020-02-14 Gal Cohensius , Urban Larsson , Reshef Meir , David Wahlstedt

We propose a new model of provenance, based on a game-theoretic approach to query evaluation. First, we study games G in their own right, and ask how to explain that a position x in G is won, lost, or drawn. The resulting notion of game…

Databases · Computer Science 2013-11-20 Sven Köhler , Bertram Ludäscher , Daniel Zinn

Several notions of game enjoy a Nash-like notion of equilibrium without guarantee of existence. There are different ways of weakening a definition of Nash-like equilibrium in order to guarantee the existence of a weakened equilibrium.…

Computer Science and Game Theory · Computer Science 2007-12-11 Stéphane Le Roux

The semigroup game is a two-person zero-sum game defined on a semigroup S as follows: Players 1 and 2 choose elements x and y in S, respectively, and player 1 receives a payoff f(xy) defined by a function f from S to [-1,1]. If the…

Computer Science and Game Theory · Computer Science 2016-07-11 Valerio Capraro , Kent Morrison

Consider the following two-player game on the edges of $K_n$, the complete graph with $n$ vertices: Starting with an empty graph $G$ on the vertex set of $K_n$, in each round the first player chooses $b \in \mathbb{N}$ edges from $K_n$…

Combinatorics · Mathematics 2022-07-07 Rajko Nenadov

Telg\'arsky's conjecture states that for each $k \in \mathbb N$, there is a topological space $X_k$ such that in the Banach-Mazur game on $X_k$, the player {\scriptsize NONEMPTY} has a winning $(k+1)$-tactic but no winning $k$-tactic. We…

Logic · Mathematics 2019-12-10 Will Brian , Alan Dow , David Milovich , Lynne Yengulalp

This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in B\"uchi games. Semiring semantics generalizes the classical Boolean semantics by permitting multiple truth…

Logic in Computer Science · Computer Science 2024-08-07 Erich Grädel , Niels Lücking , Matthias Naaf

This work considers two-player zero-sum semi-Markov games with incomplete information on one side and perfect observation. At the beginning, the system selects a game type according to a given probability distribution and informs to Player…

Optimization and Control · Mathematics 2021-07-16 Fang Chen , Xianping Guo , Zhong-Wei Liao

Colonel Blotto games with discrete strategy spaces effectively illustrate the intricate nature of multidimensional strategic reasoning. This paper studies the equilibrium set of such games where, in line with prior experimental work, the…

Computer Science and Game Theory · Computer Science 2024-03-28 Christian Ewerhart , Stanisław Kaźmierowski

In many multiagent environments, a designer has some, but limited control over the game being played. In this paper, we formalize this by considering incompletely specified games, in which some entries of the payoff matrices can be chosen…

Computer Science and Game Theory · Computer Science 2021-04-30 Markus Brill , Rupert Freeman , Vincent Conitzer

An infinite game on the set of real numbers appeared in Matthew Baker's work [Math. Mag. 80 (2007), no. 5, pp. 377--380] in which he asks whether it can help characterize countable subsets of the reals. This question is in a similar spirit…

Logic · Mathematics 2024-08-28 Tonatiuh Matos-Wiederhold , Luciano Salvetti

Consider the following Maker-Breaker game. Fix a finite subset $S\subset\mathbb{N}$ of the naturals. The players Maker and Breaker take turns choosing previously unclaimed natural numbers. Maker wins by eventually building a homothetic copy…

Combinatorics · Mathematics 2026-01-28 Hannah Alpert , Liam Barham , Brian Freidin , Ian Tan , Alexandra Weiner

We consider turn-based stochastic two-player games with a combination of a parity condition that must hold surely, that is in all possible outcomes, and of a parity condition that must hold almost-surely, that is with probability 1. The…

Computer Science and Game Theory · Computer Science 2026-01-08 Laurent Doyen , Shibashis Guha

Two-player zero-sum "graph games" are a central model, which proceeds as follows. A token is placed on a vertex of a graph, and the two players move it to produce an infinite "play", which determines the winner or payoff of the game.…

Computer Science and Game Theory · Computer Science 2022-11-28 Guy Avni , Ismael Jecker , Djordje Zikelic

In two-player finite-state stochastic games of partial observation on graphs, in every state of the graph, the players simultaneously choose an action, and their joint actions determine a probability distribution over the successor states.…

Computer Science and Game Theory · Computer Science 2011-07-13 Krishnendu Chatterjee , Laurent Doyen

We analyze Coquand's game-theoretic interpretation of Peano Arithmetic through the lens of elementary descent recursion. In Coquand's game semantics, winning strategies correspond to infinitary cut-free proofs and cut elimination…

Logic · Mathematics 2024-12-02 Emanuele Frittaion

In Problem #1542 of Mathematics Magazine, Grossman and Turett define the Cantor game. In his 2007 Mathematics Magazine article about the Cantor game, Matt Baker proves several results and poses three challenging questions about it: Do there…

Classical Analysis and ODEs · Mathematics 2017-02-01 Magnus D. LaDue