Back to Search Start Over

Embeddability in R³ is NP-hard.

Authors :
DE MESMAY, ARNAUD
RIECK, YO'AV
SEDGWICK, ERIC
TANCER, MARTIN
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]

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