Back to Search
Start Over
Embeddability in R³ is NP-hard.
- Source :
- Journal of the ACM; Aug2020, Vol. 67 Issue 4, p1-29, 29p
- Publication Year :
- 2020
-
Abstract
- We prove that the problem of deciding whether a two- or three-dimensional simplicial complex embeds into R³ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an S³ filling is NP-hard. The former stands in contrast with the lower-dimensional cases, which can be solved in linear time, and the latter with a variety of computational problems in 3-manifold topology, for example, unknot or 3-sphere recognition, which are in NP ∩ co-NP. (Membership of the latter problem in co-NP assumes the Generalized Riemann Hypotheses.) Our reduction encodes a satisfiability instance into the embeddability problem of a 3-manifold with boundary tori, and relies extensively on techniques from low-dimensional topology, most importantly Dehn fillings of manifolds with boundary tori. [ABSTRACT FROM AUTHOR]
- Subjects :
- RIEMANN hypothesis
TOPOLOGY
MANIFOLDS (Mathematics)
TORUS
Subjects
Details
- Language :
- English
- ISSN :
- 00045411
- Volume :
- 67
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- Journal of the ACM
- Publication Type :
- Academic Journal
- Accession number :
- 145378618
- Full Text :
- https://doi.org/10.1145/3396593