English
Related papers

Related papers: Reachability Poorman Discrete-Bidding Games

200 papers

In the concurrent graph sharing game, two players, called First and Second, share the vertices of a connected graph with positive vertex-weights summing up to $1$ as follows. The game begins with First taking any vertex. In each proceeding…

Combinatorics · Mathematics 2015-10-06 Steven Chaplick , Piotr Micek , Torsten Ueckerdt , Veit Wiechert

There have been two major lines of research aimed at capturing resource-bounded players in game theory. The first, initiated by Rubinstein, charges an agent for doing costly computation; the second, initiated by Neyman, does not charge for…

Computer Science and Game Theory · Computer Science 2013-08-20 Joseph Y. Halpern , Rafael Pass , Lior Seeman

We study biased Maker-Breaker games on a graph system $\{G_1,\ldots,G_s\}$, in which Maker's goal is to claim certain rainbow structures, i.e., specified subgraphs consisting of at most one edge from each graph $G_i$. We consider the…

We address the problem of solving parity games with imperfect information on finite graphs of bounded structural complexity. It is a major open problem whether parity games with perfect information can be solved in PTIME. Restricting the…

Computer Science and Game Theory · Computer Science 2017-03-03 Bernd Puchala , Roman Rabinovich

We revisit Blackwell's celebrated approachability problem which considers a repeated vector-valued game between a player and an adversary. Motivated by settings in which the action set of the player or adversary (or both) is difficult to…

Optimization and Control · Mathematics 2025-06-17 Dan Garber , Mhna Massalha

Card games are widely used to study sequential decision-making under uncertainty, with real-world analogues in negotiation, finance, and cybersecurity. These games typically fall into three categories based on the flow of control: strictly…

Computer Science and Game Theory · Computer Science 2025-10-31 Will Wolf

The dollar game is a chip-firing game introduced by Baker and Norine (2007) as a context in which to formulate and prove the Riemann-Roch theorem for graphs. A divisor on a graph is a formal integer sum of vertices. Each determines a dollar…

Combinatorics · Mathematics 2022-05-25 Jesse Kim , David Perkinson

Admissibility has been studied for games of infinite duration with Boolean objectives. We extend here this study to games of infinite duration with quantitative objectives. First, we show that, un- der the assumption that optimal worst-case…

Logic in Computer Science · Computer Science 2016-11-29 Romain Brenguier , Guillermo A. Pérez , Jean-François Raskin , Ocan Sankur

In recent years, there has been a growing interest in games on graphs within the research community, fueled by their relevance in applications such as economics, politics, and epidemiology. This paper aims to comprehensively detail the…

Computer Science and Game Theory · Computer Science 2024-06-11 Christian Giannetti

We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a finite number of steps, or, in other words, exploit in his…

Formal Languages and Automata Theory · Computer Science 2015-07-01 Michael Holtmann , Lukasz Kaiser , Wolfgang Thomas

We consider 2-player zero-sum stochastic games where each player controls his own state variable living in a compact metric space. The terminology comes from gambling problems where the state of a player represents its wealth in a casino.…

Optimization and Control · Mathematics 2017-02-23 Rida Laraki , Jérôme Renault

This paper introduced a pursuit and evasion game to be played on a connected graph. One player moves invisibly around the graph, and the other player must guess his position. At each time step the second player guesses a vertex, winning if…

Combinatorics · Mathematics 2017-01-24 John Haslegrave

In this paper, we consider zero-sum repeated games in which the maximizer is restricted to strategies requiring no more than a limited amount of randomness. Particularly, we analyze the maxmin payoff of the maximizer in two models: the…

Information Theory · Computer Science 2018-10-11 Mehrdad Valizadeh , Amin Gohari

We introduce a class of budgeted prize-collecting covering subgraph problems. For an input graph with prizes on the vertices and costs on the edges, the aim of these problems is to find a connected subgraph such that the cost of its edges…

Optimization and Control · Mathematics 2021-08-05 Nicola Morandi , Roel Leus , Hande Yaman

Simple stochastic games are turn-based 2.5-player zero-sum graph games with a reachability objective. The problem is to compute the winning probability as well as the optimal strategies of both players. In this paper, we compare the three…

Computer Science and Game Theory · Computer Science 2020-09-24 Jan Křetínský , Emanuel Ramneantu , Alexander Slivinskiy , Maximilian Weininger

Recent successes of game-theoretic formulations in ML have caused a resurgence of research interest in differentiable games. Overwhelmingly, that research focuses on methods and upper bounds on their speed of convergence. In this work, we…

Machine Learning · Computer Science 2020-09-16 Adam Ibrahim , Waïss Azizian , Gauthier Gidel , Ioannis Mitliagkas

First cycle games (FCG) are played on a finite graph by two players who push a token along the edges until a vertex is repeated, and a simple cycle is formed. The winner is determined by some fixed property Y of the sequence of labels of…

Logic in Computer Science · Computer Science 2014-04-04 Benjamin Aminof , Sasha Rubin

We study zero-sum differential games with state constraints and one-sided information, where the informed player (Player 1) has a categorical payoff type unknown to the uninformed player (Player 2). The goal of Player 1 is to minimize his…

Computer Science and Game Theory · Computer Science 2024-06-05 Mukesh Ghimire , Lei Zhang , Zhe Xu , Yi Ren

We consider the reachability problem on transition systems corresponding to succinct one-counter machines, that is, machines where the counter is incremented or decremented by a value given in binary.

Logic in Computer Science · Computer Science 2014-07-21 Paul Hunter

We consider the setting of repeated fair division between two players, denoted Alice and Bob, with private valuations over a cake. In each round, a new cake arrives, which is identical to the ones in previous rounds. Alice cuts the cake at…

Computer Science and Game Theory · Computer Science 2024-02-20 Simina Brânzei , MohammadTaghi Hajiaghayi , Reed Phillips , Suho Shin , Kun Wang