On the Hardness of Computing an Average Curve

We study the complexity of clustering curves under k-median and k-center objectives in the metric space of the Fréchet distance and related distance measures. Building upon recent hardness results for the minimum-enclosing-ball problem under the Fréchet distance, we show that also the 1-median problem is NP-hard. Furthermore, we show that the 1-median problem is W[1]-hard with the number of curves as parameter. We show this under the discrete and continuous Fréchet and Dynamic Time Warping (DTW) distance. This yields an independent proof of an earlier result by Bulteau et al. from 2018 for a variant of DTW that uses squared distances, where the new proof is both simpler and more general. On the positive side, we give approximation algorithms for problem variants where the center curve may have complexity at most ℓ under the discrete Fréchet distance. In particular, for fixed k, ℓ and ε, we give (1+ε)-approximation algorithms for the (k,ℓ)-median and (k,ℓ)-center objectives and a polynomial-time exact algorithm for the (k,ℓ)-center objective.