The Complexity of Sequential Routing Games

08/03/2018
by   Anisse Ismaili, et al.
0

We study routing games where every agent sequentially decides her next edge when she obtains the green light at each vertex. Because every edge only has capacity to let out one agent per round, an edge acts as a FIFO waiting queue that causes congestion on agents who enter. Given n agents over |V| vertices, we show that for one agent, approximating a winning strategy within n^1-ε of the optimum for any ε>0, or within any polynomial of |V|, are PSPACE-hard. Under perfect information, computing a subgame perfect equilibrium (SPE) is PSPACE-hard and in FPSPACE. Under imperfect information, deciding SPE existence is PSPACE-complete.

READ FULL TEXT

page 1

page 2

page 3

page 4

08/04/2017

Routing Games over Time with FIFO policy

We study atomic routing games where every agent travels both along its d...
05/13/2021

Equilibria in Schelling Games: Computational Complexity and Robustness

In the simplest game-theoretic formulation of Schelling's model of segre...
06/18/2020

On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games

We study multiplayer turn-based timed games with reachability objectives...
07/09/2021

Computational Complexity of Computing a Quasi-Proper Equilibrium

We study the computational complexity of computing or approximating a qu...
05/10/2019

Perfect Prediction in Minkowski Spacetime: Perfectly Transparent Equilibrium for Dynamic Games with Imperfect Information

The assumptions of necessary rationality and necessary knowledge of stra...
07/26/2017

Navigability with Imperfect Information

The article studies navigability of an autonomous agent in a maze where ...
09/23/2020

Fair Tree Connection Games with Topology-Dependent Edge Cost

How do rational agents self-organize when trying to connect to a common ...