Algorithms for Contractibility of Compressed Curves on 3-Manifold Boundaries

Erin Wolf Chambers, Francis Lazarus, Arnaud de Mesmay +1

In this paper we prove that the problem of deciding contractibility of an arbitrary closed curve on the boundary of a 3-manifold is in NP. We emphasize that the manifold and the cu…