Abstract:
We show that for knots in S^3, there is an
NP algorithm to find the knot genus. More specifically,
given a knot of genus g, there is a certificate that
the genus is g which may be verified in polynomial time.
The technique involves taut sutured manifold hierarchies.