English
Related papers

Related papers: Comply subtraction games avoiding arithmetic progr…

200 papers

Sprout is a two-player pen and paper game which starts with $n$ vertices, and the players take turns to join two pre-existing dots by a subdivided edge while keeping the graph sub-cubic planar at all times. The first player not being able…

Combinatorics · Mathematics 2023-11-07 Soura Sena Das , Zin Mar Myint , Soumen Nandi , Sagnik Sen , Éric Sopena

We investigate the connection between the complexity of nonlocal games and the arithmetical hierarchy, a classification of languages according to the complexity of arithmetical formulas defining them. It was recently shown by Ji, Natarajan,…

Quantum Physics · Physics 2023-04-18 Hamoon Mousavi , Seyed Sajjad Nezhadi , Henry Yuen

Machine learning approaches relying on such criteria as adversarial robustness or multi-agent settings have raised the need for solving game-theoretic equilibrium problems. Of particular relevance to these applications are methods targeting…

Machine Learning · Computer Science 2023-10-27 Xufeng Cai , Ahmet Alacaoglu , Jelena Diakonikolas

Combinatorial Scoring games, with the property `extra pass moves for a player does no harm', are characterized. The characterization involves an order embedding of Conway's Normal-play games. Also, we give a theorem for comparing games with…

Combinatorics · Mathematics 2015-05-11 Urban Larsson , Richard J. Nowakowski , Carlos P. Santos

We investigate the Sprague-Grundy sequences for two normal-play impartial games based on arithmetic functions, first described by Iannucci and Larsson in \cite{sum}. In each game, the set of positions is N (natural numbers). In saliquant,…

Number Theory · Mathematics 2023-09-06 Paul Ellis , Jason Shi , Thotsaporn Aek Thanatipanonda , Andrew Tu

In this paper, we continue the study of the total domination game in graphs introduced in [Graphs Combin. 31(5) (2015), 1453--1462], where the players Dominator and Staller alternately select vertices of $G$. Each vertex chosen must…

Combinatorics · Mathematics 2015-12-10 Michael A. Henning , Douglas F. Rall

In this paper, we address a natural question at the intersection of combinatorial game theory and computational complexity: "Can a sum of simple tepid games in canonical form be intractable?" To resolve this fundamental question, we…

Computational Complexity · Computer Science 2024-03-11 Kyle Burke , Matthew Ferland , Svenja Huntemann , Shang-Hua Teng

Two-player graph games have found numerous applications, most notably in the synthesis of reactive systems from temporal specifications, but also in verification. The relevance of infinite-state systems in these areas has lead to…

Logic in Computer Science · Computer Science 2023-11-08 Philippe Heim , Rayna Dimitrova

We study a generalisation of sabotage games, a model of dynamic network games introduced by van Benthem. The original definition of the game is inherently finite and therefore does not allow one to model infinite processes. We propose an…

Computer Science and Game Theory · Computer Science 2015-07-16 Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Benjamin Monmege , Guillermo A. Pérez , Gabriel Renault

We introduce achievement positional games, a convention for positional games which encompasses the Maker-Maker and Maker-Breaker conventions. We consider two hypergraphs, one red and one blue, on the same vertex set. Two players, Left and…

Discrete Mathematics · Computer Science 2026-03-20 Florian Galliot , Jonas Sénizergues

Aiming to provide a new class of game dynamics with good long-term rationality properties, we derive a second-order inertial system that builds on the widely studied "heavy ball with friction" optimization method. By exploiting a well-known…

Optimization and Control · Mathematics 2015-03-03 Rida Laraki , Panayotis Mertikopoulos

We study a game where two players take turns selecting points of a convex geometry until the convex closure of the jointly selected points contains all the points of a given winning set. The winner of the game is the last player able to…

Combinatorics · Mathematics 2021-04-20 Stephanie McCoy , Nándor Sieben

Turn-based discounted-sum games are two-player zero-sum games played on finite directed graphs. The vertices of the graph are partitioned between player 1 and player 2. Plays are infinite walks on the graph where the next vertex is decided…

Computer Science and Game Theory · Computer Science 2024-05-21 Ali Asadi , Krishnendu Chatterjee , Raimundo Saona , Jakub Svoboda

The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at…

Combinatorics · Mathematics 2008-10-31 Robert G. Donnelly , Kimmo Eriksson

We consider zero sum stochastic games. For every discount factor $\lambda$, a time normalization allows to represent the game as being played on the interval [0, 1]. We introduce the trajectories of cumulated expected payoff and of…

Optimization and Control · Mathematics 2018-12-21 Sylvain Sorin , Guillaume Vigeral

First, we consider the problem of deciding whether a nonlocal game admits a perfect entangled strategy that uses projective measurements on a maximally entangled shared state. Via a polynomial-time Karp reduction, we show that independent…

Quantum Physics · Physics 2015-06-26 Laura Mančinska , David E. Roberson , Antonios Varvitsiotis

Independent set games are cooperative games defined on graphs, where players are edges and the value of a coalition is the maximum cardinality of independent sets in the subgraph defined by the coalition. In this paper, we investigate the…

Discrete Mathematics · Computer Science 2020-09-14 Han Xiao , Yuanxi Wang , Qizhi Fang

Despite there being significant work on developing spectral, and metric embedding based approximation algorithms for hypergraph generalizations of conductance, little is known regarding the approximability of hypergraph partitioning…

Data Structures and Algorithms · Computer Science 2023-07-27 Antares Chen , Lorenzo Orecchia , Erasmo Tani

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

We present a new model of incomplete information games without private information in which the players use a distributionally robust optimization approach to cope with the payoff uncertainty. With some specific restrictions, we show that…

Computer Science and Game Theory · Computer Science 2016-10-04 Nicolas Loizou