English
Related papers

Related papers: Discrete bidding games

200 papers

A Richman game is a combinatorial game in which, rather than alternating moves, the two players bid for the privilege of making the next move. We consider both the case where the players pay each other and the case where the players pay a…

Combinatorics · Mathematics 2009-09-25 Andrew J. Lazarus , Daniel E. Loeb , James G. Propp , Daniel Ullman

In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a…

Computer Science and Game Theory · Computer Science 2023-06-22 Milad Aghajohari , Guy Avni , Thomas A. Henzinger

Bidding chess is a chess variant where instead of alternating play, players bid for the opportunity to move. Generalizing a known result on so-called Richman games, we show that for a natural class of games including bidding chess, each…

Combinatorics · Mathematics 2017-03-07 Urban Larsson , Johan Wästlund

We study zero-sum (combinatorial) games, within the framework of so-called Richman auctions (Lazarus et al. 1996) namely, we modify the alternating play scoring ruleset Cumulative Subtraction (CS) (Cohensius et al. 2019), to a discrete…

Computer Science and Game Theory · Computer Science 2020-03-13 Urban Larsson , Neel Patel , Ravi Kant Rai

Combinatorial Game Theory is a branch of mathematics and theoretical computer science that studies sequential 2-player games with perfect information. Normal play is the convention where a player who cannot move loses. Here, we generalize…

Computer Science and Game Theory · Computer Science 2023-10-31 Prem Kant , Urban Larsson , Ravi K. Rai , Akshay V. Upasany

In this paper, we propose a Quantum variation of combinatorial games, generalizing the Quantum Tic-Tac-Toe proposed by Allan Goff. A combinatorial game is a two-player game with no chance and no hidden information, such as Go or Chess. In…

Discrete Mathematics · Computer Science 2018-03-06 Paul Dorbec , Mehdi Mhalla

Two-player zero-sum "graph games" are a central model, which proceeds as follows. A token is placed on a vertex of a graph, and the two players move it to produce an infinite "play", which determines the winner or payoff of the game.…

Computer Science and Game Theory · Computer Science 2022-11-28 Guy Avni , Ismael Jecker , Djordje Zikelic

In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner or payoff of the game. We study {\em bidding games} in which the players bid for the right to move the token.…

Computer Science and Game Theory · Computer Science 2019-05-13 Guy Avni , Thomas A. Henzinger , Đorđe Žikelić

Richman games are zero-sum games, where in each turn players bid in order to determine who will play next [Lazarus et al.'99]. We extend the theory to impartial general-sum two player games called \emph{bidding games}, showing the existence…

Computer Science and Game Theory · Computer Science 2018-08-13 Gil Kalai , Reshef Meir , Moshe Tennenholtz

We consider {\em bidding games}, a class of two-player zero-sum {\em graph games}. The game proceeds as follows. Both players have bounded budgets. A token is placed on a vertex of a graph, in each turn the players simultaneously submit…

Computer Science and Game Theory · Computer Science 2023-07-31 Guy Avni , Tobias Meggendorfer , Suman Sadhukhan , Josef Tkadlec , Đorđe Žikelić

In a two-player zero-sum graph game, the players move a token throughout a graph to produce an infinite play, which determines the winner of the game. Bidding games are graph games in which in each turn, an auction (bidding) determines…

Formal Languages and Automata Theory · Computer Science 2025-07-02 Guy Avni , Suman Sadhukhan

Positional games are a branch of combinatorics, researching a variety of two-player games, ranging from popular recreational games such as Tic-Tac-Toe and Hex, to purely abstract games played on graphs and hypergraphs. It is closely…

Combinatorics · Mathematics 2014-04-11 Michael Krivelevich

Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several…

Logic in Computer Science · Computer Science 2019-06-10 Guy Avni , Thomas A. Henzinger , Ventsislav Chonev

In an all-pay auction, only one bidder wins but all bidders must pay the auctioneer. All-pay bidding games arise from attaching a similar bidding structure to traditional combinatorial games to determine which player moves next. In contrast…

Computer Science and Game Theory · Computer Science 2015-05-15 Michael Menz , Justin Wang , Jiyang Xie

A \emph{bidding} game is played on a graph as follows. A token is placed on an initial vertex and both players are allocated budgets. In each turn, the players simultaneously submit bids that do not exceed their available budgets, the…

Computer Science and Game Theory · Computer Science 2025-09-03 Guy Avni , Suman Sadhukhan

This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features…

Logic in Computer Science · Computer Science 2017-08-17 André Platzer

A class of discrete Bidding Combinatorial Games that generalize alternating normal play was introduced by Kant, Larsson, Rai, and Upasany (2022). The major questions concerning optimal outcomes were resolved. By generalizing standard game…

Computer Science and Game Theory · Computer Science 2023-10-31 Prem Kant , Urban Larsson , Ravi K. Rai , Akshay V. Upasany

In this note, we investigate combinatorial games where both players move randomly (each turn, independently selecting a legal move uniformly at random). In this model, we provide closed-form expressions for the expected number of turns in a…

Combinatorics · Mathematics 2024-01-31 Pat Devlin , Paulina Trifonova

The main challenge of combinatorial game theory is to handle combinatorial chaos, if one player knows the strategy better than his opponent, he is able to determine the exact results of a game. If both players are qualified competitor, the…

Computer Science and Game Theory · Computer Science 2022-08-16 Junan Pan

In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner or payoff of the game. Such games are central in formal verification since they model the interaction between a…

Computer Science and Game Theory · Computer Science 2020-01-28 Guy Avni , Thomas A. Henzinger , Rasmus Ibsen-Jensen
‹ Prev 1 2 3 10 Next ›