English
Related papers

Related papers: Solving Parity Games on Integer Vectors

200 papers

In a multi-objective game, each individual's payoff is a \emph{vector-valued} function of everyone's actions. Under such vectorial payoffs, Pareto-efficiency is used to formulate each individual's best-response condition, inducing…

Computer Science and Game Theory · Computer Science 2018-09-14 Anisse Ismaili

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

The problem of solving a parity game is at the core of many problems in model checking, satisfiability checking and program synthesis. Some of the best algorithms for solving parity game are strategy improvement algorithms. These are global…

Computer Science and Game Theory · Computer Science 2010-06-09 Oliver Friedmann , Martin Lange

Hedonic diversity games are a variant of the classical Hedonic games designed to better model a variety of questions concerning diversity and fairness. Previous works mainly targeted the case with two diversity classes (represented as…

Computer Science and Game Theory · Computer Science 2024-03-05 Robert Ganian , Thekla Hamm , Dušan Knop , Šimon Schierreich , Ondřej Suchý

Simple stochastic games are two-player zero-sum stochastic games with turn-based moves, perfect information, and reachability winning conditions. We present two new algorithms computing the values of simple stochastic games. Both of them…

Computer Science and Game Theory · Computer Science 2015-07-01 Hugo Gimbert , Florian Horn

We introduce the class of pay or play games, which captures scenarios in which each decision maker is faced with a choice between two actions: one with a fixed payoff and an- other with a payoff dependent on others' selected actions. This…

Computer Science and Game Theory · Computer Science 2013-09-27 Sigal Oren , Michael Schapira , Moshe Tennenholtz

Calude et al. have recently shown that parity games can be solved in quasi-polynomial time, a landmark result that has led to a number of approaches with quasi-polynomial complexity. Jurdinski and Lasic have further improved the precise…

Data Structures and Algorithms · Computer Science 2022-11-18 Daniele Dell'Erba , Sven Schewe

We present the notion of separable game with respect to a forward directed hypergraph (FDH-graph), which refines and generalizes that of graphical game. First, we show that there exists a minimal FDH-graph with respect to which a game is…

Computer Science and Game Theory · Computer Science 2020-12-15 Laura Arditti , Giacomo Como , Fabio Fagnani

We introduce a natural variant of weighted voting games, which we refer to as k-Prize Weighted Voting Games. Such games consist of n players with weights, and k prizes, of possibly differing values. The players form coalitions, and the i-th…

Computer Science and Game Theory · Computer Science 2023-03-03 Wei-Chen Lee , David Hyland , Alessandro Abate , Edith Elkind , Jiarui Gan , Julian Gutierrez , Paul Harrenstein , Michael Wooldridge

We here study the Battle of the Sexes game, a textbook case of asymmetric games, on small networks. Due to the conflicting preferences of the players, analytical approaches are scarce and most often update strategies are employed in…

Physics and Society · Physics 2021-08-24 A. D. Correia , L. L. Leestmaker , H. T. C. Stoof

We consider two-player stochastic games played on a finite state space for an infinite number of rounds. The games are concurrent: in each round, the two players (player 1 and player 2) choose their moves independently and simultaneously;…

Computer Science and Game Theory · Computer Science 2012-01-04 Krishnendu Chatterjee

An edge-weighted, vertex-capacitated graph G is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the…

Discrete Mathematics · Computer Science 2022-11-23 Matthew Gerstbrein , Laura Sanità , Lucy Verberk

We consider zero-sum games in which players move between adjacent states, where in each pair of adjacent states one state dominates the other. The states in our game can represent positional advantages in physical conflict such as high…

Computer Science and Game Theory · Computer Science 2024-07-11 Farid Arthaud , Edan Orzech , Martin Rinard

We consider N-player and mean field games in continuous time over a finite horizon, where the position of each agent belongs to {-1,1}. If there is uniqueness of mean field game solutions, e.g. under monotonicity assumptions, then the…

Optimization and Control · Mathematics 2019-02-06 Alekos Cecchin , Paolo Dai Pra , Markus Fischer , Guglielmo Pelino

We study the m-Eternal Domination problem, which is the following two-player game between a defender and an attacker on a graph: initially, the defender positions k guards on vertices of the graph; the game then proceeds in turns between…

Discrete Mathematics · Computer Science 2025-07-15 Tiziana Calamoneri , Federico Corò , Neeldhara Misra , Saraswati G. Nanoti , Giacomo Paesani

In this paper, we show the equivalence between a constrained, multi-agent control problem, modeled within the port-Hamiltonian framework, and an exact potential game. Specifically, critical distance-based constraints determine a network of…

Optimization and Control · Mathematics 2018-11-20 Filippo Fabiani , Andrea Caiti

Parity games are a much researched class of games in NP intersect CoNP that are not known to be in P. Consequently, researchers have considered specialised algorithms for the case where certain graph parameters are small. In this paper, we…

Computer Science and Game Theory · Computer Science 2015-07-01 John Fearnley , Sven Schewe

We present a general framework to model strategic aspects and stable and fair resource allocations in networks via variants and generalizations of path coalitional games. In these games, a coalition of edges or vertices is successful if it…

Computer Science and Game Theory · Computer Science 2011-04-28 Haris Aziz , Troels Bjerre Sørensen

Quantum games with incomplete information can be studied within a Bayesian framework. We analyze games quantized within the EWL framework [Eisert, Wilkens, and Lewenstein, Phys Rev. Lett. 83, 3077 (1999)]. We solve for the Nash equilibria…

Quantum Physics · Physics 2017-03-10 Neal Solmeyer , Radhakrishnan Balu

We study two-player zero-sum concurrent stochastic games with finite state and action space played for an infinite number of steps. In every step, the two players simultaneously and independently choose an action. Given the current state…

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