910 research outputs found
Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure
We consider structural and algorithmic questions related to the Nash dynamics
of weighted congestion games. In weighted congestion games with linear latency
functions, the existence of (pure Nash) equilibria is guaranteed by potential
function arguments. Unfortunately, this proof of existence is inefficient and
computing equilibria is such games is a {\sf PLS}-hard problem. The situation
gets worse when superlinear latency functions come into play; in this case, the
Nash dynamics of the game may contain cycles and equilibria may not even exist.
Given these obstacles, we consider approximate equilibria as alternative
solution concepts. Do such equilibria exist? And if so, can we compute them
efficiently?
We provide positive answers to both questions for weighted congestion games
with polynomial latency functions by exploiting an "approximation" of such
games by a new class of potential games that we call -games. This allows
us to show that these games have -approximate equilibria, where is the
maximum degree of the latency functions. Our main technical contribution is an
efficient algorithm for computing O(1)-approximate equilibria when is a
constant. For games with linear latency functions, the approximation guarantee
is for arbitrarily small ; for
latency functions with maximum degree , it is . The
running time is polynomial in the number of bits in the representation of the
game and . As a byproduct of our techniques, we also show the
following structural statement for weighted congestion games with polynomial
latency functions of maximum degree : polynomially-long sequences of
best-response moves from any initial state to a -approximate
equilibrium exist and can be efficiently identified in such games as long as
is constant.Comment: 31 page
On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games
In \emph{bandwidth allocation games} (BAGs), the strategy of a player
consists of various demands on different resources. The player's utility is at
most the sum of these demands, provided they are fully satisfied. Every
resource has a limited capacity and if it is exceeded by the total demand, it
has to be split between the players. Since these games generally do not have
pure Nash equilibria, we consider approximate pure Nash equilibria, in which no
player can improve her utility by more than some fixed factor through
unilateral strategy changes. There is a threshold (where
is a parameter that limits the demand of each player on a specific
resource) such that -approximate pure Nash equilibria always exist for
, but not for . We give both
upper and lower bounds on this threshold and show that the
corresponding decision problem is -hard. We also show that the
-approximate price of anarchy for BAGs is . For a restricted
version of the game, where demands of players only differ slightly from each
other (e.g. symmetric games), we show that approximate Nash equilibria can be
reached (and thus also be computed) in polynomial time using the best-response
dynamic. Finally, we show that a broader class of utility-maximization games
(which includes BAGs) converges quickly towards states whose social welfare is
close to the optimum
On the Existence of Pure Strategy Nash Equilibria in Integer-Splittable Weighted Congestion Games
We study the existence of pure strategy Nash equilibria (PSNE) in integer–splittable weighted congestion games (ISWCGs), where agents can strategically assign different amounts of demand to different resources, but must distribute this demand in fixed-size parts. Such scenarios arise in a wide range of application domains, including job scheduling and network routing, where agents have to allocate multiple tasks and can assign a number of tasks to a particular selected resource. Specifically, in an ISWCG, an agent has a certain total demand (aka weight) that it needs to satisfy, and can do so by requesting one or more integer units of each resource from an element of a given collection of feasible subsets. Each resource is associated with a unit–cost function of its level of congestion; as such, the cost to an agent for using a particular resource is the product of the resource unit–cost and the number of units the agent requests.While general ISWCGs do not admit PSNE [(Rosenthal, 1973b)], the restricted subclass of these games with linear unit–cost functions has been shown to possess a potential function [(Meyers, 2006)], and hence, PSNE. However, the linearity of costs may not be necessary for the existence of equilibria in pure strategies. Thus, in this paper we prove that PSNE always exist for a larger class of convex and monotonically increasing unit–costs. On the other hand, our result is accompanied by a limiting assumption on the structure of agents’ strategy sets: specifically, each agent is associated with its set of accessible resources, and can distribute its demand across any subset of these resources.Importantly, we show that neither monotonicity nor convexity on its own guarantees this result. Moreover, we give a counterexample with monotone and semi–convex cost functions, thus distinguishing ISWCGs from the class of infinitely–splittable congestion games for which the conditions of monotonicity and semi–convexity have been shown to be sufficient for PSNE existence [(Rosen, 1965)]. Furthermore, we demonstrate that the finite improvement path property (FIP) does not hold for convex increasing ISWCGs. Thus, in contrast to the case with linear costs, a potential function argument cannot be used to prove our result. Instead, we provide a procedure that converges to an equilibrium from an arbitrary initial strategy profile, and in doing so show that ISWCGs with convex increasing unit–cost functions are weakly acyclic
Sharing Non-Anonymous Costs of Multiple Resources Optimally
In cost sharing games, the existence and efficiency of pure Nash equilibria
fundamentally depends on the method that is used to share the resources' costs.
We consider a general class of resource allocation problems in which a set of
resources is used by a heterogeneous set of selfish users. The cost of a
resource is a (non-decreasing) function of the set of its users. Under the
assumption that the costs of the resources are shared by uniform cost sharing
protocols, i.e., protocols that use only local information of the resource's
cost structure and its users to determine the cost shares, we exactly quantify
the inefficiency of the resulting pure Nash equilibria. Specifically, we show
tight bounds on prices of stability and anarchy for games with only submodular
and only supermodular cost functions, respectively, and an asymptotically tight
bound for games with arbitrary set-functions. While all our upper bounds are
attained for the well-known Shapley cost sharing protocol, our lower bounds
hold for arbitrary uniform cost sharing protocols and are even valid for games
with anonymous costs, i.e., games in which the cost of each resource only
depends on the cardinality of the set of its users
A Study of Truck Platooning Incentives Using a Congestion Game
We introduce an atomic congestion game with two types of agents, cars and
trucks, to model the traffic flow on a road over various time intervals of the
day. Cars maximize their utility by finding a trade-off between the time they
choose to use the road, the average velocity of the flow at that time, and the
dynamic congestion tax that they pay for using the road. In addition to these
terms, the trucks have an incentive for using the road at the same time as
their peers because they have platooning capabilities, which allow them to save
fuel. The dynamics and equilibria of this game-theoretic model for the
interaction between car traffic and truck platooning incentives are
investigated. We use traffic data from Stockholm to validate parts of the
modeling assumptions and extract reasonable parameters for the simulations. We
use joint strategy fictitious play and average strategy fictitious play to
learn a pure strategy Nash equilibrium of this game. We perform a comprehensive
simulation study to understand the influence of various factors, such as the
drivers' value of time and the percentage of the trucks that are equipped with
platooning devices, on the properties of the Nash equilibrium.Comment: Updated Introduction; Improved Literature Revie
- …