Abstract
We show that the problem of determining whether a knot in the 3-sphere is non-trivial lies in NP. This is a consequence of the following more general result. The problem of determining whether the Thurston norm of a second homology class in a compact orientable irreducible 3-manifold with (possibly empty) toroidal boundary is equal to a given integer is in NP. As a corollary, the problem of determining the genus of a knot in the 3-sphere is in NP.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have