Browsing by Author "0020d0f5-4d74-4bd3-a77c-54dc17ca8929"
Now showing items 1-1 of 1
-
On the complexity of cusped non-hyperbolicity
Haraway, Robert, III; Hoffman, Neil R. (2019-07-02)We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming S3-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we ...