Approximate Minimum Tree Cover in All Symmetric Monotone Norms Simultaneously

Authors Matthias Kaul , Kelin Luo , Matthias Mnich , Heiko Röglin



PDF
Thumbnail PDF

File

LIPIcs.STACS.2025.57.pdf
  • Filesize: 1.24 MB
  • 18 pages

Document Identifiers

Author Details

Matthias Kaul
  • Hamburg University of Technology, Institute for Algorithms and Complexity, Hamburg, Germany
  • University of Bonn, Germany
Kelin Luo
  • University of Bonn, Germany
  • University at Buffalo, NY, USA
Matthias Mnich
  • Hamburg University of Technology, Institute for Algorithms and Complexity, Hamburg, Germany
Heiko Röglin
  • Universität Bonn, Germany

Cite As Get BibTex

Matthias Kaul, Kelin Luo, Matthias Mnich, and Heiko Röglin. Approximate Minimum Tree Cover in All Symmetric Monotone Norms Simultaneously. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 57:1-57:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.STACS.2025.57

Abstract

We study the problem of partitioning a set of n objects in a metric space into k clusters V₁,...,V_k. The quality of the clustering is measured by considering the vector of cluster costs and then minimizing some monotone symmetric norm of that vector (in particular, this includes the 𝓁_p-norms). For the costs of the clusters we take the weight of a minimum-weight spanning tree on the objects in V_i, which may serve as a proxy for the cost of traversing all objects in the cluster, for example in the context of Multirobot Coverage as studied by Zheng, Koenig, Kempe, Jain (IROS 2005), but also as a shape-invariant measure of cluster density similar to Single-Linkage Clustering.
This problem has been studied by Even, Garg, Könemann, Ravi, Sinha (Oper. Res. Lett., 2004) for the setting of minimizing the weight of the largest cluster (i.e., using 𝓁_∞) as Min-Max Tree Cover, for which they gave a constant-factor approximation algorithm. We provide a careful adaptation of their algorithm to compute solutions which are approximately optimal with respect to all monotone symmetric norms simultaneously, and show how to find them in polynomial time. In fact, our algorithm is purely combinatorial and can process metric spaces with 10,000 points in less than a second.
As an extension, we also consider the case where instead of a target number of clusters we are provided with a set of depots in the space such that every cluster should contain at least one such depot. One can consider these as the fixed starting points of some agents that will traverse all points of a cluster. For this setting also we are able to give a polynomial-time algorithm computing a constant-factor approximation with respect to all monotone symmetric norms simultaneously.
To show that the algorithmic results are tight up to the precise constant of approximation attainable, we also prove that such clustering problems are already APX-hard when considering only one single 𝓁_p norm for the objective.

Subject Classification

ACM Subject Classification
  • Theory of computation → Approximation algorithms analysis
