Anders Aamand, Justin Y. Chen, Mina Dalirrooyfard, Slobodan Mitrović, Yuriy Nevmyvaka, Sandeep Silwal, Yinzhan Xu
{"title":"差分私有戈莫里-胡树","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":"{\"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}","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}
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.