English
Related papers

Related papers: New Results for Domineering from Combinatorial Gam…

200 papers

This work introduces the concept of Variable Size Game Theory (VSGT), in which the number of players in a game is a strategic decision made by the players themselves. We start by discussing the main examples in game theory: dominance,…

Populations and Evolution · Quantitative Biology 2024-05-07 Matheus Hansen , Fabio A. C. C. Chalub

Consider a situation with $n$ agents or players where some of the players form a coalition with a certain collective objective. Simple games are used to model systems that can decide whether coalitions are successful (winning) or not…

Computer Science and Game Theory · Computer Science 2016-09-19 Martin Olsen

Game Theory (GT) has been used with significant success to formulate, and either design or optimize, the operation of many representative communications and networking scenarios. The games in these scenarios involve, as usual, diverse…

Computer Science and Game Theory · Computer Science 2019-02-26 Jose Moura , David Hutchison

We study turn-based quantitative games of infinite duration opposing two antagonistic players and played over graphs. This model is widely accepted as providing the adequate framework for formalizing the synthesis question for reactive…

Computer Science and Game Theory · Computer Science 2023-06-22 Pierre Ohlmann

The $\mathscr{P}$-position sets of some combinatorial games have special combinatorial structures. For example, the $\mathscr{P}$-position set of the hexad game, first investigated by Conway and Ryba, is the block set of the Steiner system…

Combinatorics · Mathematics 2021-12-20 Yuki Irie

Covering spaces of graphs have long been useful for studying expanders (as "graph lifts") and unique games (as the "label-extended graph"). In this paper we advocate for the thesis that there is a much deeper relationship between…

Computational Complexity · Computer Science 2018-03-20 Joshua A. Grochow , Jamie Tucker-Foltz

Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures. In particular, Ehrenfeucht-Fraisse games, pebble games, and…

Logic in Computer Science · Computer Science 2021-07-27 Samson Abramsky , Nihil Shah

Motivated by the success of domination games and by a variation of the coloring game called the indicated coloring game, we introduce a version of domination games called the indicated domination game. It is played on an arbitrary graph $G$…

Combinatorics · Mathematics 2024-03-28 Boštjan Brešar , Csilla Bujtás , Vesna Iršič , Douglas F. Rall , Zsolt Tuza

We study the m-Eternal Domination problem, which is the following two-player game between a defender and an attacker on a graph: initially, the defender positions k guards on vertices of the graph; the game then proceeds in turns between…

Discrete Mathematics · Computer Science 2025-07-15 Tiziana Calamoneri , Federico Corò , Neeldhara Misra , Saraswati G. Nanoti , Giacomo Paesani

The object of this study are countably infinite games with perfect information that allow players to choose among arbitrarily many moves in a turn; in particular, we focus on the generalisations of the finite board games of Hex and…

Logic · Mathematics 2021-11-03 Davide Leonessi

In this paper, we consider dominating sets $D$ and $D'$ such that $D$ and $D'$ are disjoint and there exists a perfect matching between them. Let $DD_{\textrm{m}}(G)$ denote the cardinality of smallest such sets $D, D'$ in $G$ (provided…

Combinatorics · Mathematics 2017-09-01 William F. Klostermeyer , Margaret-Ellen Messinger , Alejandro Angeli Ayello

Based on the adiabatic theory for the evolutionary minority game (EMG) that we proposed earlier[1], we perform a detail analysis of the EMG limited to three groups of agents. We derive a formula for the critical point of the transition from…

Statistical Mechanics · Physics 2009-11-10 Kan Chen , Bing-Hong Wang , Baosheng Yuan

We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). Formally, we prove lower bounds against the accuracy of FPC-interpretations that map Unique…

Logic in Computer Science · Computer Science 2024-08-07 Jamie Tucker-Foltz

The dominating graph of a graph G is a graph whose vertices correspond to the dominating sets of G and two vertices are adjacent whenever their corresponding dominating sets differ in exactly one vertex. Studying properties of dominating…

Combinatorics · Mathematics 2022-12-12 Alireza Mofidi

We address Stackelberg models of combinatorial congestion games (CCGs); we aim to optimize the parameters of CCGs so that the selfish behavior of non-atomic players attains desirable equilibria. This model is essential for designing such…

Computer Science and Game Theory · Computer Science 2021-10-19 Shinsaku Sakaue , Kengo Nakamura

Game comonads offer a categorical view of a number of model-comparison games central to model theory, such as pebble and Ehrenfeucht-Fra\"iss\'e games. Remarkably, the categories of coalgebras for these comonads capture preservation of…

Logic in Computer Science · Computer Science 2024-07-02 Samson Abramsky , Luca Reggio

The concept of nimbers--a.k.a. Grundy-values or nim-values--is fundamental to combinatorial game theory. Nimbers provide a complete characterization of strategic interactions among impartial games in their disjunctive sums as well as the…

Computational Complexity · Computer Science 2022-02-24 Kyle Burke , Matthew Ferland , Shanghua Teng

In Combinatorial Game Theory, short game forms are defined recursively over all the positions the two players are allowed to move to. A form is decomposable if it can be expressed as a disjunctive sum of two forms with smaller birthday. If…

Combinatorics · Mathematics 2023-06-13 Michael Fisher , Neil A. McKay , Rebecca Milley , Richard J. Nowakowski , Carlos P. Santos

The domination game is played on a graph G. Vertices are chosen, one at a time, by two players Dominator and Staller. Each chosen vertex must enlarge the set of vertices of G dominated to that point in the game. Both players use an optimal…

Combinatorics · Mathematics 2013-03-14 Bostjan Bresar , Sandi Klavzar , Douglas F. Rall

Using coalgebraic methods, we extend Conway's theory of games to possibly non-terminating, i.e. non-wellfounded games (hypergames). We take the view that a play which goes on forever is a draw, and hence rather than focussing on winning…

Logic in Computer Science · Computer Science 2015-07-01 Furio Honsell , Marina Lenisa