Abstract
The fundamental Sparsest Cut problem takes as input a graph G together with edge capacities and demands and seeks a cut that minimizes the ratio between the capacities and demands across the cuts. For n-vertex graphs G of treewidth k, Chlamtáč, Krauthgamer, and Raghavendra (APPROX’10) presented an algorithm that yields a factor-\(2^{2^k}\) approximation in time \(2^{O(k)} \cdot n^{O(1)}\). Later, Gupta, Talwar, and Witmer (STOC’13) showed how to obtain a 2-approximation algorithm with a blown-up runtime of \(n^{O(k)}\). An intriguing open question is whether one can simultaneously achieve the best out of the aforementioned results, that is, a factor-2 approximation in time \(2^{O(k)} \cdot n^{O(1)}\).
In this article, we make significant progress towards this goal via the following results:
Key to these results is a new measure of a tree decomposition that we call combinatorial diameter, which may be of independent interest.
- [1] . 2008. Euclidean distortion and the sparsest cut. J. Amer. Math. Soc. 21, 1 (2008), 1–21.Google ScholarCross Ref
- [2] . 2009. Expander flows, geometric embeddings and graph partitioning. J. ACM 56, 2 (2009), 5.Google ScholarDigital Library
- [3] . 2004. Tree-width and the Sherali-Adams operator. Discrete Optim. 1, 1 (2004), 13–21.Google ScholarDigital Library
- [4] . 1988. NC-Algorithms for graphs with small treewidth. In WG’88(
Lecture Notes in Computer Science , Vol. 344). 1–10.Google Scholar - [5] . 2012. The complexity of finding uniform sparsest cuts in various graph classes. J. Discrete Algor. 14 (2012), 136–149.Google ScholarDigital Library
- [6] . 2018. Survivable network design for group connectivity in low-treewidth graphs. In APPROX-RANDOM’18(
Leibniz International Proceedings in Informatics , Vol. 116). 8:1–8:19.Google Scholar - [7] . 2017. Beyond metric embedding: Approximating group Steiner trees on bounded treewidth graphs. In SODA’17. 737–751.Google Scholar
- [8] . 2006. On the hardness of approximating multicut and sparsest-cut. Computat. Complex. 15, 2 (2006), 94–114.Google ScholarDigital Library
- [9] . 2006. Embedding k-outerplanar graphs into \(\ell _1\). SIAM J. Discrete Math. 20, 1 (2006), 119–136.Google ScholarDigital Library
- [10] . 2010. Approximating sparsest cut in graphs of bounded treewidth. In APPROX/RANDOM’10(
Lecture Notes in Computer Science , Vol. 6302). 124–137.Google Scholar - [11] . 2010. Approximating sparsest cut in graphs of bounded treewidth. CoRR abs/1006.3970 (2010). Retrieved from https://arxiv.org/abs/1006.3970Google Scholar
- [12] . 2009. Polynomial flow-cut gaps and hardness of directed cut problems. J. ACM 56, 2 (2009), 1–28.Google ScholarDigital Library
- [13] . 2021. A quasipolynomial (2+\(\varepsilon\))-approximation for planar sparsest cut. In STOC’21. 1056–1069.Google ScholarDigital Library
- [14] . 2022. A 2-approximation for the bounded treewidth sparsest cut Problem in FPT time. In IPCO’22(
Lecture Notes in Computer Science , Vol. 13265). 112–125.Google Scholar - [15] . 2000. A polylogarithmic approximation algorithm for the group Steiner tree problem. J. Algor. 37, 1 (2000), 66–84.Google ScholarDigital Library
- [16] . 2004. Cuts, trees and \(\ell _1\)-embeddings of graphs. Combinatorica 24, 2 (2004), 233–269.Google ScholarDigital Library
- [17] . 2013. Sparsest cut on bounded treewidth graphs: Algorithms and hardness results. In STOC’13. 281–290.Google ScholarDigital Library
- [18] . 2003. Polylogarithmic inapproximability. In STOC’03. 585–594.Google ScholarDigital Library
- [19] . 2022. A single-exponential time 2-approximation algorithm for treewidth. In FOCS’21. 184–192.Google Scholar
- [20] . 2003. A comparison of the Sherali-Adams, Lovász-Schrijver, and Lasserre relaxations for 0-1 programming. Math. Oper. Res. 28, 3 (2003), 470–496.Google ScholarDigital Library
- [21] . 2008. Lecture 19: Sparsest Cut and \(\ell _1\) Embeddings. Retrieved from https://www.cs.cmu.edu/anupamg/adv-approx/lecture19.pdfGoogle Scholar
- [22] . 2013. Pathwidth, trees, and random embeddings. Combinatorica 33, 3 (2013), 349–374.Google ScholarDigital Library
- [23] . 1999. Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms. J. ACM 46, 6 (1999), 787–832.Google ScholarDigital Library
- [24] . 2009. Robust algorithms for on minor-free graphs based on the Sherali-Adams hierarchy. In APPROX/RANDOM’09(
Lecture Notes in Computer Science , Vol. 5687). 258–271.Google Scholar - [25] . 1990. Sparsest cuts and bottlenecks in graphs. Discr. Appl. Math. 27, 1-2 (1990), 113–123.Google ScholarDigital Library
- [26] . 1990. A hierarchy of relaxations between the continuous and convex hull representations for zero-one programming problems. SIAM J. Discr. Math. 3, 3 (1990), 411–430.Google ScholarDigital Library
- [27] . 2004. Treewidth-based Conditions for Exactness of the Sherali-Adams and Lasserre Relaxations.
Technical Report . Technical Report 671, University of California, Berkeley.Google Scholar
Index Terms
- Approximating Sparsest Cut in Low-treewidth Graphs via Combinatorial Diameter
Recommendations
Sparsest cut on bounded treewidth graphs: algorithms and hardness results
STOC '13: Proceedings of the forty-fifth annual ACM symposium on Theory of ComputingWe give a 2-approximation algorithm for the non-uniform Sparsest Cut problem that runs in time nO(k), where k is the treewidth of the graph. This improves on the previous 22k-approximation in time poly(n) 2O(k) due to Chlamtac et al. [18].
To complement ...
Hitting Minors on Bounded Treewidth Graphs. I. General Upper Bounds
For a finite collection of graphs ${\cal F}$, the $\mathcal{F}$-M-Deletion problem consists in, given a graph $G$ and an integer $k$, deciding whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the ...
Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization
The notion of treewidth plays an important role in theoretical and practical studies of graph problems. It has been recognized that, especially in practical environments, when computing the treewidth of a graph it is invaluable to first apply an array of ...
Comments