14,192 research outputs found
Multicast Network Design Game on a Ring
In this paper we study quality measures of different solution concepts for
the multicast network design game on a ring topology. We recall from the
literature a lower bound of 4/3 and prove a matching upper bound for the price
of stability, which is the ratio of the social costs of a best Nash equilibrium
and of a general optimum. Therefore, we answer an open question posed by
Fanelli et al. in [12]. We prove an upper bound of 2 for the ratio of the costs
of a potential optimizer and of an optimum, provide a construction of a lower
bound, and give a computer-assisted argument that it reaches for any
precision. We then turn our attention to players arriving one by one and
playing myopically their best response. We provide matching lower and upper
bounds of 2 for the myopic sequential price of anarchy (achieved for a
worst-case order of the arrival of the players). We then initiate the study of
myopic sequential price of stability and for the multicast game on the ring we
construct a lower bound of 4/3, and provide an upper bound of 26/19. To the
end, we conjecture and argue that the right answer is 4/3.Comment: 12 pages, 4 figure
Designing cost-sharing methods for Bayesian games
We study the design of cost-sharing protocols for two fundamental resource allocation problems, the Set Cover and the Steiner Tree Problem, under environments of incomplete information (Bayesian model). Our objective is to design protocols where the worst-case Bayesian Nash equilibria, have low cost, i.e. the Bayesian Price of Anarchy (PoA) is minimized. Although budget balance is a very natural requirement, it puts considerable restrictions on the design space, resulting in high PoA. We propose an alternative, relaxed requirement called budget balance in the equilibrium (BBiE).We show an interesting connection between algorithms for Oblivious Stochastic optimization problems and cost-sharing design with low PoA. We exploit this connection for both problems and we enforce approximate solutions of the stochastic problem, as Bayesian Nash equilibria, with the same guarantees on the PoA. More interestingly, we show how to obtain the same bounds on the PoA, by using anonymous posted prices which are desirable because they are easy to implement and, as we show, induce dominant strategies for the players
Designing Networks with Good Equilibria under Uncertainty
We consider the problem of designing network cost-sharing protocols with good
equilibria under uncertainty. The underlying game is a multicast game in a
rooted undirected graph with nonnegative edge costs. A set of k terminal
vertices or players need to establish connectivity with the root. The social
optimum is the Minimum Steiner Tree. We are interested in situations where the
designer has incomplete information about the input. We propose two different
models, the adversarial and the stochastic. In both models, the designer has
prior knowledge of the underlying metric but the requested subset of the
players is not known and is activated either in an adversarial manner
(adversarial model) or is drawn from a known probability distribution
(stochastic model).
In the adversarial model, the designer's goal is to choose a single,
universal protocol that has low Price of Anarchy (PoA) for all possible
requested subsets of players. The main question we address is: to what extent
can prior knowledge of the underlying metric help in the design? We first
demonstrate that there exist graphs (outerplanar) where knowledge of the
underlying metric can dramatically improve the performance of good network
design. Then, in our main technical result, we show that there exist graph
metrics, for which knowing the underlying metric does not help and any
universal protocol has PoA of , which is tight. We attack this
problem by developing new techniques that employ powerful tools from extremal
combinatorics, and more specifically Ramsey Theory in high dimensional
hypercubes.
Then we switch to the stochastic model, where each player is independently
activated. We show that there exists a randomized ordered protocol that
achieves constant PoA. By using standard derandomization techniques, we produce
a deterministic ordered protocol with constant PoA.Comment: This version has additional results about stochastic inpu
Designing Network Protocols for Good Equilibria
Designing and deploying a network protocol determines the rules by which end users interact with each other and with the network. We consider the problem of designing a protocol to optimize the equilibrium behavior of a network with selfish users. We consider network cost-sharing games, where the set of Nash equilibria depends fundamentally on the choice of an edge cost-sharing protocol. Previous research focused on the Shapley protocol, in which the cost of each edge is shared equally among its users. We systematically study the design of optimal cost-sharing protocols for undirected and directed graphs, single-sink and multicommodity networks, and different measures of the inefficiency of equilibria. Our primary technical tool is a precise characterization of the cost-sharing protocols that induce only network games with pure-strategy Nash equilibria. We use this characterization to prove, among other results, that the Shapley protocol is optimal in directed graphs and that simple priority protocols are essentially optimal in undirected graphs
Selfishness Level of Strategic Games
We introduce a new measure of the discrepancy in strategic games between the
social welfare in a Nash equilibrium and in a social optimum, that we call
selfishness level. It is the smallest fraction of the social welfare that needs
to be offered to each player to achieve that a social optimum is realized in a
pure Nash equilibrium. The selfishness level is unrelated to the price of
stability and the price of anarchy and is invariant under positive linear
transformations of the payoff functions. Also, it naturally applies to other
solution concepts and other forms of games.
We study the selfishness level of several well-known strategic games. This
allows us to quantify the implicit tension within a game between players'
individual interests and the impact of their decisions on the society as a
whole. Our analyses reveal that the selfishness level often provides a deeper
understanding of the characteristics of the underlying game that influence the
players' willingness to cooperate.
In particular, the selfishness level of finite ordinal potential games is
finite, while that of weakly acyclic games can be infinite. We derive explicit
bounds on the selfishness level of fair cost sharing games and linear
congestion games, which depend on specific parameters of the underlying game
but are independent of the number of players. Further, we show that the
selfishness level of the -players Prisoner's Dilemma is ,
where and are the benefit and cost for cooperation, respectively, that
of the -players public goods game is , where is
the public good multiplier, and that of the Traveler's Dilemma game is
, where is the bonus. Finally, the selfishness level of
Cournot competition (an example of an infinite ordinal potential game, Tragedy
of the Commons, and Bertrand competition is infinite.Comment: 34 page
A Characterization of Undirected Graphs Admitting Optimal Cost Shares
In a seminal paper, Chen, Roughgarden and Valiant studied cost sharing
protocols for network design with the objective to implement a low-cost Steiner
forest as a Nash equilibrium of an induced cost-sharing game. One of the most
intriguing open problems to date is to understand the power of budget-balanced
and separable cost sharing protocols in order to induce low-cost Steiner
forests. In this work, we focus on undirected networks and analyze topological
properties of the underlying graph so that an optimal Steiner forest can be
implemented as a Nash equilibrium (by some separable cost sharing protocol)
independent of the edge costs. We term a graph efficient if the above stated
property holds. As our main result, we give a complete characterization of
efficient undirected graphs for two-player network design games: an undirected
graph is efficient if and only if it does not contain (at least) one out of few
forbidden subgraphs. Our characterization implies that several graph classes
are efficient: generalized series-parallel graphs, fan and wheel graphs and
graphs with small cycles.Comment: 60 pages, 69 figures, OR 2017 Berlin, WINE 2017 Bangalor
- …