Winner-imposing strategyproof mechanisms for multiple Facility Location games

  • Authors:
  • Dimitris Fotakis;Christos Tzamos

  • Affiliations:
  • School of Electrical and Computer Engineering, National Technical University of Athens, 157 80 Athens, Greece;Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139, United States

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2013

Quantified Score

Hi-index 5.23

Visualization

Abstract

We study Facility Location games, where a number of facilities are placed in a metric space based on locations reported by strategic agents. A mechanism maps the agents' locations to a set of facilities. The agents seek to minimize their connection cost, namely the distance of their true location to the nearest facility, and may even misreport their location. We are interested in mechanisms that are strategyproof, i.e., ensure that no agent can benefit from misreporting her location, do not resort to monetary transfers, and approximate the optimal social cost. We focus on the closely related problems of k-Facility Location and Facility Location with a uniform facility opening cost, instead of a bound of k on the number of facilities. In the former, the social cost is the agents' total connection cost, while in the latter, the social cost is the sum of the total connection cost and the total facility opening cost. We mostly study mechanisms that are winner-imposing, in the sense that they allocate facilities to agents and require that each agent allocated a facility should connect to it. We prove that the winner-imposing version of the Proportional mechanism, proposed by Lu et al. (2010) [18], is stategyproof for the k-Facility Location game, and achieves an approximation ratio of at most 4k, for any k=1. For the Facility Location game, we show that the winner-imposing version of the randomized online algorithm of Meyerson (2001) [21], which has an approximation ratio of 8, is strategyproof. Furthermore, we present a deterministic non-imposing group strategyproof O(logn)-approximate mechanism for the Facility Location game on the line. We also consider oblivious winner-imposing mechanisms for location games on continuous metric spaces, and show that they are strategyproof iff they are locally strategyproof, i.e. no agent can benefit by reporting a location arbitrarily close to her true location.