Embeddability In R-3 Is Np-Hard

JOURNAL OF THE ACM(2020)

引用 2|浏览0
暂无评分
摘要
We prove that the problem of deciding whether a two- or three-dimensional simplicial complex embeds into R-3 is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an S-3 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 boolean AND 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.
更多
查看译文
关键词
Embedding,simplicial complex,Dehn surgery,NP-hardness,computational topology,3-manifold
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要