Anders Aamand, Justin Y. Chen, Mina Dalirrooyfard, Slobodan Mitrović, Yuriy Nevmyvaka, Sandeep Silwal, Yinzhan Xu
{"title":"Differentially Private Gomory-Hu Trees","authors":"Anders Aamand, Justin Y. Chen, Mina Dalirrooyfard, Slobodan Mitrović, Yuriy Nevmyvaka, Sandeep Silwal, Yinzhan Xu","doi":"arxiv-2408.01798","DOIUrl":null,"url":null,"abstract":"Given an undirected, weighted $n$-vertex graph $G = (V, E, w)$, a Gomory-Hu\ntree $T$ is a weighted tree on $V$ such that for any pair of distinct vertices\n$s, t \\in V$, the Min-$s$-$t$-Cut on $T$ is also a Min-$s$-$t$-Cut on $G$.\nComputing a Gomory-Hu tree is a well-studied problem in graph algorithms and\nhas received considerable attention. In particular, a long line of work\nrecently culminated in constructing a Gomory-Hu tree in almost linear time\n[Abboud, Li, Panigrahi and Saranurak, FOCS 2023]. We design a differentially private (DP) algorithm that computes an\napproximate Gomory-Hu tree. Our algorithm is $\\varepsilon$-DP, runs in\npolynomial time, and can be used to compute $s$-$t$ cuts that are\n$\\tilde{O}(n/\\varepsilon)$-additive approximations of the Min-$s$-$t$-Cuts in\n$G$ for all distinct $s, t \\in V$ with high probability. Our error bound is\nessentially optimal, as [Dalirrooyfard, Mitrovi\\'c and Nevmyvaka, NeurIPS 2023]\nshowed that privately outputting a single Min-$s$-$t$-Cut requires $\\Omega(n)$\nadditive error even with $(1, 0.1)$-DP and allowing for a multiplicative error\nterm. Prior to our work, the best additive error bounds for approximate\nall-pairs Min-$s$-$t$-Cuts were $O(n^{3/2}/\\varepsilon)$ for $\\varepsilon$-DP\n[Gupta, Roth and Ullman, TCC 2012] and $O(\\sqrt{mn} \\cdot\n\\text{polylog}(n/\\delta) / \\varepsilon)$ for $(\\varepsilon, \\delta)$-DP [Liu,\nUpadhyay and Zou, SODA 2024], both of which are implied by differential private\nalgorithms that preserve all cuts in the graph. An important technical\ningredient of our main result is an $\\varepsilon$-DP algorithm for computing\nminimum Isolating Cuts with $\\tilde{O}(n / \\varepsilon)$ additive error, which\nmay be of independent interest.","PeriodicalId":501525,"journal":{"name":"arXiv - CS - Data Structures and Algorithms","volume":"86 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Data Structures and Algorithms","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2408.01798","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Given an undirected, weighted $n$-vertex graph $G = (V, E, w)$, a Gomory-Hu
tree $T$ is a weighted tree on $V$ such that for any pair of distinct vertices
$s, t \in V$, the Min-$s$-$t$-Cut on $T$ is also a Min-$s$-$t$-Cut on $G$.
Computing a Gomory-Hu tree is a well-studied problem in graph algorithms and
has received considerable attention. In particular, a long line of work
recently culminated in constructing a Gomory-Hu tree in almost linear time
[Abboud, Li, Panigrahi and Saranurak, FOCS 2023]. We design a differentially private (DP) algorithm that computes an
approximate Gomory-Hu tree. Our algorithm is $\varepsilon$-DP, runs in
polynomial time, and can be used to compute $s$-$t$ cuts that are
$\tilde{O}(n/\varepsilon)$-additive approximations of the Min-$s$-$t$-Cuts in
$G$ for all distinct $s, t \in V$ with high probability. Our error bound is
essentially optimal, as [Dalirrooyfard, Mitrovi\'c and Nevmyvaka, NeurIPS 2023]
showed that privately outputting a single Min-$s$-$t$-Cut requires $\Omega(n)$
additive error even with $(1, 0.1)$-DP and allowing for a multiplicative error
term. Prior to our work, the best additive error bounds for approximate
all-pairs Min-$s$-$t$-Cuts were $O(n^{3/2}/\varepsilon)$ for $\varepsilon$-DP
[Gupta, Roth and Ullman, TCC 2012] and $O(\sqrt{mn} \cdot
\text{polylog}(n/\delta) / \varepsilon)$ for $(\varepsilon, \delta)$-DP [Liu,
Upadhyay and Zou, SODA 2024], both of which are implied by differential private
algorithms that preserve all cuts in the graph. An important technical
ingredient of our main result is an $\varepsilon$-DP algorithm for computing
minimum Isolating Cuts with $\tilde{O}(n / \varepsilon)$ additive error, which
may be of independent interest.