首页/论文/math/0407047

arXiv math/04070472004-07-05math.GT

球体识别在于NP

Sphere recognition lies in NP

Saul Schleimer

备注：: 36 pages, 12 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们证明了三球识别问题的复杂性属于NP类。我们的工作依赖于汤普森的原始证明，该问题是可判定的[Math.Res.Let.，1994年]，卡森的版本，她的算法，以及最近的结果Agol，哈斯和瑟斯顿[ArXiv，2002年]。

英文摘要：

We prove that the three-sphere recognition problem lies in the complexity class NP. Our work relies on Thompson's original proof that the problem is decidable [Math. Res. Let., 1994], Casson's version of her algorithm, and recent results of Agol, Hass, and Thurston [ArXiv, 2002].

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

一种新的三维球体识别算法

A new algorithm for 3-sphere recognition

我们证明了一个新的算法的存在性3-球识别的基础上Groebner基方法适用于各种$\text{\em SL}(2,\C)$ -表示的基本群。一个重要的投入是最近的结果，第二作者，指出任何整数同源3球不同的3球承认一个不可约表示其基本群在$\text{\em SL}(2,\C)$。这个结果，因此我们的算法，建立在3-流形的几何定理。

2016-10-14math.GRmath.GT

实践中的球体识别前沿

Frontiers of sphere recognition in practice

已知球体识别在5维及更多维中是不可判定的，并且在3维和4维中没有已知的多项式时间方法。在这里，我们报告的积极和消极的计算结果的目标，探索从实用的角度来看，球体识别的限制。一个重要的成分是随机构造的离散Morse函数。

2021-11-25cs.CGmath.ATmath.GT

随机可扩展性与三球识别

Random collapsibility and 3-sphere recognition

一个$3$ -流形的三角剖分可以通过描述其上的一个离散Morse函数而与$3$ -球面同胚，该离散Morse函数只有两个临界面，即从三角剖分中去掉一个四面体到一个顶点的一系列初等坍缩。不幸的是，一般认为确定这样的序列是否存在是非常困难的。在这篇文章中，我们提出了一种方法，基于统一的生成树，估计它是多么困难，崩溃一个给定的$3$球三角剖分后，删除一个四面体。此外，我们证明了所有的$3$球三角形与8个顶点或更少，正是$22$承认一个非折叠序列到一个可收缩的非折叠$2$ -复杂。作为一个副产品，我们分类所有的最小三角的傻瓜帽，和所有的可收缩的不可折叠的$2$ -复杂的最多$18$三角形。这是由大规模的实验上的$9$和$10$ -顶点球体的崩溃困难的补充。最后，我们提出了一个易于计算的表征$3$球三角实验表现出低比例的崩溃序列，导致启发式产生$3$球三角与困难的组合属性。

2015-09-25cs.CGmath.GT

映射类群的Lagrange滤子与同调球面的有限型不变量

The Lagrangian filtration of the mapping class group and finite-type invariants of homology spheres

在最近的一篇文章中，我们定义了映射类群的一种新的滤子--“拉格朗日”滤子。我们在这里确定这个过滤，直到有限的指数的连续的连续项。作为一个应用，我们表明，对于任何添加剂不变量的有限型（如卡森不变量），和任何水平的拉格朗日过滤，有一个同调3-球，有一个Heegaard分解，其胶合的同态在于该水平，在该不变量是非零的。在最后一节中，我们研究约翰逊和拉格朗日过滤之间的关系。

2004-08-23math.GTmath.QA

纽结性与Thurston范数的有效证明

The efficient certification of knottedness and Thurston norm

我们表明，问题的确定是否在3-球面的结是非平凡的在于NP。这是以下更一般的结果的结果。确定紧致可定向三维流形中第二个同调类的Thurston范数是否等于给定整数的问题属于NP问题。作为一个推论，确定3-球面中纽结的亏格的问题属于NP问题。我们还证明了确定紧致可定向三维流形是否有不可压缩边界的问题是NP问题。

2021-04-12math.GT

关于尖点非双曲性的复杂性

On the complexity of cusped non-hyperbolicity

我们证明了证明尖点3-流形M不是双曲流形的问题是在NP中的，假设$S^3$ -REGNITION是在coNP中的。为此，我们证明了不可约的环形识别存在于NP中。一路上，我们无条件地恢复躺在NP中的卫星结识别。这是以前只知道假设广义黎曼假设。我们的主要贡献是证明了在多项式时间内，在紧凑的定向不可约$\partial$ -不可约三角剖分闭本质法曲面是本质的。我们的工作是可能的最近的工作Lackenby显示几个基本的判定问题在3-流形拓扑是NP或coNP。

2022-09-12math.GT

更多相关论文收起更多论文

一种具有多项式时间特性的非结识别快速分支算法

A fast branching algorithm for unknot recognition with experimental polynomial-time behaviour

解开识别--即测试R^3中给定的闭环是否可以解开形成一个平面圆--是否有多项式时间算法，这是一个尚未解决的主要问题。在实践中，平凡的结（可以解开）通常很容易使用快速简化技术来识别，而非平凡的结（不能解开）更难被最终识别。在这里，我们提出了第一个unknot识别算法，它总是结论性的，虽然在理论上的指数时间，表现出明确的多项式时间的行为下详尽的实验，即使是非平凡的结。该算法借鉴了拓扑学和整数/线性规划的技术，并突出了从数学规划到低维拓扑学中的困难问题的技术新应用的潜力。详尽的实验涵盖了所有2977个具有<= 12个交叉点的非平凡素结。我们还适应我们的技术的重要拓扑问题的3-球识别和素分解的3-流形。

2014-10-09cs.CGmath.GTmath.OC