English
Related papers

Related papers: Biased Weak Polyform Achievement Games

200 papers

We introduce two-level discounted games played by two players on a perfect-information stochastic game graph. The upper level game is a discounted game and the lower level game is an undiscounted reachability game. Two-level games model…

Logic in Computer Science · Computer Science 2010-06-09 Krishnendu Chatterjee , Rupak Majumdar

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

This paper investigates the dynamics of competition among organizations with unequal expertise. Multi-agent reinforcement learning has been used to simulate and understand the impact of various incentive schemes designed to offset such…

Computer Science and Game Theory · Computer Science 2022-01-06 Paramita Koley , Aurghya Maiti , Sourangshu Bhattacharya , Niloy Ganguly

A positional game is a game where two players sequentially label vertices of a hypergraph, consisting of a board and a collection of winning sets, with colors assigned to each player until all vertices of the board are claimed. The first…

Combinatorics · Mathematics 2021-09-02 Pranav Avadhanam , Siddhartha G. Jena

We show that solving delay games with winning conditions given by deterministic and nondeterministic weak Muller automata is 2EXPTIME-complete respectively 3EXPTIME-complete. Furthermore, doubly and triply exponential lookahead is necessary…

Formal Languages and Automata Theory · Computer Science 2022-10-20 Sarah Winter , Martin Zimmermann

In this paper we introduce polytopal stochastic games, an extension of two-player, zero-sum, turn-based stochastic games, in which we may have uncertainty over the transition probabilities. In these games the uncertainty over the…

Logic in Computer Science · Computer Science 2025-02-26 Pablo F. Castro , Pedro D'Argenio

Determining a Nash equilibrium in a $2$-player non-zero sum game is known to be PPAD-hard (Chen and Deng (2006), Chen, Deng and Teng (2009)). The problem, even when restricted to win-lose bimatrix games, remains PPAD-hard (Abbott, Kane and…

Computer Science and Game Theory · Computer Science 2010-11-01 Samir Datta , Nagarajan Krishnamurthy

Weakly acyclic games form a natural generalization of the class of games that have the finite improvement property (FIP). In such games one stipulates that from any initial joint strategy some finite improvement path exists. We classify…

Computer Science and Game Theory · Computer Science 2014-04-30 Krzysztof R. Apt , Sunil Simon

We investigate a two player game called the $K^4$-building game: two players alternately claim edges of an infinite complete graph. Each player's aim is to claim all six edges on some vertex set of size four for themself. The first player…

Combinatorics · Mathematics 2023-09-06 Nathan Bowler , Florian Gut

Finding a counterfeit coin with the different weight from a set of visually identical coin using a balance, usually a two-armed balance, known as the balance question, is an intersting and inspiring question. Its variants involve…

Information Theory · Computer Science 2020-07-28 Fangqi Li

We show that the winning positions of a certain type of two-player game form interesting patterns which often defy analysis, yet can be computed by a cellular automaton. The game, known as {\em Blocking Wythoff Nim}, consists of moving a…

Combinatorics · Mathematics 2015-06-05 Matthew Cook , Urban Larsson , Turlough Neary

In games with imperfect recall, players may forget the sequence of decisions they made in the past. When players also forget whether they have already encountered their current decision point, they are said to be absent-minded. Solving…

Computer Science and Game Theory · Computer Science 2025-02-20 Hugo Gimbert , Soumyajit Paul , B. Srivathsan

Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations. We propose a novel encoding of these games into Quantified Boolean Formulas (QBFs) such that a game instance admits a winning…

Logic in Computer Science · Computer Science 2023-11-03 Valentin Mayer-Eichberger , Abdallah Saffidine

Mean-payoff games are important quantitative models for open reactive systems. They have been widely studied as games of full observation. In this paper we investigate the algorithmic properties of several sub-classes of mean-payoff games…

Computer Science and Game Theory · Computer Science 2017-10-10 Paul Hunter , Arno Pauly , Guillermo A. Pérez , Jean-François Raskin

In this paper we investigate lossy channel games under incomplete information, where two players operate on a finite set of unbounded FIFO channels and one player, representing a system component under consideration operates under…

Logic in Computer Science · Computer Science 2013-03-05 Rayna Dimitrova , Bernd Finkbeiner

This paper considers a game version of the general position problem in which a general position set is built through adversarial play. Two players in a graph, Builder and Blocker, take it in turns to add a vertex to a set, such that the…

Combinatorics · Mathematics 2024-07-03 Sandi Klavžar , Jing Tian , James Tuite

Consider QBF, the Quantified Boolean Formula problem, as a combinatorial game ruleset. The problem is rephrased as determining the winner of the game where two opposing players take turns assigning values to boolean variables. In this…

Computational Complexity · Computer Science 2014-12-31 Kyle Burke

Two-player graph games are a fundamental model for reasoning about the interaction of agents. These games are played between two players who move a token along a graph. In bidding games, the players have some monetary budget, and at each…

Computer Science and Game Theory · Computer Science 2024-12-24 Shaull Almagor , Guy Avni , Neta Dafni

In fighting games, individual players of the same skill level often exhibit distinct strategies from one another through their gameplay. Despite this, the majority of AI agents for fighting games have only a single strategy for each "level"…

Machine Learning · Computer Science 2022-11-08 Emily Halina , Matthew Guzdial

The window mechanism, introduced by Chatterjee et al. for mean-payoff and total-payoff objectives in two-player turn-based games on graphs, refines long-term objectives with time bounds. This mechanism has proven useful in a variety of…

Computer Science and Game Theory · Computer Science 2022-05-10 James C. A. Main , Mickael Randour , Jeremy Sproston