Recognition: unknown
On the Parameterized Approximability of (Mergeable) Sum of Radii Clustering
Pith reviewed 2026-05-08 05:44 UTC · model grok-4.3
The pith
The k-sum-of-radii clustering problem is W[2]-hard parameterized by k, ruling out efficient parameterized approximation schemes, while mergeable constraints permit an FPT (8/3 + ε)-approximation.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that k-MSR is W[2]-hard parameterized by k and that this rules out efficient parameterized approximation schemes unless W[2] = FPT. Assuming ETH we rule out n^{o(k)} time EPAS. For mergeable constraints we give an FPT (8/3 + ε)-approximation algorithm improving on (4 + ε), and a (2 + ε) FPT-approximation given an assignment subroutine, which yields results for (t,k)-fair, (α,β)-fair, ℓ-diversity, and private clustering.
What carries the argument
The mergeable constraints framework that captures a broad class of clustering constraints including fairness, diversity, and lower bounds, allowing the combination of feasible solutions while maintaining feasibility for improved approximation guarantees.
Load-bearing premise
The W[2]-hardness reduction and the approximation algorithms both assume that the mergeable-constraint framework correctly models real-world clustering constraints without introducing gaps in the reduction or analysis.
What would settle it
The discovery of a (1 + ε)-approximation algorithm for k-MSR that runs in time f(k, ε) · n^{O(1)} would falsify the claim that no such EPAS exists unless W[2] = FPT.
Figures
read the original abstract
The sum of radii problem ($k$-MSR) asks, given a metric space on $n$ points, to place $k$ balls covering all points so as to minimize the sum of their radii. Despite extensive study from the perspectives of approximation and parameterized algorithms, the exact parameterized complexity of the problem and the existence of efficient parameterized approximation schemes remained open. We advance this understanding on both the hardness and algorithmic fronts. We begin by showing that $k$-MSR is $W[2]$-hard parameterized by $k$, thereby pinpointing its location in the $W$-hierarchy. Moreover, via our reduction, we rule out efficient parameterized approximation schemes (EPAS)--that is, $(1+\epsilon)$-approximations running in time $f(k,\epsilon)\cdot \mathrm{poly}(n)$--unless $W[2] = FPT$. Assuming the Exponential Time Hypothesis, we further rule out such algorithms running in time $f(k,\epsilon)\cdot n^{o(k)}$, strengthening recent lower bounds for the problem. On the algorithmic side, we study $k$-MSR under the framework of mergeable constraints, which captures a broad class of clustering constraints, including fairness, diversity, and lower bounds. We obtain an FPT $(\frac{8}{3}+\epsilon)$-approximation, improving upon the previous best guarantee of $(4+\epsilon)$. Moreover, given access to a suitable assignment subroutine, we achieve a $(2+\epsilon)$-approximation, matching the best known bound for the unconstrained problem. This, in turn, yields $(2+\epsilon)$ FPT-approximations for several important settings, including $(t,k)$-fair, $(\alpha,\beta)$-fair, $\ell$-diversity, and private clustering.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript shows that k-MSR is W[2]-hard parameterized by k, ruling out EPAS unless W[2]=FPT, and under ETH no f(k,ε) n^{o(k)} time algorithms. For mergeable constraints, an FPT (8/3+ε)-approximation is given, improving on (4+ε), and with assignment oracle a (2+ε)-approximation is achieved, which applies to fair, diverse, and private clustering settings.
Significance. This work provides a clear placement of k-MSR in the W-hierarchy and rules out certain approximation schemes, which is important for the field. The mergeable constraints framework is a positive contribution as it unifies several constraints. The approximation results are improvements and match known bounds in some cases, making them significant for both theory and practice in constrained clustering.
minor comments (2)
- The previous best guarantee of (4+ε) should be referenced with a citation in the abstract or introduction for completeness.
- Clarify how the mergeable property is verified for the listed applications like (t,k)-fair clustering in the applications section.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of our work and for recommending minor revision. We are glad that the placement of k-MSR in the W-hierarchy, the ruling out of EPAS, and the improvements to (8/3+ε) and (2+ε) approximations under mergeable constraints (including applications to fair, diverse, and private clustering) are viewed as significant contributions.
Circularity Check
No significant circularity detected
full rationale
The paper's central claims rest on a standard W[2]-hardness reduction from a known parameterized-hard problem and on new FPT approximation algorithms constructed via dynamic programming and other standard techniques within the mergeable-constraints framework. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the hardness and approximation results are independently derived and externally falsifiable.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption W[2] ≠ FPT and the Exponential Time Hypothesis hold.
- domain assumption Mergeable constraints admit a suitable assignment subroutine that can be called in FPT time.
Reference graph
Works this paper leans on
-
[1]
Fair clustering & unsupervised learning, url = https://www.fairclustering.com/, note = Ac- cessed: 2026-05-04. 2
2026
-
[2]
Parameterized approximation schemes for clustering with general norm objectives
Fateme Abbasi, Sandip Banerjee, Jaros law Byrka, Parinya Chalermsook, Ameet Gadekar, Kamyar Khodamoradi, D´ aniel Marx, Roohani Sharma, and Joachim Spoerhase. Parameterized approximation schemes for clustering with general norm objectives. In2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), pages 1377–1399, 2023. 1
2023
-
[3]
Achieving anonymity via weak lower bound con- straints for k-median and k-means
Anna Arutyunova and Melanie Schmidt. Achieving anonymity via weak lower bound con- straints for k-median and k-means. In Markus Bl¨ aser and Benjamin Monmege, editors, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021, Saarbr¨ ucken, Germany (Virtual Conference), March 16-19, 2021, LIPIcs, pages 7:1–7:17. Schloss Dagstuhl...
2021
-
[4]
Approximate clustering via core-sets
Mihai Bad˘ oiu, Sariel Har-Peled, and Piotr Indyk. Approximate clustering via core-sets. In John H. Reif, editor,Proc. 34th Annual ACM Symposium on Theory of Computing (STOC’02), pages 250–257. ACM, 2002. 1
2002
-
[5]
Improved FPT approximation for sum of radii clustering with mergeable constraints
Sayan Bandyapadhyay and Tianzhi Chen. Improved FPT approximation for sum of radii clustering with mergeable constraints. In Alina Ene and Eshan Chattopadhyay, editors,Ap- proximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2025, Berkeley, CA, USA, August 11-13, 2025, LIPIcs, pages 23:1– 23:17. Schloss Dagst...
2025
-
[6]
Fomin, and Kirill Simonov
Sayan Bandyapadhyay, Fedor V. Fomin, and Kirill Simonov. On coresets for fair clustering in metric and euclidean spaces and their applications.J. Comput. Syst. Sci., 142:103506, 2024. 2, 3, 14, 15
2024
-
[7]
FPT constant-approximations for capacitated clustering to minimize the sum of cluster radii
Sayan Bandyapadhyay, William Lochet, and Saket Saurabh. FPT constant-approximations for capacitated clustering to minimize the sum of cluster radii. In Erin W. Chambers and Joachim Gudmundsson, editors,39th International Symposium on Computational Geometry, SoCG 2023, Dallas, Texas, USA, June 12-15, 2023, LIPIcs, pages 12:1–12:14. Schloss Dagstuhl - Leibn...
2023
-
[8]
Improved fixed-parameter bounds for min-sum-radii and diameters k-clustering and their fair variants
Sandip Banerjee, Yair Bartal, Lee-Ad Gottlieb, and Alon Hovav. Improved fixed-parameter bounds for min-sum-radii and diameters k-clustering and their fair variants. In Toby Walsh, Julie Shah, and Zico Kolter, editors,Thirty-Ninth AAAI Conference on Artificial Intelligence, Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence, Fi...
2025
-
[9]
Salavatipour
Babak Behsaz and Mohammad R. Salavatipour. On minimum sum of radii and diameters clustering.Algorithmica, 73(1):143–165, 2015. 1, 4
2015
-
[10]
Fair algorithms for clustering
Suman Kalyan Bera, Deeparnab Chakrabarty, Nicolas Flores, and Maryam Negahbani. Fair algorithms for clustering. In Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d’Alch´ e-Buc, Emily B. Fox, and Roman Garnett, editors,Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, Neur...
2019
-
[11]
Schmidt, and Melanie Schmidt
Ioana Oriana Bercea, Martin Groß, Samir Khuller, Aounon Kumar, Clemens R¨ osner, Daniel R. Schmidt, and Melanie Schmidt. On the cost of essentially fair clusterings. In Dimitris Achliop- tas and L´ aszl´ o A. V´ egh, editors,Approximation, Randomization, and Combinatorial Opti- mization. Algorithms and Techniques, APPROX/RANDOM 2019, Massachusetts Institu...
2019
-
[12]
Clustering under constraints: Efficient parameterized approximation schemes, 2026
Sujoy Bhore, Ameet Gadekar, and Tanmay Inamdar. Clustering under constraints: Efficient parameterized approximation schemes, 2026. 1
2026
-
[13]
Fair clustering with multiple colors.CoRR, abs/2002.07892, 2020
Matteo B¨ ohm, Adriano Fazzone, Stefano Leonardi, and Chris Schwiegelshohn. Fair clustering with multiple colors.CoRR, abs/2002.07892, 2020. 2
-
[14]
Moritz Buchem, Katja Ettmayr, Hugo K. K. Rosado, and Andreas Wiese. A (3 +ε)- approximation algorithm for the minimum sum of radii problem with outliers and extensions for generalized lower bounds. In David P. Woodruff, editor,Proceedings of the 2024 ACM- SIAM Symposium on Discrete Algorithms, SODA 2024, Alexandria, VA, USA, January 7-10, 2024, pages 1738...
2024
-
[15]
FPT approximations for fair k-min-sum-radii
Lena Carta, Lukas Drexler, Annika Hennes, Clemens R¨ osner, and Melanie Schmidt. FPT approximations for fair k-min-sum-radii. In Juli´ an Mestre and Anthony Wirth, editors,35th International Symposium on Algorithms and Computation, ISAAC 2024, Sydney, Australia, December 8-11, 2024, LIPIcs, pages 16:1–16:18. Schloss Dagstuhl - Leibniz-Zentrum f¨ ur Infor-...
2024
-
[16]
Clustering to minimize the sum of cluster diameters
Moses Charikar and Rina Panigrahy. Clustering to minimize the sum of cluster diameters. Journal of Computer and System Sciences, 68(2):417–441, 2004. Special Issue on STOC 2001. 1
2004
-
[17]
Parameterized approximation al- gorithms for sum of radii clustering and variants
Xianrun Chen, Dachuan Xu, Yicheng Xu, and Yong Zhang. Parameterized approximation al- gorithms for sum of radii clustering and variants. In Michael J. Wooldridge, Jennifer G. Dy, and Sriraam Natarajan, editors,Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence,...
2024
-
[18]
Fair clustering through fairlets
Flavio Chierichetti, Ravi Kumar, Silvio Lattanzi, and Sergei Vassilvitskii. Fair clustering through fairlets. In Isabelle Guyon, Ulrike von Luxburg, Samy Bengio, Hanna M. Wallach, Rob Fergus, S. V. N. Vishwanathan, and Roman Garnett, editors,Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 20...
2017
-
[19]
Tight FPT Approximations for k-Median and k-Means
Vincent Cohen-Addad, Anupam Gupta, Amit Kumar, Euiwoong Lee, and Jason Li. Tight FPT Approximations for k-Median and k-Means. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi, editors,46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), volume 132 ofLeibniz International Proceed- ings in Info...
2019
-
[20]
On the fixed-parameter tractability of capacitated clus- tering
Vincent Cohen-Addad and Jason Li. On the fixed-parameter tractability of capacitated clus- tering. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi, edi- tors,46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, volume 132 ofLIPIcs, pages 41:1–41:14. Schloss Da...
2019
-
[21]
On Tight FPT Time Approximation Algorithms for k-Clustering Problems
Han Dai, Shi Li, and Sijin Peng. On tight FPT time approximation algorithms for k-clustering problems.CoRR, abs/2512.04614, 2025. 1
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[22]
A unified framework for clustering constrained data without locality property.Algorithmica, 82(4):808–852, 2020
Hu Ding and Jinhui Xu. A unified framework for clustering constrained data without locality property.Algorithmica, 82(4):808–852, 2020. 2
2020
-
[23]
Ap- proximating fair k-min-sum-radii in euclidean space
Lukas Drexler, Annika Hennes, Abhiruk Lahiri, Melanie Schmidt, and Julian Wargalla. Ap- proximating fair k-min-sum-radii in euclidean space. In Jaroslaw Byrka and Andreas Wiese, editors,Approximation and Online Algorithms - 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings, Lecture Notes in Computer Scien...
2023
-
[24]
Lukas Drexler, Jan H¨ ockendorff, Joshua K¨ onen, and Kevin Schewior. Clustering graphs of bounded treewidth to minimize the sum of radius-dependent costs.CoRR, abs/2310.02130,
-
[25]
FPT approximations for capacitated sum of radii and diameters.CoRR, abs/2409.04984, 2024
Arnold Filtser and Ameet Gadekar. FPT approximations for capacitated sum of radii and diameters.CoRR, abs/2409.04984, 2024. 2, 4, 5
-
[26]
An application of simultaneous diophantine approximation in combinatorial optimization.Comb., 7(1):49–65, 1987
Andr´ as Frank and´Eva Tardos. An application of simultaneous diophantine approximation in combinatorial optimization.Comb., 7(1):49–65, 1987. 14
1987
-
[27]
Improved Polynomial-Time Approximations for Clustering with Minimum Sum of Radii or Diameters
Zachary Friggstad and Mahya Jamshidian. Improved Polynomial-Time Approximations for Clustering with Minimum Sum of Radii or Diameters. In Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, and Grzegorz Herman, editors,30th Annual European Symposium on Algorithms (ESA 2022), volume 244 ofLeibniz International Proceedings in Informatics (LIPIcs), pages 56:1–56:...
2022
-
[28]
Fpt approximations for fair sum of radii with outliers and general norm objectives, 2026
Ameet Gadekar. Fpt approximations for fair sum of radii with outliers and general norm objectives, 2026. 2, 4
2026
-
[29]
Ameet Gadekar and Suhas Thejaswi. Capacitated fair-range clustering: Hardness and approx- imation algorithms.CoRR, abs/2505.15905, 2025. 1
-
[30]
Pirwani, and Kasturi R
Matt Gibson, Gaurav Kanade, Erik Krohn, Imran A. Pirwani, and Kasturi R. Varadarajan. On clustering to minimize the sum of radii.SIAM J. Comput., 41(1):47–60, 2012. 1, 4, 16
2012
-
[31]
Gonzalez
Teofilo F. Gonzalez. Clustering to minimize the maximum intercluster distance.Theoretical Computer Science, 38:293–306, 1985. 1 20
1985
-
[32]
Clustering to minimize the maximum intercluster distance.Theoretical computer science, 38:293–306, 1985
Teofilo F Gonzalez. Clustering to minimize the maximum intercluster distance.Theoretical computer science, 38:293–306, 1985. 7
1985
-
[33]
Tight fpt approximation for constrained k-center and k-supplier.Theoretical Computer Science, 940:190–208, 2023
Dishant Goyal and Ragesh Jaiswal. Tight fpt approximation for constrained k-center and k-supplier.Theoretical Computer Science, 940:190–208, 2023. 1
2023
-
[34]
Tight fpt approximation for socially fair clustering.Infor- mation Processing Letters, page 106383, 2023
Dishant Goyal and Ragesh Jaiswal. Tight fpt approximation for socially fair clustering.Infor- mation Processing Letters, page 106383, 2023. 1
2023
-
[35]
A best possible heuristic for the k-center problem
Dorit S Hochbaum and David B Shmoys. A best possible heuristic for the k-center problem. Mathematics of operations research, 10(2):180–184, 1985. 1, 4
1985
-
[36]
FPT Approximation for Capacitated Sum of Radii
Ragesh Jaiswal, Amit Kumar, and Jatin Yadav. FPT Approximation for Capacitated Sum of Radii. In Venkatesan Guruswami, editor,15th Innovations in Theoretical Computer Sci- ence Conference (ITCS 2024), volume 287 ofLeibniz International Proceedings in Informatics (LIPIcs), pages 65:1–65:21, Dagstuhl, Germany, 2024. Schloss Dagstuhl – Leibniz-Zentrum f¨ ur I...
2024
-
[37]
Lenstra Jr
Hendrik W. Lenstra Jr. Integer programming with a fixed number of variables.Math. Oper. Res., 8(4):538–548, 1983. 14
1983
-
[38]
Minkowski’s convex body theorem and integer programming.Math
Ravi Kannan. Minkowski’s convex body theorem and integer programming.Math. Oper. Res., 12(3):415–440, 1987. 14
1987
-
[39]
Linear-time approximation schemes for clustering problems in any dimensions.J.ACM, 57(2):1–32, 2010
Amit Kumar, Yogish Sabharwal, and Sandeep Sen. Linear-time approximation schemes for clustering problems in any dimensions.J.ACM, 57(2):1–32, 2010. 1
2010
-
[40]
FPT constant approximation algorithms for colorful sum of radii.CoRR, abs/2506.13191, 2025
Shuilian Liu, Gregory Gutin, Yicheng Xu, and Yong Zhang. FPT constant approximation algorithms for colorful sum of radii.CoRR, abs/2506.13191, 2025. 2, 4
-
[41]
Polynomial-time constant- approximation for fair sum-of-radii clustering
Sina Bagheri Nezhad, Sayan Bandyapadhyay, and Tianzhi Chen. Polynomial-time constant- approximation for fair sum-of-radii clustering. In Anne Benoit, Haim Kaplan, Sebastian Wild, and Grzegorz Herman, editors,33rd Annual European Symposium on Algorithms, ESA 2025, Warsaw, Poland, September 15-17, 2025, LIPIcs, pages 62:1–62:16. Schloss Dagstuhl - Leibniz- ...
2025
-
[42]
Privacy preserving clustering with constraints
Clemens R¨ osner and Melanie Schmidt. Privacy preserving clustering with constraints. In Ioannis Chatzigiannakis, Christos Kaklamanis, D´ aniel Marx, and Donald Sannella, editors, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, Prague, Czech Republic, July 9-13, 2018, LIPIcs, pages 96:1–96:14. Schloss Dagstuhl - Leibniz-...
2018
-
[43]
Clustering with fair-center representation: Parameterized approximation algorithms and heuristics
Suhas Thejaswi, Ameet Gadekar, Bruno Ordozgoiti, and Michal Osadnik. Clustering with fair-center representation: Parameterized approximation algorithms and heuristics. In Aidong Zhang and Huzefa Rangwala, editors,KDD ’22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14 - 18, 2022, pages 1749–1759. ACM,...
2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.