194 research outputs found
On Linear Congestion Games with Altruistic Social Context
We study the issues of existence and inefficiency of pure Nash equilibria in
linear congestion games with altruistic social context, in the spirit of the
model recently proposed by de Keijzer {\em et al.} \cite{DSAB13}. In such a
framework, given a real matrix specifying a particular
social context, each player aims at optimizing a linear combination of the
payoffs of all the players in the game, where, for each player , the
multiplicative coefficient is given by the value . We give a broad
characterization of the social contexts for which pure Nash equilibria are
always guaranteed to exist and provide tight or almost tight bounds on their
prices of anarchy and stability. In some of the considered cases, our
achievements either improve or extend results previously known in the
literature
On the Impact of Fair Best Response Dynamics
In this work we completely characterize how the frequency with which each
player participates in the game dynamics affects the possibility of reaching
efficient states, i.e., states with an approximation ratio within a constant
factor from the price of anarchy, within a polynomially bounded number of best
responses. We focus on the well known class of congestion games and we show
that, if each player is allowed to play at least once and at most times
any best responses, states with approximation ratio times the
price of anarchy are reached after best
responses, and that such a bound is essentially tight also after exponentially
many ones. One important consequence of our result is that the fairness among
players is a necessary and sufficient condition for guaranteeing a fast
convergence to efficient states. This answers the important question of the
maximum order of needed to fast obtain efficient states, left open by
[9,10] and [3], in which fast convergence for constant and very slow
convergence for have been shown, respectively. Finally, we show
that the structure of the game implicitly affects its performances. In
particular, we show that in the symmetric setting, in which all players share
the same set of strategies, the game always converges to an efficient state
after a polynomial number of best responses, regardless of the frequency each
player moves with
Improving Approximate Pure Nash Equilibria in Congestion Games
Congestion games constitute an important class of games to model resource
allocation by different users. As computing an exact or even an approximate
pure Nash equilibrium is in general PLS-complete, Caragiannis et al. (2011)
present a polynomial-time algorithm that computes a ()-approximate pure Nash equilibria for games with linear cost
functions and further results for polynomial cost functions. We show that this
factor can be improved to and further improved results for
polynomial cost functions, by a seemingly simple modification to their
algorithm by allowing for the cost functions used during the best response
dynamics be different from the overall objective function. Interestingly, our
modification to the algorithm also extends to efficiently computing improved
approximate pure Nash equilibria in games with arbitrary non-decreasing
resource cost functions. Additionally, our analysis exhibits an interesting
method to optimally compute universal load dependent taxes and using linear
programming duality prove tight bounds on PoA under universal taxation, e.g,
2.012 for linear congestion games and further results for polynomial cost
functions. Although our approach yield weaker results than that in Bil\`{o} and
Vinci (2016), we remark that our cost functions are locally computable and in
contrast to Bil\`{o} and Vinci (2016) are independent of the actual instance of
the game
Sharing the cost of multicast transmissions in wireless networks
AbstractA crucial issue in non-cooperative wireless networks is that of sharing the cost of multicast transmissions to different users residing at the stations of the network. Each station acts as a selfish agent that may misreport its utility (i.e., the maximum cost it is willing to incur to receive the service, in terms of power consumption) in order to maximize its individual welfare, defined as the difference between its true utility and its charged cost. A provider can discourage such deceptions by using a strategyproof cost sharing mechanism, that is a particular public algorithm that, by forcing the agents to truthfully reveal their utility, starting from the reported utilities, decides who gets the service (the receivers) and at what price. A mechanism is said budget balanced (BB) if the receivers pay exactly the (possibly minimum) cost of the transmission, and β-approximate budget balanced (β-BB) if the total cost charged to the receivers covers the overall cost and is at most β times the optimal one, while it is efficient if it maximizes the sum of the receiversâ utilities minus the total cost over all receiversâ sets. In this paper, we first investigate cost sharing strategyproof mechanisms for symmetric wireless networks, in which the powers necessary for exchanging messages between stations may be arbitrary and we provide mechanisms that are either efficient or BB when the power assignments are induced by a fixed universal spanning tree, or (3ln(k+1))-BB (k is the number of receivers), otherwise. Then we consider the case in which the stations lay in a d-dimensional Euclidean space and the powers fall as 1/dÎą, and provide strategyproof mechanisms that are either 1-BB or efficient for Îą=1 or d=1. Finally, we show the existence of 2(3d-1)-BB strategyproof mechanisms in any d-dimensional space for every ι⊞d. For the special case of d=2 such a result can be improved to achieve 12-BB mechanisms
Network Creation Games: Think Global - Act Local
We investigate a non-cooperative game-theoretic model for the formation of
communication networks by selfish agents. Each agent aims for a central
position at minimum cost for creating edges. In particular, the general model
(Fabrikant et al., PODC'03) became popular for studying the structure of the
Internet or social networks. Despite its significance, locality in this game
was first studied only recently (Bil\`o et al., SPAA'14), where a worst case
locality model was presented, which came with a high efficiency loss in terms
of quality of equilibria. Our main contribution is a new and more optimistic
view on locality: agents are limited in their knowledge and actions to their
local view ranges, but can probe different strategies and finally choose the
best. We study the influence of our locality notion on the hardness of
computing best responses, convergence to equilibria, and quality of equilibria.
Moreover, we compare the strength of local versus non-local strategy-changes.
Our results address the gap between the original model and the worst case
locality variant. On the bright side, our efficiency results are in line with
observations from the original model, yet we have a non-constant lower bound on
the price of anarchy.Comment: An extended abstract of this paper has been accepted for publication
in the proceedings of the 40th International Conference on Mathematical
Foundations on Computer Scienc
Path-Fault-Tolerant Approximate Shortest-Path Trees
Let be an -nodes non-negatively real-weighted undirected graph.
In this paper we show how to enrich a {\em single-source shortest-path tree}
(SPT) of with a \emph{sparse} set of \emph{auxiliary} edges selected from
, in order to create a structure which tolerates effectively a \emph{path
failure} in the SPT. This consists of a simultaneous fault of a set of at
most adjacent edges along a shortest path emanating from the source, and it
is recognized as one of the most frequent disruption in an SPT. We show that,
for any integer parameter , it is possible to provide a very sparse
(i.e., of size ) auxiliary structure that carefully
approximates (i.e., within a stretch factor of ) the true
shortest paths from the source during the lifetime of the failure. Moreover, we
show that our construction can be further refined to get a stretch factor of
and a size of for the special case , and that it can be
converted into a very efficient \emph{approximate-distance sensitivity oracle},
that allows to quickly (even in optimal time, if ) reconstruct the
shortest paths (w.r.t. our structure) from the source after a path failure,
thus permitting to perform promptly the needed rerouting operations. Our
structure compares favorably with previous known solutions, as we discuss in
the paper, and moreover it is also very effective in practice, as we assess
through a large set of experiments.Comment: 21 pages, 3 figures, SIROCCO 201
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games
Additively separable hedonic games and fractional hedonic games have received
considerable attention. They are coalition forming games of selfish agents
based on their mutual preferences. Most of the work in the literature
characterizes the existence and structure of stable outcomes (i.e., partitions
in coalitions), assuming that preferences are given. However, there is little
discussion on this assumption. In fact, agents receive different utilities if
they belong to different partitions, and thus it is natural for them to declare
their preferences strategically in order to maximize their benefit. In this
paper we consider strategyproof mechanisms for additively separable hedonic
games and fractional hedonic games, that is, partitioning methods without
payments such that utility maximizing agents have no incentive to lie about
their true preferences. We focus on social welfare maximization and provide
several lower and upper bounds on the performance achievable by strategyproof
mechanisms for general and specific additive functions. In most of the cases we
provide tight or asymptotically tight results. All our mechanisms are simple
and can be computed in polynomial time. Moreover, all the lower bounds are
unconditional, that is, they do not rely on any computational or complexity
assumptions
Coalition Resilient Outcomes in Max k-Cut Games
We investigate strong Nash equilibria in the \emph{max -cut game}, where
we are given an undirected edge-weighted graph together with a set of colors. Nodes represent players and edges capture their mutual
interests. The strategy set of each player consists of the colors. When
players select a color they induce a -coloring or simply a coloring. Given a
coloring, the \emph{utility} (or \emph{payoff}) of a player is the sum of
the weights of the edges incident to , such that the color chosen
by is different from the one chosen by . Such games form some of the
basic payoff structures in game theory, model lots of real-world scenarios with
selfish agents and extend or are related to several fundamental classes of
games.
Very little is known about the existence of strong equilibria in max -cut
games. In this paper we make some steps forward in the comprehension of it. We
first show that improving deviations performed by minimal coalitions can cycle,
and thus answering negatively the open problem proposed in
\cite{DBLP:conf/tamc/GourvesM10}. Next, we turn our attention to unweighted
graphs. We first show that any optimal coloring is a 5-SE in this case. Then,
we introduce -local strong equilibria, namely colorings that are resilient
to deviations by coalitions such that the maximum distance between every pair
of nodes in the coalition is at most . We prove that -local strong
equilibria always exist. Finally, we show the existence of strong Nash
equilibria in several interesting specific scenarios.Comment: A preliminary version of this paper will appear in the proceedings of
the 45th International Conference on Current Trends in Theory and Practice of
Computer Science (SOFSEM'19
Selfish Network Creation with Non-Uniform Edge Cost
Network creation games investigate complex networks from a game-theoretic
point of view. Based on the original model by Fabrikant et al. [PODC'03] many
variants have been introduced. However, almost all versions have the drawback
that edges are treated uniformly, i.e. every edge has the same cost and that
this common parameter heavily influences the outcomes and the analysis of these
games.
We propose and analyze simple and natural parameter-free network creation
games with non-uniform edge cost. Our models are inspired by social networks
where the cost of forming a link is proportional to the popularity of the
targeted node. Besides results on the complexity of computing a best response
and on various properties of the sequential versions, we show that the most
general version of our model has constant Price of Anarchy. To the best of our
knowledge, this is the first proof of a constant Price of Anarchy for any
network creation game.Comment: To appear at SAGT'1
Nash Social Welfare in Selfish and Online Load Balancing
In load balancing problems there is a set of clients, each wishing to select
a resource from a set of permissible ones, in order to execute a certain task.
Each resource has a latency function, which depends on its workload, and a
client's cost is the completion time of her chosen resource. Two fundamental
variants of load balancing problems are {\em selfish load balancing} (aka. {\em
load balancing games}), where clients are non-cooperative selfish players aimed
at minimizing their own cost solely, and {\em online load balancing}, where
clients appear online and have to be irrevocably assigned to a resource without
any knowledge about future requests. We revisit both selfish and online load
balancing under the objective of minimizing the {\em Nash Social Welfare},
i.e., the geometric mean of the clients' costs. To the best of our knowledge,
despite being a celebrated welfare estimator in many social contexts, the Nash
Social Welfare has not been considered so far as a benchmarking quality measure
in load balancing problems. We provide tight bounds on the price of anarchy of
pure Nash equilibria and on the competitive ratio of the greedy algorithm under
very general latency functions, including polynomial ones. For this particular
class, we also prove that the greedy strategy is optimal as it matches the
performance of any possible online algorithm
- âŚ