375 research outputs found
Strong Nash Equilibria in Games with the Lexicographical Improvement Property
We introduce a class of finite strategic games with the property that every
deviation of a coalition of players that is profitable to each of its members
strictly decreases the lexicographical order of a certain function defined on
the set of strategy profiles. We call this property the Lexicographical
Improvement Property (LIP) and show that it implies the existence of a
generalized strong ordinal potential function. We use this characterization to
derive existence, efficiency and fairness properties of strong Nash equilibria.
We then study a class of games that generalizes congestion games with
bottleneck objectives that we call bottleneck congestion games. We show that
these games possess the LIP and thus the above mentioned properties. For
bottleneck congestion games in networks, we identify cases in which the
potential function associated with the LIP leads to polynomial time algorithms
computing a strong Nash equilibrium. Finally, we investigate the LIP for
infinite games. We show that the LIP does not imply the existence of a
generalized strong ordinal potential, thus, the existence of SNE does not
follow. Assuming that the function associated with the LIP is continuous,
however, we prove existence of SNE. As a consequence, we prove that bottleneck
congestion games with infinite strategy spaces and continuous cost functions
possess a strong Nash equilibrium
Resource Buying Games
In resource buying games a set of players jointly buys a subset of a finite
resource set E (e.g., machines, edges, or nodes in a digraph). The cost of a
resource e depends on the number (or load) of players using e, and has to be
paid completely by the players before it becomes available. Each player i needs
at least one set of a predefined family S_i in 2^E to be available. Thus,
resource buying games can be seen as a variant of congestion games in which the
load-dependent costs of the resources can be shared arbitrarily among the
players. A strategy of player i in resource buying games is a tuple consisting
of one of i's desired configurations S_i together with a payment vector p_i in
R^E_+ indicating how much i is willing to contribute towards the purchase of
the chosen resources. In this paper, we study the existence and computational
complexity of pure Nash equilibria (PNE, for short) of resource buying games.
In contrast to classical congestion games for which equilibria are guaranteed
to exist, the existence of equilibria in resource buying games strongly depends
on the underlying structure of the S_i's and the behavior of the cost
functions. We show that for marginally non-increasing cost functions, matroids
are exactly the right structure to consider, and that resource buying games
with marginally non-decreasing cost functions always admit a PNE
Routing Games with Progressive Filling
Max-min fairness (MMF) is a widely known approach to a fair allocation of
bandwidth to each of the users in a network. This allocation can be computed by
uniformly raising the bandwidths of all users without violating capacity
constraints. We consider an extension of these allocations by raising the
bandwidth with arbitrary and not necessarily uniform time-depending velocities
(allocation rates). These allocations are used in a game-theoretic context for
routing choices, which we formalize in progressive filling games (PFGs).
We present a variety of results for equilibria in PFGs. We show that these
games possess pure Nash and strong equilibria. While computation in general is
NP-hard, there are polynomial-time algorithms for prominent classes of
Max-Min-Fair Games (MMFG), including the case when all users have the same
source-destination pair. We characterize prices of anarchy and stability for
pure Nash and strong equilibria in PFGs and MMFGs when players have different
or the same source-destination pairs. In addition, we show that when a designer
can adjust allocation rates, it is possible to design games with optimal strong
equilibria. Some initial results on polynomial-time algorithms in this
direction are also derived
Routing Games over Time with FIFO policy
We study atomic routing games where every agent travels both along its
decided edges and through time. The agents arriving on an edge are first lined
up in a \emph{first-in-first-out} queue and may wait: an edge is associated
with a capacity, which defines how many agents-per-time-step can pop from the
queue's head and enter the edge, to transit for a fixed delay. We show that the
best-response optimization problem is not approximable, and that deciding the
existence of a Nash equilibrium is complete for the second level of the
polynomial hierarchy. Then, we drop the rationality assumption, introduce a
behavioral concept based on GPS navigation, and study its worst-case efficiency
ratio to coordination.Comment: Submission to WINE-2017 Deadline was August 2nd AoE, 201
Congestion Games with Complementarities
We study a model of selfish resource allocation that seeks to incorporate
dependencies among resources as they exist in modern networked environments.
Our model is inspired by utility functions with constant elasticity of
substitution (CES) which is a well-studied model in economics. We consider
congestion games with different aggregation functions. In particular, we study
norms and analyze the existence and complexity of (approximate) pure Nash
equilibria. Additionally, we give an almost tight characterization based on
monotonicity properties to describe the set of aggregation functions that
guarantee the existence of pure Nash equilibria.Comment: The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-57586-5_1
Efficient Computation of Equilibria in Bottleneck Games via Game Transformation
We study the efficient computation of Nash and strong equilibria in weighted bottleneck games. In such a game different players interact on a set of resources in the way that every player chooses a subset of the resources as her strategy. The cost of a single resource depends on the total weight of players choosing it and the personal cost every player tries to minimize is the cost of the most expensive resource in her strategy, the bottleneck value. To derive efficient algorithms for finding Nash equilibria in these games, we generalize a tranformation of a bottleneck game into a special congestion game introduced by Caragiannis et al. [1]. While investigating the transformation we introduce so-called lexicographic games, in which the aim of a player is not only to minimize her bottleneck value but to lexicographically minimize the ordered vector of costs of all resources in her strategy. For the special case of network bottleneck games, i.e., the set of resources are the edges of a graph and the strategies are paths, we analyse different Greedy type methods and their limitations for extension-parallel and series-parallel graphs
On the inefficiency of equilibria in linear bottleneck congestion games
We study the inefficiency of equilibrium outcomes in bottleneck congestion games. These games model situations in which strategic players compete for a limited number of facilities. Each player allocates his weight to a (feasible) subset of the facilities with the goal to minimize the maximum (weight-dependent) latency that he experiences on any of these facilities. We derive upper and (asymptotically) matching lower bounds on the (strong) price of anarchy of linear bottleneck congestion
games for a natural load balancing social cost objective (i.e., minimize the maximum latency of a facility). We restrict our studies to linear latency functions. Linear bottleneck congestion games still constitute a rich class of games and generalize, for example, load balancing games
with identical or uniformly related machines with or without restricted assignments
- …