The Euclidean $k$-Matching Problem is NP-hard
Jos\'e-Miguel D\'iaz-B\'a\~nez, Ruy Fabila-Monroy, Jos\'e-Manuel Higes-L\'opez, Nestaly Mar\'in, Miguel-Angel P\'erez-Cuti\~no, Pablo P\'erez-Lantero

TL;DR
This paper proves that the Euclidean $k$-matching problem, which involves partitioning points into $k$-sets to minimize the sum of minimum spanning tree weights, is NP-hard for all fixed $k \\ge 3$, justifying heuristic use.
Contribution
It establishes the NP-hardness of the Euclidean $k$-matching problem for all fixed $k \\ge 3$, resolving an open problem and supporting heuristic approaches.
Findings
Proves NP-hardness for all fixed $k \\ge 3$ in Euclidean space.
Shows NP-hardness persists when trees are paths.
Provides theoretical justification for heuristic methods.
Abstract
Let be a complete edge-weighted graph on vertices. To each subset of vertices of assign the cost of the minimum spanning tree of the subset as its weight. Suppose that is a multiple of some fixed positive integer . The -matching problem is the problem of finding a partition of the vertices of into -sets, that minimizes the sum of the weights of the -sets. The case has been shown to be NP-hard [Johnsson et al.,1998]. In the Euclidean version, the vertices of are points in the plane and the weight of an edge is the Euclidean distance between its endpoints. We call this problem the Euclidean -matching problem. We show that, for every fixed , the Euclidean -matching is NP-hard. This resolves an open problem in the literature and provides the first theoretical justification for the use of known heuristic methods in the case . We…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComplexity and Algorithms in Graphs · Facility Location and Emergency Management · Computational Geometry and Mesh Generation
