Differentially private combinatorial optimization

By Anupam Gupta, Katrina Ligett, Frank McSherry, Aaron Roth, Kunal Talwar. 2009

253 citations recorded by the source corpus.

Consider the following problem: given a metric space, some of whose points are "clients," select a set of at most k facility locations to minimize the average distance from the clients to their nearest facility. This is just the well-studied k-median problem, for which many approximation algorithms and hardness results are known. Note that the objective function encourages opening facilities in areas where there are many clients, and given a solution, it is often possible to get a good idea of where the clients are located. This raises the following quandary: what if the locations of the clients are sensitive information that we would like to keep private? Is it even possible to design good algorithms for this problem that preserve the privacy of the clients? In this paper, we initiate a systematic study of algorithms for discrete optimization problems in the framework of differential privacy (which formalizes the idea of protecting the privacy of individual input elements). We show that many such problems indeed have good approximation algorithms that preserve differential privacy; this is even in cases where it is impossible to preserve cryptographic definitions of privacy while computing any non-trivial approximation to even the value of an optimal solution, let alone the entire solution. Apart from the k-median problem, we consider the problems of vertex and set cover, min-cut, k-median, facility location, and Steiner tree, and give approximation algorithms and lower bounds for these problems. We also consider the recently introduced sub-modular maximization problem, "Combinatorial Public Projects" (CPP), shown by Papadimitriou et al. [28] to be inapproximable to subpolynomial multiplicative factors by any efficient and truthful algorithm. We give a differentially private (and hence approximately truthful) algorithm that achieves a logarithmic additive approximation.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Privacy & Security

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Jonathan Ullman
  2. Thomas Steinke
  3. Abhradeep Thakurta
  4. Kunal Talwar
  5. Peter Kairouz
  6. Vitaly Feldman
  7. Om Thakkar
  8. H. Brendan McMahan

In Computational Theory and Mathematics

  1. Jonathan Ullman
  2. Thomas Steinke
  3. Aaron Roth
  4. Gautam Kamath
  5. Salil P. Vadhan
  6. Aleksandra Korolova
  7. Moritz Hardt
  8. Mark Bun

In Privacy & Security

  1. Jonathan Ullman
  2. Thomas Steinke
  3. Kunal Talwar
  4. Abhradeep Thakurta
  5. H. Brendan McMahan
  6. Om Thakkar
  7. Badih Ghazi
  8. Ravi Kumar

Citations in the corpus