是否有关于NP完全问题的打结理论公式？

是否存在具有良好拓扑特性的NP完全（甚至是NP困难或NP）问题需要研究。NP问题是否有打结的理论表述？我们知道＃约琼斯多项式的结果。图的问题（嵌入？），特别是图的颜色，可以看到具有良好的结理论特性。这是一个开放式的问题，对此主题的任何参考文献均应赞赏。$P$

您可以看一下：

彼得·高尔布斯（Peter Golbus），罗伯特·麦格劳（Robert W. 2009年。三色环结是NP完整的。在第47届东南地区年度会议论文集（ACM-SE 47）中。ACM，美国纽约，纽约，第42条，共6页。

摘要：这项工作提出了一种将一类约束满足问题与三维结相关联的方法。给定一个结，就可以建立一个结量子，通常是一个无限的自由代数。期望的问题集合是从结量子角上的不变关系集导出的，应用了将有限代数与约束满足问题相关联的理论。这使我们能够发展出易于处理和NP完全纠缠和打结的概念。尤其是，我们表明，所有三色圆环结以及除最多2个非平凡结以外且所有交叉不超过10个或更少的结都是NP完整的。

以及其开创性的报告：

P. Golbus，RW McGrail，M。Merling，K。Ober，M。Sharac和J. Wood。一类结上的约束满足问题。技术报告编号BARD-CMSC-2008-01，巴德学院，2008年。

在第一段中有一些参考

• 马克·拉肯比。Reidemeister的多项式上限移动。arXiv：1302.0180

$\mathbf{NP} \cap \mathbf{coNP}$

• 乔尔·哈斯（Joel Hass），杰弗里·拉格里亚斯（Jeffrey C.Lagarias），尼古拉斯·皮蓬（Nicholas Pippenger）。结和链接问题的计算复杂性。J.ACM 46（1999）185-211。arXiv：math / 9807016

• 格雷格·库珀伯格。打结度以NP为模，以GRH为模。2011年12月，2014年1月修订。arXiv：1112.0845

$g$

• 伊恩·阿戈尔（Ian Agol），乔尔·哈斯（Joel Hass），威廉·瑟斯顿（William Thurston）。3-MANIFOLD KNOT GENUS是NP完整的。STOC2002。ACM 链接

我也对其他示例感兴趣。