The l-Diversity problem: Tractability and approximability

  • Authors:
  • Riccardo Dondi;Giancarlo Mauri;Italo Zoppis

  • Affiliations:
  • Dipartimento di Scienze dei Linguaggi, della Comunicazione e degli Studi Culturali, Universití degli Studi di Bergamo, Via Donizetti 3, 24129 Bergamo, Italy;DISCo, Universití degli Studi di Milano-Bicocca, Milano, Italy;DISCo, Universití degli Studi di Milano-Bicocca, Milano, Italy

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

Quantified Score

Hi-index 5.23

Visualization

Abstract

Publishing personal data without giving up privacy is becoming an increasingly important problem in different fields. In the last years, different interesting approaches have been proposed, i.e. k-Anonymity and l-Diversity. Given an input table, these approaches partition its rows so that the computed partition satisfies some constraint, in order to prevent the inference of the individuals the data belong to. Then, the rows in a same set of the partition are related to the same rows by suppressing some of their entries. Here we focus on the l-Diversity problem, where the attributes of the input table are distinguished in sensitive attributes and quasi-identifier attributes. The goal is to partition the rows of the input table, so that each set C of the partition contains at most 1l|C| rows having a specific value in the sensitive attribute, and the number of suppressions is minimized. In this paper we investigate the approximation and parameterized complexity ofl-Diversity. First, we prove that the problem is not approximable within factor clnl, for some constant c0, even if the input table consists of only two columns, and that the problem is APX-hard, even if l=4 and the input table contains exactly three columns. Then we give an approximation algorithm of factor m (where m+1 is the number of columns in the input table), when the sensitive attribute ranges over an alphabet of constant size. Concerning the parameterized complexity, we prove that the problem is W[1]-hard when parameterized by the cost-bound, by l, and by the size of the alphabet. Then we prove that the problem admits a fixed-parameter algorithm when both the maximum number of different values in a column and the number of columns are parameters.