解结的难以承受之难
几何拓扑
2018-10-09 v1
摘要
我们证明，判定一个平凡结的图是否可以使用至多 个Riedemeister移动（其中 为输入的一部分）解开是NP难的。我们还证明，关于 -球中链环的几个自然问题也是NP难的，包括检测一个链环是否含有具有 个分支的平凡子链环、计算链环的解链数，以及计算与四维拓扑相关的多种链环不变量（如 -球欧拉示性数、切片数以及 -维钳数）。
引用
@article{arxiv.1810.03502,
title = {The unbearable hardness of unknotting},
author = {Arnaud de Mesmay and Yo'av Rieck and Eric Sedgwick and Martin Tancer},
journal= {arXiv preprint arXiv:1810.03502},
year = {2018}
}
备注
36 pages, 21 figures