Keywords
  • Clustering
  • spanning trees
  • all-norm approximation

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Sara Ahmadian, Babak Behsaz, Zachary Friggstad, Amin Jorati, Mohammad R Salavatipour, and Chaitanya Swamy. Approximation algorithms for minimum-load k-facility location. ACM Trans. Algorithms, 14(2):1-29, 2018. URL: https://doi.org/10.1145/3173047.
  2. Sara Ahmadian, Ashkan Norouzi-Fard, Ola Svensson, and Justin Ward. Better guarantees for k-means and Euclidean k-median by primal-dual algorithms. SIAM J. Comput., 49(4):FOCS17-97, 2019. URL: https://doi.org/10.1137/18M1171321.
  3. Noga Alon, Yossi Azar, Gerhard J. Woeginger, and Tal Yadid. Approximation schemes for scheduling on parallel machines. J. Sched., 1(1):55-66, 1998. URL: https://doi.org/10.1002/(SICI)1099-1425(199806)1:1<55::AID-JOS2>3.0.CO;2-J.
  4. Cristina Bazgan, Refael Hassin, and Jérôme Monnot. Approximation algorithms for some vehicle routing problems. Discrete Appl. Math., 146(1):27-42, 2005. URL: https://doi.org/10.1016/J.DAM.2004.07.003.
  5. Tolga Bektas. The multiple traveling salesman problem: an overview of formulations and solution procedures. Omega, 34(3):209-219, 2006. URL: https://doi.org/10.1016/j.omega.2004.10.004.
  6. Mandell Bellmore and Saman Hong. Transformation of multisalesman problem to the standard traveling salesman problem. J. ACM, 21(3):500-504, 1974. URL: https://doi.org/10.1145/321832.321847.
  7. Jarosław Byrka, Thomas Pensyl, Bartosz Rybicki, Aravind Srinivasan, and Khoa Trinh. An improved approximation for k-median and positive correlation in budgeted optimization. ACM Trans. Algorithms, 13(2):1-31, 2017. URL: https://doi.org/10.1145/2981561.
  8. Nicos Christofides. Worst-case analysis of a new heuristic for the travelling salesman problem. Technical report, Carnegie-Mellon Univ Pittsburgh Pa Management Sciences Research Group, 1976. Google Scholar
  9. Sami Davies, Benjamin Moseley, and Heather Newman. Fast combinatorial algorithms for min max correlation clustering. In Proc. ICML 2023, pages 7205-7230, 2023. Google Scholar
  10. Guy Even, Naveen Garg, Jochen Könemann, Ramamoorthi Ravi, and Amitabh Sinha. Min-max tree covers of graphs. Oper. Res. Lett., 32(4):309-315, 2004. URL: https://doi.org/10.1016/J.ORL.2003.11.010.
  11. Greg N. Frederickson, Matthew S. Hecht, and Chul E. Kim. Approximation algorithms for some routing problems. In Proc. SFCS 1976, pages 216-227, 1976. URL: https://doi.org/10.1109/SFCS.1976.6.
  12. Ashish Goel and Adam Meyerson. Simultaneous optimization via approximate majorization for concave profits or convex costs. Algorithmica, 44:301-323, 2006. URL: https://doi.org/10.1007/S00453-005-1177-7.
  13. Daniel Golovin, Anupam Gupta, Amit Kumar, and Kanat Tangwongsan. All-norms and all-𝓁_p-norms approximation algorithms. In Proc. FSTTCS 2008, volume 2 of Leibniz Int. Proc. Informatics, pages 199-210, 2008. URL: https://doi.org/10.4230/LIPICS.FSTTCS.2008.1753.
  14. Sudipto Guha and Samir Khuller. Greedy strikes back: Improved facility location algorithms. J. Algorithms, 31(1):228-248, 1999. URL: https://doi.org/10.1006/JAGM.1998.0993.
  15. Johan Håstad. Some optimal inapproximability results. J. ACM, 48(4):798-859, 2001. URL: https://doi.org/10.1145/502090.502098.
  16. Sharat Ibrahimpur and Chaitanya Swamy. Approximation algorithms for stochastic minimum-norm combinatorial optimization. In Proc. FOCS 2020, pages 966-977, 2020. URL: https://doi.org/10.1109/FOCS46700.2020.00094.
  17. Marek Karpinski, Michael Lampis, and Richard Schmied. New inapproximability bounds for TSP. J. Comput. Syst. Sci., 81(8):1665-1677, 2015. URL: https://doi.org/10.1016/J.JCSS.2015.06.003.
  18. Matthias Kaul, Kelin Luo, Matthias Mnich, and Heiko Röglin. Approximate minimum tree cover in all symmetric monotone norms simultaneously, 2025. URL: https://doi.org/10.48550/arXiv.2501.05048.
  19. M Reza Khani and Mohammad R Salavatipour. Improved approximation algorithms for the min-max tree cover and bounded tree cover problems. Algorithmica, 69(2):443-460, 2014. URL: https://doi.org/10.1007/S00453-012-9740-5.
  20. L. Kou, G. Markowsky, and L. Berman. A fast algorithm for Steiner trees. Acta Informatica, 15(2):141-145, 1981. URL: https://doi.org/10.1007/BF00288961.
  21. Shi Li. A 1.488 approximation algorithm for the uncapacitated facility location problem. Inf. Comput., 222:45-58, 2013. URL: https://doi.org/10.1016/J.IC.2012.01.007.
  22. Hiroshi Nagamochi. Approximating the minmax rooted-subtree cover problem. IEICE Trans. Fund. Electr., Comm. Comp. Sci., 88(5):1335-1338, 2005. URL: https://doi.org/10.1093/IETFEC/E88-A.5.1335.
  23. Zhou Xu and Qi Wen. Approximation hardness of min-max tree covers. Oper. Res. Lett., 38(3):169-173, 2010. URL: https://doi.org/10.1016/J.ORL.2010.02.004.
  24. Xiaoming Zheng and Sven Koenig. Robot coverage of terrain with non-uniform traversability. In Proc. IEEE/RSJ Intl. Conf. Intell. Robots Syst.2007, pages 3757-3764, 2007. URL: https://doi.org/10.1109/IROS.2007.4399423.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail