Cost-Sharing Methods for Scheduling Games under Uncertainty.

We study the performance of cost-sharing protocols in a selfish scheduling setting with load-dependent cost functions. Previous work on selfish scheduling protocols has focused on two extreme models: omnipotent protocols that are aware of every machine and every job that is active at any given time, and oblivious protocols that are aware of nothing beyond the machine they control. The main focus of this paper is on a well-motivated middle-ground model of resource-aware protocols, which are aware of the set of machines that the system comprises, but unaware of what jobs are active at any given time. Apart from considering budget-balanced protocols, to which previous work was restricted, we augment the design space by also studying the extent to which overcharging can lead to improved performance. We first show that, in the omnipotent model, overcharging enables us to enforce the optimal outcome as the unique equilibrium, which largely improves over the Θ(log n)-approximation of social welfare that can be obtained by budget-balanced protocols, even in their best equilibrium. We then transition to the resource-aware model and provide price of anarchy (PoA) upper and lower bounds for different classes of cost functions. For concave cost functions, we provide a protocol with PoA of 1+ε for arbitrarily small ε0. When the cost functions can be both convex and concave we construct an overcharging protocol that yields PoA ≤ 2; a spectacular improvement over the bounds obtained for budget-balanced protocols, even in the omnipotent model. We complement our positive results with impossibility results for general increasing cost functions. We show that any resource-aware budget-balanced cost-sharing protocol has PoA of Θ(n) in this setting and, even if we use overcharging, no resource-aware protocol can achieve a PoA of o(√n).