Pith. sign in

REVIEW 1 cited by

The efficient certification of knottedness and Thurston norm

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1604.00290 v3 pith:XFAP7FZ3 submitted 2016-04-01 math.GT

classification math.GT
keywords determiningproblemwhethercompactknotmanifoldnormorientable
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original 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 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Link Crossing Number is NP-hard

    cs.CG 2019-08 conditional novelty 8.0 of 10

    Determining the minimum crossing number of a link is NP-hard, via a reduction from the bipartite crossing number problem.

Pith tools