Abstract:We consider finite-state concurrent stochastic games, played by k>=2 players for an infinite number of rounds, where in every round, each player simultaneously and independently of the other players chooses an action, whereafter the successor state is determined by a probability distribution given by the current state and the chosen actions. We consider reachability objectives that given a target set of states require that some state in the target is visited, and the dual safety objectives that given a target set require that only states in the target set are visited. We are interested in the complexity of stationary strategies measured by their patience, which is defined as the inverse of the smallest nonzero probability employed. Our main results are as follows: We show that in two-player zero-sum concurrent stochastic games (with reachability objective for one player and the complementary safety objective for the other player): (i) the optimal bound on the patience of optimal and epsilon-optimal strategies, for both players is doubly exponential; and (ii) even in games with a single nonabsorbing state exponential (in the number of actions) patience is necessary. In general we study the class of non-zero-sum games admitting stationary epsilon-Nash equilibria. We show that if there is at least one player with reachability objective, then doubly-exponential patience may be needed for epsilon-Nash equilibrium strategies, whereas in contrast if all players have safety objectives, the optimal bound on patience for epsilon-Nash equilibrium strategies is only exponential.

An $O(n^{0.4732})$ upper bound on the complexity of the GKS communication game

An Upper Bound on the GKS Game via Max Bipartite Matching

Distributed generalized Nash equilibrium seeking: event-triggered coding-decoding-based secure communication

Game saturation of intersecting families

On Covering Codes and Upper Bounds for the Dimension of Simple Games

Communication Complexity of Correlated Equilibrium in Two-Player Games

Communication complexity of Nash equilibrium in potential games

Optimal schemes for combinatorial query problems with integer feedback

A Parallel Repetition Theorem for the GHZ Game

Continuous guts poker and numerical optimization of generalized recursive games

Diagonalization Games

Strategy Complexity of Concurrent Stochastic Games with Safety and Reachability Objectives

The Computational Complexity of Single-Player Imperfect-Recall Games

Communication Complexity of Graph Isomorphism, Coloring, and Distance Games

Simple and tight complexity lower bounds for solving Rabin games

Bounded-Memory Strategies in Partial-Information Games

On the Complexity of Solving Subtraction Games

On Arthur Merlin Games in Communication Complexity

Multiparty Communication Complexity of Disjointness

Strategy Complexity of Büchi Objectives in Concurrent Stochastic Games

Complexity of Public Goods Games on Graphs