Abstract
We study the computational complexity of basic decision problems of 3-dimensional topology, such as to determine whether a triangulated 3-manifold is irreducible, prime, ∂-irreducible, or homeomorphic to a given 3-manifold M. For example, we prove that the problem to recognize whether a triangulated 3-manifold is homeomorphic to a 3-sphere, or to a 2-sphere bundle over a circle, or to a real projective 3-space, or to a handlebody of genus g, is decidable in nondeterministic polynomial time (NP) of size of the triangulation. We also show that the problem to determine whether a triangulated orientable 3-manifold is irreducible (or prime) is in PSPACE and whether it is ∂-irreducible is in coNP. The proofs improve and extend arguments of prior author’s article on the recognition problem for the 3-sphere.
Similar content being viewed by others
References
Agol, I., Hass, J., Thurston, W.P.: The computational complexity of knot genus and spanning area. http://arXiv.org/abs/math.GT/0205057
Bing, R.H.: An alternative proof that 3-manifolds can be triangulated. Ann. Math. 69, 37–65 (1959)
Gabai, D.: Foliations and the topology of 3-manifolds, III. J. Diff. Geometry 26, 479–536 (1987)
Gordon, C.McA., Luecke, J.: Knots are determined by their complements. J. Am. Math. Soc. 2, 371–415 (1989)
Haken, W.: Theorie der Normalflachen. Acta Math. 105, 245–375 (1961)
Hass, J., Lagarias, J.C., Pippenger, N.: The computational complexity of knot and link problems. J. ACM 46, 185–211 (1999)
Hempel, J.: 3-Manifolds. Ann. Math. Studies, 86, Princeton Univ. Press (1976)
Hemion, G.: The Classification of Knots and 3-dimensional Spaces. Oxford Univ. Press (1992)
Ivanov, S.V.: Recognizing the 3-sphere. Illinois J. Math. 49, 1073–1117 (2001)
Jaco, W.H., Ortel, U.: An algorithm to decide if a 3-manifold is a Haken manifold. Topology 23, 195–209 (1984)
Jaco, W.H., Rubinstein, J.H.: PL equivariant surgery and invariant decompositions of 3-manifolds. Adv. Math. 73, 149–191 (1989)
Jaco, W.H., Rubinstein, J.H.: 0-Efficient triangulations of 3-manifolds. J. Diff. Geometry 65, 61–168 (2003)
Jaco, W.H., Tollefson, J.L.: Algorithms for the complete decomposition of a closed 3-manifold. Illinois J. Math. 39, 358–406 (1995)
Kneser, H.: Geschlossene Flachen in drieddimensionalen Mannigfaltigkeiten. Jber. D.M.V. 67, 248–260 (1929)
Matveev, S.V.: The algorithm for recognition of three-dimensional sphere (after A. Thompson). Matem. Sbornik 186, 69–84 (1995)
Moise, E.E.: Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung. Ann. Math. 56, 96–114 (1952)
Papadimitriou, C.H.: Computational Complexity. Addison-Wesley Publ. (1994)
Rubinstein, J.H.: An algorithm to recognize the 3-sphere. Proceedings of the International Congress of Mathematicians, vol. 1, 2, Zurich, 1994, pp. 601–611, Birkhauser, Basel (1995)
Rubinstein, J.H.: Polyhedral minimal surfaces, Heegaard splittings and decision problems for 3-dimensional manifolds. Geometric topology (Athens, GA, 1993), AMS/IP Stud. Adv. Math., 2.1, Amer. Math. Soc., Providence, RI, pp. 1–20 (1997)
Schleimer, S.: Sphere recognition lies in NP. http://arXiv.org/abs/math.GT/0407047
Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & Sons (1986)
Stocking, M.: Almost normal surfaces in 3-manifolds. Trans. Amer. Math. Soc. 352, 171–207 (2000)
Thompson, A.: Thin position and the recognition problem for S 3. Math. Res. Lett. 1, 613–630 (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ivanov, S.V. The computational complexity of basic decision problems in 3-dimensional topology. Geom Dedicata 131, 1–26 (2008). https://doi.org/10.1007/s10711-007-9210-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-007-9210-4