It was observed in \citet{gupta2009differentially} that the Set Cover problem has strong impossibility results under differential privacy. In our work, we observe that these hardness results dissolve when we turn to the Partial Set Cover problem, where we only need to cover a $\rho$-fraction of the elements in the universe, for some $\rho\in(0,1)$. We show that this relaxation enables us to avoid the impossibility results: under loose conditions on the input set system, we give differentially private algorithms which output an explicit set cover with non-trivial approximation guarantees. In particular, this is the first differentially private algorithm which outputs an explicit set cover. Using our algorithm for Partial Set Cover as a subroutine, we give a differentially private (bicriteria) approximation algorithm for a facility location problem which generalizes $k$-center/$k$-supplier with outliers. Like with the Set Cover problem, no algorithm has been able to give non-trivial guarantees for $k$-center/$k$-supplier-type facility location problems due to the high sensitivity and impossibility results. Our algorithm shows that relaxing the covering requirement to serving only a $\rho$-fraction of the population, for $\rho\in(0,1)$, enables us to circumvent the inherent hardness. Overall, our work is an important step in tackling and understanding impossibility results in private combinatorial optimization.
翻译:在\citet{gupta2009deplately}中观察到,“Set Cover”问题在不同的隐私隐私下有着巨大的不可能结果。在我们的工作中,我们观察到当我们转向“部分设置封面”问题时,这些硬性结果会溶解,我们只需要覆盖宇宙各元素的折合美元(美元,0,1美元),而我们只需要覆盖宇宙各元素的折合美元(美元,1美元)。我们表明,这种放松使我们能够避免不可能的结果:在输入数据集系统松散的条件下,我们给出了差别化的私人算法,这种算法以非三元近似保证的方式输出一个明确的套套套套套套套。特别是,这是我们第一次使用“部分设置封面”的算法,我们只需使用“部分设置”的算法,将宇宙各元素的折合美元(美元)的折合美元,我们给设施定位问题提供了一种差别的(双标准)近似的算法。 与“Set Covernable”问题一样,没有任何私人算法能够为“美元/kentr-k$-k$-colbillational-calalalalalalalalal reslievilizational as)提供我们一个高敏感度的系统, 。 。 。由于我们对人口来说,只有高敏感度要求,我们为“xxxxx级的递解解解算法要求。