NP-hardness of computing PL geometric category in dimension 2
Abstract
The PL geometric category of a polyhedron , denoted , provides a natural upper bound for the Lusternik--Schnirelmann category and it is defined as the minimum number of PL collapsible subpolyhedra of that cover . In dimension 2 the PL geometric category is at most~3. It is easy to characterize/recognize -polyhedra with . Borghini provided a partial characterization of -polyhedra with . We complement his result by showing that it is NP-hard to decide whether . Therefore, we should not expect much more than a partial characterization, at least in algorithmic sense. Our reduction is based on the observation that 2-dimensional polyhedra admitting a shellable subdivision satisfy and a (nontrivial) modification of the reduction of Goaoc, Pat\'{a}k, Pat\'{a}kov\'{a}, Tancer and Wagner showing that shellability of -complexes is NP-hard.
Keywords
Cite
@article{arxiv.2204.13981,
title = {NP-hardness of computing PL geometric category in dimension 2},
author = {Michael Skotnica and Martin Tancer},
journal= {arXiv preprint arXiv:2204.13981},
year = {2023}
}
Comments
Version 2: 15 pages, 5 figures; typos corrected, a new figure explaining notions added