Scholarlink

<p>We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The algorithm derives from the original Jaco–Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. Our methods are relevant for other difficult computational problems in 3-manifold theory, such as the recognition problem for knots, links and 3-manifolds.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Computing closed essential surfaces in 3-manifolds

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年6月27日

查看全文
  • Benjamin A. Burton,
  • Stephan Tillmann

摘要

We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The algorithm derives from the original Jaco–Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. Our methods are relevant for other difficult computational problems in 3-manifold theory, such as the recognition problem for knots, links and 3-manifolds.