2 research outputs found
Approximate Strong Equilibrium in Job Scheduling Games
A Nash Equilibrium (NE) is a strategy profile resilient to unilateral
deviations, and is predominantly used in the analysis of multiagent systems. A
downside of NE is that it is not necessarily stable against deviations by
coalitions. Yet, as we show in this paper, in some cases, NE does exhibit
stability against coalitional deviations, in that the benefits from a joint
deviation are bounded. In this sense, NE approximates strong equilibrium.
Coalition formation is a key issue in multiagent systems. We provide a
framework for quantifying the stability and the performance of various
assignment policies and solution concepts in the face of coalitional
deviations. Within this framework we evaluate a given configuration according
to three measures: (i) IR_min: the maximal number alpha, such that there exists
a coalition in which the minimal improvement ratio among the coalition members
is alpha, (ii) IR_max: the maximal number alpha, such that there exists a
coalition in which the maximal improvement ratio among the coalition members is
alpha, and (iii) DR_max: the maximal possible damage ratio of an agent outside
the coalition.
We analyze these measures in job scheduling games on identical machines. In
particular, we provide upper and lower bounds for the above three measures for
both NE and the well-known assignment rule Longest Processing Time (LPT).
Our results indicate that LPT performs better than a general NE. However, LPT
is not the best possible approximation. In particular, we present a polynomial
time approximation scheme (PTAS) for the makespan minimization problem which
provides a schedule with IR_min of 1+epsilon for any given epsilon. With
respect to computational complexity, we show that given an NE on m >= 3
identical machines or m >= 2 unrelated machines, it is NP-hard to determine
whether a given coalition can deviate such that every member decreases its
cost
The communication complexity of coalition formation among autonomous agents
It is self-evident that in numerous Multiagent settings, selfish agents stand to benefit from cooperating by forming coalitions. Nevertheless, negotiating a stable distribution of the payoff among agents may prove challenging. The issue of coalition formation has been investigated extensively in the field of cooperative n-person game theory, but until recently little attention has been given to the complications that arise when the players are software agents. The bounded rationality of such agents has motivated researchers to study the computational complexity of the aforementioned problems. In this paper, we examine the communication complexity of coalition formation, in an environment where each of the n agents knows only its own initial resources and utility function. Specifically, we give a tight Θ(n) bound on the communication complexity of the following solution concepts in unrestricted games: Shapley value, the nucleolus and the modified nucleolus, equal excess theory, and the core. Moreover, we show that in some intuitively appealing restricted games the communication complexity is constant, suggesting that it is possible to achieve sublinear complexity by constraining the environment or choosing a suitable solution concept