English

Freeze-Tag is NP-hard in 2D with $L_1$ distance

Computational Geometry 2026-01-21 v2 Computational Complexity

Abstract

The Freeze-Tag Problem (FTP) is a scheduling problem with application in robot swarm activation and was introduced by Arkin et al. in 2002. This problem seeks an efficient way of activating a robot swarm, starting with a single active robot. Activations occur through direct contact, and once a robot becomes active, it can move and help activate other robots. Although the problem has been shown to be NP-hard in the Euclidean plane R2\mathbb{R}^2 under the L2L_2 distance, and in three-dimensional Euclidean space R3\mathbb{R}^3 under any LpL_p distance with p1p \ge 1, its complexity under the L1L_1 (Manhattan) distance in R2\mathbb{R}^2 has remained an open question. In this paper, we settle this question by proving that FTP is strongly NP-hard in the Euclidean plane with L1L_1 distance.

Keywords

Cite

@article{arxiv.2509.14357,
  title  = {Freeze-Tag is NP-hard in 2D with $L_1$ distance},
  author = {Lucas de Oliveira Silva and Lehilton Lelis Chaves Pedrosa},
  journal= {arXiv preprint arXiv:2509.14357},
  year   = {2026}
}