English
Related papers

Related papers: Invertibility modulo dead-ending no-P-universes

200 papers

The Poison Game is a two-player game played on a graph in which one player can influence which edges the other player is able to traverse. It operationalizes the notion of existence of credulously admissible sets in an argumentation…

Logic in Computer Science · Computer Science 2019-02-20 Davide Grossi , Simon Rey

Due to their complex dynamics, combinatorial games are a key test case and application for algorithms that train game playing agents. Among those algorithms that train using self-play are coevolutionary algorithms (CoEAs). However, the…

Neural and Evolutionary Computing · Computer Science 2025-05-21 Alistair Benford , Per Kristian Lehre

Finite games in normal form and their mixed extensions are a corner stone of noncooperative game theory. Often generic finite games and their mixed extensions are considered. But the properties which one expects in generic games and the…

Optimization and Control · Mathematics 2024-12-24 Claus Hertling , Matija Vujic

We study multi-player turn-based games played on (potentially infinite) directed graphs. An outcome is assigned to every play of the game. Each player has a preference relation on the set of outcomes which allows him to compare plays. We…

Computer Science and Game Theory · Computer Science 2017-10-06 Véronique Bruyère , Stéphane Le Roux , Arno Pauly , Jean-François Raskin

We study the problem of deciding the winner of reachability switching games for zero-, one-, and two-player variants. Switching games provide a deterministic analogue of stochastic games. We show that the zero-player case is NL-hard, the…

Formal Languages and Automata Theory · Computer Science 2023-06-22 John Fearnley , Martin Gairing , Matthias Mnich , Rahul Savani

A combinatorial game is a two-player game without hidden information or chance elements. One of the major approaches to analyzing games in combinatorial game theory is to break down a given game position into a disjunctive sum of multiple…

Combinatorics · Mathematics 2024-11-14 Kengo Hashimoto

Recently the concept of quantum information has been introduced into game theory. Here we present the first study of quantum games with more than two players. We discover that such games can possess a new form of equilibrium strategy, one…

Quantum Physics · Physics 2007-05-23 Simon C. Benjamin , Patrick M. Hayden

Reinforcement learning has been successful both empirically and theoretically in single-agent settings, but extending these results to multi-agent reinforcement learning in general-sum Markov games remains challenging. This paper studies…

Machine Learning · Computer Science 2026-04-07 Narim Jeong , Donghwan Lee

In this paper we study a zero-sum switching game and its verification theorems expressed in terms of either a system of Reflected Backward Stochastic Differential Equations (RBSDEs in short) with bilateral interconnected obstacles or a…

Probability · Mathematics 2020-06-30 Said Hamadène , Tingshu Mu

Losing a game is difficult. Recent work of Larsson, Nowakowski, and Santos, as well as that of Siegel, has opened up enticing lines of research into partizan mis\`ere theory. The algebraic structure of mis\`ere monoids is not yet well…

Combinatorics · Mathematics 2024-09-27 Alfie Davies

We present a version of the Banach-Mazur game, where open sets are replaced by elements of a fixed partially ordered set. We show how to apply it in the theory of Fraisse limits and beyond, obtaining simple proofs of universality of certain…

Logic · Mathematics 2015-05-06 Wieslaw Kubiś

Mathematical billiards is much like the real game: a point mass, representing the ball, rolls in a straight line on a (perfectly friction-less) table, striking the sides according to the law of reflection. A billiard trajectory is then…

Dynamical Systems · Mathematics 2024-10-28 Hongjia H. Chen , Hinke M. Osinga

We consider an {\em enforce operator} on impartial rulesets similar to the Muller Twist and the comply/constrain operator of Smith and St\u anic\u a, 2002. Applied to the rulesets A and B, on each turn the opponent enforces one of the…

We introduce the complexity class Quantified Reals ($\text{Q}\mathbb{R}$). Let FOTR be the set of true sentences in the first-order theory of the reals. A language $L$ is in $\text{Q}\mathbb{R}$, if there is a polynomial time reduction from…

Computational Geometry · Computer Science 2025-12-03 Lucas Meijer , Arnaud de Mesmay , Tillmann Miltzow , Marcus Schaefer , Jack Stade

Many-body quantum games provide a natural perspective on phases of matter in quantum hardware, crisply relating the quantum correlations inherent in phases of matter to the securing of quantum advantage at a device-oriented task. In this…

We investigate conditions under which positions in combinatorial games admit simple values. We introduce a unified diamond framework, the $\Diamond_A$-property ($A\in\{\mathbb{Z},\mathbb{D}$), for sets of positions closed under options.…

Combinatorics · Mathematics 2025-12-30 Keiichirou Kusakari , Tomoaki Abuku

We present a scheme for playing quantum repeated 2x2 games based on the Marinatto and Weber's approach to quantum games. As a potential application, we study twice repeated Prisoner's Dilemma game. We show that results not available in…

Quantum Physics · Physics 2015-05-30 Piotr Frackiewicz

We introduce a new class of totally balanced cooperative TU games, namely p -additive games. It is inspired by the class of inventory games that arises from inventory situations with temporary discounts (Toledo, 2002) and contains the class…

Computer Science and Game Theory · Computer Science 2024-02-08 Ana Meca , Luis A. Guardiola , Andrés Toledo

The game in which acts of participants don't have an adequate description in terms of Boolean logic and classical theory of probabilities is considered. The model of the game interaction is constructed on the basis of a non-distributive…

Quantum Physics · Physics 2007-05-23 Andrey Grib , Georges Parfionov

We consider zero-sum stochastic games with perfect information and finitely many states and actions. The payoff is computed by a function which associates to each infinite sequence of states and actions a real number. We prove that if the…

Computer Science and Game Theory · Computer Science 2022-03-29 Hugo Gimbert , Edon Kelmendi