On the hardness of finding normal surfaces

Benjamin A. Burton, Alexander He

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major…