ProV Logo
0

The efficient certification of knottedne...
Lackenby, Marc...
The efficient certification of knottedness and Thurston norm by Lackenby, Marc ( Author )
Australian National University
08-08-2023
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 3-manifold 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. We also show that the problem of determining whether a compact orientable 3-manifold has incompressible boundary is in NP.
-
Article
pdf
29.34 KB
English
-
MYR 0.01
-
http://arxiv.org/abs/1604.00290
Share this eBook