English
Related papers

Related papers: Rectangular Polyomino Set Weak (1,2)-achievement G…

200 papers

We present tournament results and several powerful strategies for the Iterated Prisoner's Dilemma created using reinforcement learning techniques (evolutionary and particle swarm algorithms). These strategies are trained to perform well…

Computer Science and Game Theory · Computer Science 2018-02-07 Marc Harper , Vincent Knight , Martin Jones , Georgios Koutsovoulos , Nikoleta E. Glynatsi , Owen Campbell

In the compulsive gambler process there is a finite set of agents who meet pairwise at random times ($i$ and $j$ meet at times of a rate-$\nu_{ij}$ Poisson process) and, upon meeting, play an instantaneous fair game in which one wins the…

Probability · Mathematics 2014-06-06 David Aldous , Daniel Lanoue , Justin Salez

Probabilistic timed automata are a suitable formalism to model systems with real-time, nondeterministic and probabilistic behaviour. We study two-player zero-sum games on such automata where the objective of the game is specified as the…

Logic in Computer Science · Computer Science 2016-04-18 Vojtěch Forejt , Marta Kwiatkowska , Gethin Norman , Ashutosh Trivedi

We introduce the concept of attainable sets of payoffs in two-player repeated games with vector payoffs. A set of payoff vectors is called {\em attainable} if player 1 can ensure that there is a finite horizon $T$ such that after time $T$…

Optimization and Control · Mathematics 2014-03-07 Dario Bauso , Ehud Lehrer , Eilon Solan , Xavier Venel

The Maker-Breaker connectivity game and Hamilton cycle game belong to the best studied games in positional games theory, including results on biased games, games on random graphs and fast winning strategies. Recently, the Connector-Breaker…

Combinatorics · Mathematics 2023-06-02 Dennis Clemens , Pranshu Gupta , Yannick Mogge

The forcing number of a perfect matching $M$ in a graph $G$ is the smallest number of edges inside $M$ that can not be contained in other perfect matchings. The anti-forcing number of $M$ is the smallest number of edges outside $M$ whose…

Combinatorics · Mathematics 2020-12-25 Kai Deng , Huazhong Lü , Tingzeng Wu

Domineering is a combinatorial game played on a subset of a rectangular grid between two players. Each board position can be put into one of four outcome classes based on who the winner will be if both players play optimally. In this note,…

Combinatorics · Mathematics 2013-05-16 Gabriel C. Drummond-Cole

Selective versions of screenability and of strong screenability coincide in a large class of spaces. We show that the corresponding games are not equivalent in even such standard metric spaces as the closed unit interval. We identify…

General Topology · Mathematics 2015-03-31 Liljana Babinkostova , Marion Scheepers

A rep-tile is a polygon that can be dissected into smaller copies (of the same size) of the original polygon. A polyomino is a polygon that is formed by joining one or more unit squares edge to edge. These two notions were first introduced…

Given a tree $T=(V,E)$ on $n$ vertices, we consider the $(1 : q)$ Maker-Breaker tree embedding game ${\mathcal T}_n$. The board of this game is the edge set of the complete graph on $n$ vertices. Maker wins ${\mathcal T}_n$ if and only if…

Combinatorics · Mathematics 2010-10-15 Asaf Ferber , Dan Hefetz , Michael Krivelevich

Cops and robbers is a game between two players, where one tries to catch the other by moving along the edges of a graph. It is well known that on a finite graph the cop has a winning strategy if and only if the graph is constructible and…

Combinatorics · Mathematics 2015-03-31 Florian Lehner

Attractors in parity games are a technical device for solving "alternating" reachability of given node sets. A well known solver of parity games - Zielonka's algorithm - uses such attractor computations recursively. We here propose new…

Logic in Computer Science · Computer Science 2014-05-20 Michael Huth , Jim Huan-Pu Kuo , Nir Piterman

We present a (semi)-algorithm to compute winning strategies for parametric timed games. Previous algorithms only synthesized constraints on the clock parameters for which the game is winning. A new definition of (winning) strategies is…

Formal Languages and Automata Theory · Computer Science 2025-06-19 Mikael Bisgaard Dahlsen-Jensen , Baptiste Fievet , Laure Petrucci , Jaco van de Pol

Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of the explored state space. We present a theory of partial…

Logic in Computer Science · Computer Science 2023-06-22 Frederik Meyer Bønneland , Peter Gjøl Jensen , Kim Guldstrand Larsen , Marco Muñiz , Jiří Srba

We study the $(m,b)$ Maker-Breaker percolation game on $\mathbb{Z}^2$, introduced by Day and Falgas-Ravry. As our first result, we show that Breaker has a winning strategy for the $(m,b)$-game whenever $b \geq (2-\frac{1}{14} + o(1))m$,…

Combinatorics · Mathematics 2021-05-28 Vojtěch Dvořák , Adva Mond , Victor Souza

We introduce the following class of partizan games, called pomax games. Given a partially ordered set whose elements are colored black or white, the players Black and White take turns removing any maximal element of their own color. If…

Combinatorics · Mathematics 2014-05-09 Erik Järleberg , Jonas Sjöstrand

Parsimonious games are a subset of constant sum homogeneous weighted majority games unequivocally described by their free type representation vector. We show that the minimal winning quota of parsimonious games satisfies a second order,…

Dynamical Systems · Mathematics 2014-02-21 Flavio Pressacco , Giacomo Plazzotta , Laura Ziani

We study a game puzzle that has enjoyed recent popularity among mathematicians, computer scientist, coding theorists and even the mass press. In the game, $n$ players are fitted with randomly assigned colored hats. Individual players can…

Information Theory · Computer Science 2007-07-16 Hendrik W. Lenstra , Gadiel Seroussi

A rank-3 Maker-Breaker game is played on a hypergraph in which all hyperedges are sets of at most 3 vertices. The two players of the game, called Maker and Breaker, move alternately. On his turn, maker chooses a vertex to be withdrawn from…

Computational Complexity · Computer Science 2022-09-23 Lear Bahack

The online ordered Ramsey game is played between two players, Builder and Painter, on an infinite sequence of vertices with ordered graphs $(G_1,G_2)$, which have linear orderings on their vertices. On each turn, Builder first selects an…

Combinatorics · Mathematics 2024-09-04 Emily Heath , Dylan King , Grace McCourt , Hannah Sheats , Justin Wisby