On the Parameterized Complexity of Min-Sum-Radii
Pith reviewed 2026-05-22 03:00 UTC · model grok-4.3
The pith
Min-Sum-Radii clustering is W[1]-hard parameterized by number of clusters plus total cost on weighted bipartite graph metrics, yet fixed-parameter tractable when treewidth is added to the cost parameter.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On metrics induced by undirected weighted graphs, the Min-Sum-Radii problem is W[1]-hard parameterized by k plus Delta even when restricted to bipartite graphs; it remains W[1]-hard parameterized by vertex cover number plus k and when restricted to cliques or complete bipartite graphs; yet the problem is FPT when parameterized by treewidth plus Delta, via an existing XP algorithm for treewidth.
What carries the argument
The shortest-path metric of an undirected weighted graph, used both to construct hardness reductions that preserve small k and Delta and to enable dynamic programming over tree decompositions when treewidth is bounded.
If this is right
- No FPT algorithm for MSR exists under standard assumptions when k and the sum of radii are both small, even on bipartite networks.
- The same hardness holds on dense graphs such as cliques when using the combined k and Delta parameter.
- Exact solutions become feasible in FPT time once the input graph has bounded treewidth together with bounded total radius cost.
- Prior XP algorithms parameterized solely by treewidth cannot be improved to FPT without incorporating the cost parameter.
Where Pith is reading between the lines
- Network clustering tasks may become practically solvable by first computing a tree decomposition and then applying the FPT routine when total radius cost is modest.
- Similar hardness boundaries could be explored for other radius-based or sum-based clustering objectives on the same graph metrics.
- Approximation schemes might still exist for the hard parameter regimes even if exact FPT algorithms do not.
Load-bearing premise
All distances supplied to the algorithm must be exactly the shortest-path distances of some undirected graph rather than arbitrary numbers satisfying the triangle inequality.
What would settle it
An algorithm that solves MSR in f(k, Delta) * n^c time on weighted bipartite graphs for some computable f and constant c would falsify the W[1]-hardness claim; conversely, an instance family on low-treewidth graphs where the combined parameter treewidth plus Delta yields no fpt runtime would falsify the tractability claim.
read the original abstract
In the Min-Sum-Radii (MSR) clustering problem, we are given a finite set X of n points in a metric space. The objective is to find at most k clusters centered at a subset of these points such that every point of X is assigned to one of the clusters, minimizing the sum of the radii of the clusters. The problem is known to be NP-hard even on metrics induced by weighted planar graphs and metrics with constant doubling dimension, as shown by Gibson et al. (SWAT 2008). In this work, we investigate the parameterized complexity of MSR on metrics induced by undirected graphs. We distinguish between weighted graph metrics (with positive edge weights) and unweighted graph metrics (where all edges have unit weight). Weighted Graph Metrics: We show that MSR is W[1]-hard on metrics induced by weighted bipartite graphs, when parameterized by the combined parameter k (the number of clusters) and Delta (the cost of the clustering). We then investigate the structural parameterized complexity of the problem. Drexler et al. (arXiv:2310.02130) showed that the MSR problem admits an XP algorithm on metrics induced by weighted graphs when parameterized by treewidth, and asked whether this can be improved to fixed-parameter tractability. We first answer their question in the negative, and more strongly show that MSR stays W[1]-hard on metrics induced by undirected weighted bipartite graphs when parameterized by the vertex cover number plus k. We then turn our attention to parameters for dense graphs and show that MSR remains W[1]-hard when parameterized by k+Delta even on cliques and complete bipartite graphs. On the positive side, we employ the known XP algorithm parameterized by treewidth, to show that the MSR problem is FPT when parameterized by the parameter treewidth plus Delta.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the parameterized complexity of Min-Sum-Radii (MSR) clustering on shortest-path metrics of undirected graphs. It establishes W[1]-hardness for the combined parameter k + Delta on weighted bipartite graphs, W[1]-hardness for vertex cover number + k on weighted graphs, and W[1]-hardness for k + Delta even on cliques and complete bipartite graphs. On the positive side, it claims an FPT algorithm for the combined parameter treewidth + Delta by invoking a known XP algorithm parameterized solely by treewidth.
Significance. The hardness results strengthen existing NP-hardness statements by providing parameterized lower bounds under natural structural parameters. If the FPT claim for treewidth + Delta holds, it would resolve the open question from Drexler et al. in the affirmative for this combined parameter. The manuscript correctly distinguishes weighted and unweighted cases and uses standard tools (reductions and treewidth DP).
major comments (1)
- Abstract and positive-results section: the claim that the known XP algorithm parameterized by treewidth yields FPT for the combined parameter treewidth + Delta is not justified. An XP runtime of the form n^{f(tw)} becomes n^{f(p)} for p = tw + Delta (since tw ≤ p), which is XP but not FPT. Establishing FPT requires an additional, explicit argument—such as a kernel whose size is bounded by a function of tw and Delta, or a DP on the tree decomposition whose state space is bounded by f(tw, Delta) by exploiting that the objective value equals Delta. This is load-bearing for the main positive result.
Simulated Author's Rebuttal
We are grateful to the referee for their thorough review and constructive criticism. We address the major comment below.
read point-by-point responses
-
Referee: Abstract and positive-results section: the claim that the known XP algorithm parameterized by treewidth yields FPT for the combined parameter treewidth + Delta is not justified. An XP runtime of the form n^{f(tw)} becomes n^{f(p)} for p = tw + Delta (since tw ≤ p), which is XP but not FPT. Establishing FPT requires an additional, explicit argument—such as a kernel whose size is bounded by a function of tw and Delta, or a DP on the tree decomposition whose state space is bounded by f(tw, Delta) by exploiting that the objective value equals Delta. This is load-bearing for the main positive result.
Authors: We thank the referee for highlighting this important point. We acknowledge that the current manuscript does not provide the necessary additional argument to establish fixed-parameter tractability for the combined parameter treewidth + Delta using the known XP algorithm for treewidth. The runtime remains in XP rather than FPT without further work. We will revise the manuscript to address this. In the revised version, we will either include a detailed explanation of how the dynamic programming can be adapted to run in time f(tw, Delta) * poly(n) by bounding the possible radius assignments using the objective value Delta, or we will retract the FPT claim and discuss the open status of this question. This revision will be made to both the abstract and the relevant sections of the paper. revision: yes
Circularity Check
No circularity in derivation chain
full rationale
The paper's hardness results are obtained via explicit reductions from known W[1]-hard problems on graph metrics, and the positive FPT result for treewidth plus Delta invokes an external XP algorithm from Drexler et al. (arXiv:2310.02130) without any self-citation that encodes the target statement or any fitted parameter renamed as a prediction. All steps remain independent of the paper's own outputs by construction, satisfying the criteria for a self-contained derivation against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption FPT ≠ W[1]
- domain assumption Distances are shortest-path distances in an undirected graph
Reference graph
Works this paper leans on
-
[1]
1007/s00453-001-0110-y,doi:10.1007/S00453-001-0110-Y
URL: https://doi.org/10. 1007/s00453-001-0110-y,doi:10.1007/S00453-001-0110-Y. 2 Vijay Arya, Naveen Garg, Rohit Khandekar, Adam Meyerson, Kamesh Munagala, and Vinayaka Pandit. Local search heuristics for k-median and facility location problems.SIAM J. Comput., 33(3):544–562, 2004.doi:10.1137/S0097539702416402. 3 Sayan Bandyapadhyay, William Lochet, and Sa...
-
[2]
4 Sandip Banerjee, Yair Bartal, Lee-Ad Gottlieb, and Alon Hovav
URL:https://doi.org/10.4230/ LIPIcs.SoCG.2023.12,doi:10.4230/LIPICS.SOCG.2023.12. 4 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,AAAI-25, Sponsored by the Association for the Ad- vancem...
-
[3]
URL:https://doi.org/10.1609/aaai.v39i15.33699, doi:10.1609/AAAI.V39I15.33699. 5 Babak Behsaz and Mohammad R. Salavatipour. On minimum sum of radii and diameters clustering. In Fedor V. Fomin and Petteri Kaski, editors,Algorithm Theory - SWAT 2012 - 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6,
-
[4]
doi: 10.1007/978-3-642-31155-0\_7. 6 Babak Behsaz and Mohammad R. Salavatipour. On minimum sum of radii and dia- meters clustering.Algorithmica, 73(1):143–165,
-
[5]
7 Vittorio Bilò, Ioannis Caragiannis, Christos Kaklamanis, and Panagiotis Kanellopoulos
URL: https://doi.org/10.1007/ s00453-014-9907-3,doi:10.1007/S00453-014-9907-3. 7 Vittorio Bilò, Ioannis Caragiannis, Christos Kaklamanis, and Panagiotis Kanellopoulos. Geo- metric clustering to minimize the sum of cluster sizes. In Gerth Stølting Brodal and Stefano Leonardi, editors,Algorithms - ESA 2005, 13th Annual European Symposium, Palma de Mallorca,...
-
[6]
11 Moses Charikar and Rina Panigrahy
URL: https://doi.org/10.4230/LIPIcs.ISAAC.2024.16,doi:10.4230/LIPICS.ISAAC.2024.16. 11 Moses Charikar and Rina Panigrahy. Clustering to minimize the sum of cluster diameters. In Jeffrey Scott Vitter, Paul G. Spirakis, and Mihalis Yannakakis, editors,Proceedings on 33rd 22 On the Parameterized Complexity of Min-Sum-Radii Annual ACM Symposium on Theory of C...
-
[7]
URL: https://doi.org/10.1609/aaai.v38i18.30053,doi:10.1609/AAAI.V38I18.30053. 13 Marek Cygan, Fedor V. Fomin, Lukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michal Pilipczuk, and Saket Saurabh.Parameterized Algorithms. Springer,
-
[8]
6 Josep Díaz, Olli Pottonen, Maria J
doi:10.1007/978-3-319-21275-3. 14 Reinhard Diestel.Graph Theory, 4th Edition, volume 173 ofGraduate texts in mathematics. Springer,
-
[9]
15 Rodney G. Downey and Michael R. Fellows. Fixed-parameter intractability. InProceedings of the Seventh Annual Structure in Complexity Theory Conference, Boston, Massachusetts, USA, June 22-25, 1992, pages 36–49. IEEE Computer Society, 1992.doi:10.1109/SCT.1992.215379. 16 Lukas Drexler, Jan Höckendorff, Joshua Könen, and Kevin Schewior. Clustering graphs...
-
[10]
URL: https://doi.org/10.48550/arXiv.2310.02130, arXiv:2310.02130, doi:10. 48550/ARXIV.2310.02130. 17 Michael R. Fellows, Danny Hermelin, Frances A. Rosamond, and Stéphane Vialette. On the parameterized complexity of multiple-interval graph problems.Theor. Comput. Sci., 410(1):53–61,
-
[11]
URL:https://doi.org/10.1016/j.tcs.2008.09.065, doi:10.1016/J. TCS.2008.09.065. 18 Arnold Filtser and Ameet Gadekar. FPT approximations for capacitated sum of radii and diameters.CoRR, abs/2409.04984,
-
[12]
04984,arXiv:2409.04984,doi:10.48550/ARXIV.2409.04984
URL: https://doi.org/10.48550/arXiv.2409. 04984,arXiv:2409.04984,doi:10.48550/ARXIV.2409.04984. 19 Fedor V. Fomin, Petr A. Golovach, Tanmay Inamdar, Nidhi Purohit, and Saket Saurabh. Exact exponential algorithms for clustering problems. In Holger Dell and Jesper Nederlof, editors,17th International Symposium on Parameterized and Exact Computation, IPEC 20...
-
[13]
URL:https://doi.org/10.4230/LIPIcs.IPEC.2022.13, doi: 10.4230/LIPICS.IPEC.2022.13. 20 Fedor V. Fomin and Dieter Kratsch.Exact Exponential Algorithms. Texts in Theoretical Computer Science. An EATCS Series. Springer, 2010.doi:10.1007/978-3-642-16533-7. 21 Zachary Friggstad and Mahya Jamshidian. Improved polynomial-time approximations for clustering with mi...
-
[14]
org/10.4230/LIPIcs.ESA.2022.56,doi:10.4230/LIPICS.ESA.2022.56
URL:https://doi. org/10.4230/LIPIcs.ESA.2022.56,doi:10.4230/LIPICS.ESA.2022.56. 22 Matt Gibson, Gaurav Kanade, Erik Krohn, Imran A. Pirwani, and Kasturi R. Varadarajan. On metric clustering to minimize the sum of radii. In Joachim Gudmundsson, editor,Algorithm Theory - SWAT 2008, 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4...
-
[15]
doi: 10.1137/100798144. 24 Teofilo F. Gonzalez. Clustering to minimize the maximum intercluster distance.Theor. Comput. Sci., 38:293–306, 1985.doi:10.1016/0304-3975(85)90224-5. P. Kumar, H. Müller, S. Ordyniak, and M. Schmidt 23 25 Wen-Lian Hsu and George L. Nemhauser. Easy and hard bottleneck location problems.Discret. Appl. Math., 1(3):209–215, 1979.doi...
-
[16]
URL:https://doi.org/10.1006/jcss.2000.1727, doi:10.1006/ JCSS.2000.1727. 27 Tanmay Inamdar and Kasturi R. Varadarajan. Capacitated sum-of-radii clustering: An FPT approximation. In Fabrizio Grandoni, Grzegorz Herman, and Peter Sanders, editors,28th Annual European Symposium on Algorithms, ESA 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference), vo...
-
[17]
28 Ragesh Jaiswal, Amit Kumar, and Jatin Yadav
URL:https://doi.org/10.4230/LIPIcs.ESA.2020.62, doi: 10.4230/LIPICS.ESA.2020.62. 28 Ragesh Jaiswal, Amit Kumar, and Jatin Yadav. FPT approximation for capacitated sum of radii. In Venkatesan Guruswami, editor,15th Innovations in Theoretical Computer Science Conference, ITCS 2024, January 30 to February 2, 2024, Berkeley, CA, USA, volume 287 ofLIPIcs, page...
-
[18]
29 Nissan Lev-Tov and David Peleg
URL: https://doi.org/10.4230/LIPIcs.ITCS.2024.65,doi:10.4230/LIPICS.ITCS.2024.65. 29 Nissan Lev-Tov and David Peleg. Polynomial time approximation schemes for base station coverage with minimum total radii.Comput. Networks, 47(4):489–501,
-
[19]
URL:https: //doi.org/10.1016/j.comnet.2004.08.012,doi:10.1016/J.COMNET.2004.08.012. 30 Dániel Marx. On the optimality of planar and geometric approximation schemes. In48th Annual IEEE Symposium on Foundations of Computer Science (FOCS’07), pages 338–348. IEEE,
-
[20]
32 Krzysztof Pietrzak. On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems.J. Comput. Syst. Sci., 67(4):757– 771, 2003.doi:10.1016/S0022-0000(03)00078-3. 33Guido Proietti and Peter Widmayer. Partitioning the nodes of a graph to minimize the sum of subgraph radii. In Tetsuo Asano, edit...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.