Abstract
In the non-uniform sparsest cut problem, we are given a supply graph G and a demand graph D, both with the same set of nodes V. The goal is to find a cut of V that minimizes the ratio of the total capacity on the edges of G crossing the cut over the total demand of the crossing edges of D. In this work, we study the non-uniform sparsest cut problem for supply graphs with bounded treewidth k. For this case, Gupta, Talwar and Witmer [STOC 2013] obtained a 2-approximation with polynomial running time for fixed k, and the question of whether there exists a c-approximation algorithm for a constant c independent of k, that runs in \(\mathsf {FPT}\) time, remained open. We answer this question in the affirmative. We design a 2-approximation algorithm for the non-uniform sparsest cut with bounded treewidth supply graphs that runs in \(\mathsf {FPT}\) time, when parameterized by the treewidth. Our algorithm is based on rounding the optimal solution of a linear programming relaxation inspired by the Sherali-Adams hierarchy. In contrast to the classic Sherali-Adams approach, we construct a relaxation driven by a tree decomposition of the supply graph by including a carefully chosen set of lifting variables and constraints to encode information of subsets of nodes with super-constant size, and at the same time we have a sufficiently small linear program that can be solved in \(\mathsf {FPT}\) time.
Partially supported by DFG Grant 439522729 (Heisenberg-Grant), DFG Grant 439637648 (Sachbeihilfe), and ANID Grants ACT210005 and FONDECYT 11190789.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A full version of this article is available in Arxiv and can be found in [13].
References
Aprile, M., Drescher, M., Fiorini, S., Huynh, T.: A tight approximation algorithm for the cluster vertex deletion problem. In: Integer Programming and Combinatorial Optimization (IPCO) (2021)
Arora, S., Lee, J., Naor, A.: Euclidean distortion and the sparsest cut. J. Am. Math. Soc. 21(1), 1–21 (2008)
Arora, S., Rao, S., Vazirani, U.V.: Expander flows, geometric embeddings and graph partitioning. J. ACM 56(2), 5:1–5:37 (2009)
Bienstock, D., Munoz, G.: LP formulations for polynomial optimization problems. SIAM J. Optim. 28(2), 1121–1150 (2018)
Bienstock, D., Ozbay, N.: Tree-width and the Sherali-Adams operator. Discret. Optim. 1(1), 13–21 (2004)
Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)
Chakrabarti, A., Jaffe, A., Lee, J.R., Vincent, J.: Embeddings of topological graphs: lossy invariants, linearization, and 2-sums. In: IEEE Symposium on Foundations of Computer Science (FOCS) (2008)
Chalermsook, P., Kaul, M., Mnich, M., Spoerhase, J., Uniyal, S., Vaz, D.: Approximating sparsest cut in low-treewidth graphs via combinatorial diameter. CoRR 2111.06299 (2021)
Chawla, S., Krauthgamer, R., Kumar, R., Rabani, Y., Sivakumar, D.: On the hardness of approximating multicut and sparsest-cut. Comput. Complex. 15(2), 94–114 (2006)
Chekuri, C., Shepherd, F.B., Weibel, C.: Flow-cut gaps for integer and fractional multiflows. J. Comb. Theory Ser. B 103(2), 248–273 (2013)
Chlamtac, E., Krauthgamer, R., Raghavendra, P.: Approximating sparsest cut in graphs of bounded treewidth. In: Serna, M., Shaltiel, R., Jansen, K., Rolim, J. (eds.) APPROX/RANDOM 2010. LNCS, vol. 6302, pp. 124–137. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15369-3_10
Cohen-Addad, V., Gupta, A., Klein, P.N., Li, J.: A quasipolynomial \((2+\varepsilon )\)-approximation for planar sparsest cut. In: ACM Symposium on Theory of Computing (STOC) (2021)
Cohen-Addad, V., Mömke, T., Verdugo, V.: A 2-approximation for the bounded treewidth sparsest cut problem in FPT time. CoRR 2111.06163 (2021)
Davies, S., Kulkarni, J., Rothvoss, T., Tarnawski, J., Zhang, Y.: Scheduling with communication delays via LP hierarchies and clustering ii: weighted completion times on related machines. In: ACM-SIAM Symposium on Discrete Algorithms (SODA) (2021)
Garg, S.: Quasi-PTAS for scheduling with precedences using LP hierarchies. In: International Colloquium on Automata, Languages, and Programming (ICALP) (2018)
Gupta, A., Newman, I., Rabinovich, Y., Sinclair, A.: Cuts, trees and \(\ell \)1-embeddings of graphs. Combinatorica 24(2), 233–269 (2004)
Gupta, A., Talwar, K., Witmer, D.: Sparsest cut on bounded treewidth graphs: algorithms and hardness results. In: ACM Symposium on Theory of Computing (STOC) (2013)
Khot, S.A., Vishnoi, N.K.: The unique games conjecture, integrality gap for cut problems and embeddability of negative-type metrics into \(\ell \)1. J. ACM 62(1), 1–39 (2015)
Klein, P., Agrawal, A., Ravi, R., Rao, S.: Approximation through multicommodity flow. In: IEEE Symposium on Foundations of Computer Science (FOCS) (1990)
Klein, P., Rao, S., Agrawal, A., Ravi, R.: An approximate max-flow min-cut relation for undirected multicommodity flow, with applications. Combinatorica 15(2), 187–202 (1995)
Lee, J.R., Raghavendra, P.: Coarse differentiation and multi-flows in planar graphs. Discret. Comput. Geom. 43(2), 346–362 (2010)
Lee, J.R., Sidiropoulos, A.: Pathwidth, trees, and random embeddings. Combinatorica 33(3), 349–374 (2013). https://doi.org/10.1007/s00493-013-2685-8
Magen, A., Moharrami, M.: Robust algorithms for on minor-free graphs based on the Sherali-Adams hierarchy. In: Dinur, I., Jansen, K., Naor, J., Rolim, J. (eds.) APPROX/RANDOM 2009. LNCS, vol. 5687, pp. 258–271. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03685-9_20
Maiti, B., Rajaraman, R., Stalfa, D., Svitkina, Z., Vijayaraghavan, A.: Scheduling precedence-constrained jobs on related machines with communication delay. In: IEEE Symposium on Foundations of Computer Science (FOCS) (2020)
Matula, D.W., Shahrokhi, F.: Sparsest cuts and bottlenecks in graphs. Discret. Appl. Math. 27(1–2), 113–123 (1990)
Okamura, H., Seymour, P.D.: Multicommodity flows in planar graphs. J. Comb. Theory Seri. B 31(1), 75–81 (1981)
Sherali, H.D., Adams, W.P.: A hierarchy of relaxations between the continuous and convex hull representations for zero-one programming problems. SIAM J. Discret. Math. 3(3), 411–430 (1990)
Verdugo, V., Verschae, J., Wiese, A.: Breaking symmetries to rescue sum of squares in the case of makespan scheduling. Math. Program. (3), 583–618 (2020). https://doi.org/10.1007/s10107-020-01511-3
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Cohen-Addad, V., Mömke, T., Verdugo, V. (2022). A 2-Approximation for the Bounded Treewidth Sparsest Cut Problem in \(\mathsf {FPT}\) Time. In: Aardal, K., Sanità, L. (eds) Integer Programming and Combinatorial Optimization. IPCO 2022. Lecture Notes in Computer Science, vol 13265. Springer, Cham. https://doi.org/10.1007/978-3-031-06901-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-031-06901-7_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-06900-0
Online ISBN: 978-3-031-06901-7
eBook Packages: Computer ScienceComputer Science (R0)