English
Related papers

Related papers: Strategy-Stealing is Non-Constructive

200 papers

This paper studies sequential quantum games under the assumption that the moves of the players are drawn from groups and not just plain sets. The extra group structure makes possible to easily derive some very general results characterizing…

Quantum Physics · Physics 2025-03-14 Theodore Andronikos

The game of nim, with its simple rules, its elegant solution and its historical importance is the quintessence of a combinatorial game, which is why it led to so many generalizations and modifications. We present a modification with a new…

Discrete Mathematics · Computer Science 2015-08-28 Eric Duchêne , Matthieu Dufour , Silvia Heubach , Urban Larsson

Iterated coopetitive games capture the situation when one must efficiently balance between cooperation and competition with the other agents over time in order to win the game (e.g., to become the player with highest total utility).…

Computer Science and Game Theory · Computer Science 2022-03-11 Shivakumar Mahesh , Nicholas Bishop , Le Cong Dinh , Long Tran-Thanh

When learning to play an imperfect information game, it is often easier to first start with the basic mechanics of the game rules. For example, one can play several example rounds with private cards revealed to all players to better…

Computer Science and Game Theory · Computer Science 2025-05-27 Benjamin Heymann , Marc Lanctot

Subtraction games is a class of combinatorial games. It was solved since the Sprague-Grundy Theory was put forward. This paper described a new algorithm for subtraction games. The new algorithm can find win or lost positions in subtraction…

Computer Science and Game Theory · Computer Science 2012-08-31 Guanglei He , Zhihui Qin

We propose a generalization of positional games, supplementing them with a restriction on the order in which the elements of the board are allowed to be claimed. We introduce poset positional games, which are positional games with an…

Projection games constitute an important class of nonlocal games where, for any answer from the first player, there is a unique correct answer for the second player. This class of games captures nonlocal games arising from constraint…

Quantum Physics · Physics 2026-03-17 Eric Culf

A poset game is a two-player game played over a partially ordered set (poset) in which the players alternate choosing an element of the poset, removing it and all elements greater than it. The first player unable to select an element of the…

Computational Complexity · Computer Science 2015-03-20 Daniel Grier

The transitivity of preferences is one of the basic assumptions used in the theory of games and decisions. It is often equated with rationality of choice and is considered useful in building rankings. Intransitive preferences are considered…

Quantum Physics · Physics 2015-06-23 Marcin Makowski , Edward W. Piotrowski , Jan Sładkowski

Game Logic is an excellent setting to study proofs-about-programs via the interpretation of those proofs as programs, because constructive proofs for games correspond to effective winning strategies to follow in response to the opponent's…

Logic in Computer Science · Computer Science 2022-10-07 Rose Bohrer , André Platzer

Subtraction games have a rich literature as normal-play combinatorial games (e.g., Berlekamp, Conway, and Guy, 1982). Recently, the theory has been extended to zero-sum scoring play (Cohensius et al. 2019). Here, we take the approach of…

Combinatorics · Mathematics 2026-01-22 Anjali Bhagat , Tanmay Kulkarni , Urban Larsson , Divya Murali

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

Additively separable hedonic games and fractional hedonic games have received considerable attention. They are coalition forming games of selfish agents based on their mutual preferences. Most of the work in the literature characterizes the…

Artificial Intelligence · Computer Science 2017-06-29 Michele Flammini , Gianpiero Monaco , Qiang Zhang

Probabilistic concurrent/distributed strategies have so far not been investigated thoroughly in the context of imperfect information, where the Player has only partial knowledge of the moves made by the Opponent. In a situation where the…

Computer Science and Game Theory · Computer Science 2024-02-08 Sacha Huriot-Tattegrain , Glynn Winskel

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 study the complexity of strategic argumentation for dialogue games. A dialogue game is a 2-player game where the parties play arguments. We show how to model dialogue games in a skeptical, non-monotonic formalism, and we…

Logic in Computer Science · Computer Science 2013-12-17 Guido Governatori , Francesco Olivieri , Simone Scannapieco , Antonino Rotolo , Matteo Cristani

Combinatorial games played between two players, called Spoiler and Duplicator, have often been used to capture syntactic properties of formal logical languages. For instance, the widely used Ehrenfeucht-Fra\"iss\'e (EF) game captures the…

Logic in Computer Science · Computer Science 2025-08-01 Ronald Fagin , Neil Immerman , Phokion Kolaitis , Jonathan Lenchner , Rik Sengupta

We initiate the study of simple games from the point of view of combinatorial topology. The starting premise is that the losing coalitions of a simple game can be identified with a simplicial complex. Various topological constructions and…

Physics and Society · Physics 2025-03-18 Ismar Volic , Leah Valentiner

In the game-theoretic model war of attrition, players are subject to an explicit cost proportional to the duration of contests. We construct a model where the time cost is not explicitly given, but instead depends implicitly on the…

Populations and Evolution · Quantitative Biology 2007-05-23 Anders Eriksson , Kristian Lindgren , Torbjörn Lundh

We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a system with its environment explicit. Often, a winning…

Logic in Computer Science · Computer Science 2012-07-05 Rüdiger Ehlers , Daniela Moldovan