
arXiv: 2210.02773
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 which player moves the token: the players have budgets, and in each turn, both players simultaneously submit bids that do not exceed their available budgets, the higher bidder moves the token, and pays the bid to the lower bidder (called Richman bidding). We focus on discrete-bidding games, in which, motivated by practical applications, the granularity of the players' bids is restricted, e.g., bids must be given in cents. A central quantity in bidding games is threshold budgets: a necessary and sufficient initial budget for winning the game. Previously, thresholds were shown to exist in parity games, but their structure was only understood for reachability games. Moreover, the previously-known algorithms have a worst-case exponential running time for both reachability and parity objectives, and output strategies that use exponential memory. We describe two algorithms for finding threshold budgets in parity discrete-bidding games. The first is a fixed-point algorithm. It reveals, for the first time, the structure of threshold budgets in parity discrete-bidding games. Based on this structure, we develop a second algorithm that shows that the problem of finding threshold budgets is in NP and coNP for both reachability and parity objectives. Moreover, our algorithm constructs strategies that use only linear memory.Comment: Journal version for TheoretiCS of a paper published at FSTTCS 2022
Computer Science and Game Theory, FOS: Computer and information sciences, 000, Formal Languages and Automata Theory (cs.FL), discrete bidding games, Richman games, 2-person games, 004, Noncooperative games, Auctions, bargaining, bidding and selling, and other market models, parity games, Games involving graphs, Algorithmic game theory and complexity, Formal Languages and Automata Theory, reachability games, Discrete bidding games, Computer Science and Game Theory (cs.GT), ddc: ddc:004
Computer Science and Game Theory, FOS: Computer and information sciences, 000, Formal Languages and Automata Theory (cs.FL), discrete bidding games, Richman games, 2-person games, 004, Noncooperative games, Auctions, bargaining, bidding and selling, and other market models, parity games, Games involving graphs, Algorithmic game theory and complexity, Formal Languages and Automata Theory, reachability games, Discrete bidding games, Computer Science and Game Theory (cs.GT), ddc: ddc:004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
