NP完全問題の結び目理論定式化はありますか？

NPの完全な（またはNPの困難な、またはNPの）問題があり、研究するのに適したトポロジ特性を持っています。NP問題には結び目理論がありますか？Jones多項式に関する結果について知っています。グラフの問題（埋め込み？）、特にグラフの色付けには、優れた結び目理論特性があることがわかります。これは自由回答形式の質問であり、このトピックへの参照は歓迎します。$P$

以下をご覧ください。

ピーター・ゴルブス、ロバート・W・マクグレイル、トマス・プルジチツキ、メアリー・シャラック、アレクサンダー・チャカロフ。2009. 三色トーラスノットはNP完全です。第47回東南アジア地域会議の議事録（ACM-SE 47）。ACM、ニューヨーク、ニューヨーク、米国、第42条、6ページ。

要約：この研究では、制約充足問題のクラスを3次元ノットに関連付ける方法を紹介します。結び目があれば、一般に無限の自由代数である結び目カンドルを作成できます。問題の望ましいコレクションは、ノットカンドル上の不変関係のセットから導出され、有限代数を制約充足問題に関連付ける理論を適用します。これにより、扱いやすく、NP完全なカンドルとノットの概念を開発できます。特に、すべての3色トーラスノットと、交差が10個以下の非自明なノットが最大2つでNP完全であることを示します。

そしてまた、その独創的なレポートへ：

P. Golbus、RW McGrail、M。Merling、K。Ober、M。Sharac、およびJ. Wood。ノット上の制約充足問題のクラス。テクニカルレポート番号BARD-CMSC-2008-01、Bard College、2008年。

の最初の段落にはいくつかの参照があります

• マーク・ラッケンビー。Reidemeister移動の多項式の上限。arXiv：1302.0180

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

• ジョエル・ハス、ジェフリー・C・ラガリアス、ニコラス・ピッペンジャー。結び目とリンクの問題の計算の複雑さ。J. ACM 46（1999）185-211。arXiv：math / 9807016

• グレッグ・クーパーバーグ。結び目はNP、モジュロGRHです。2011年12月、2014年1月改訂。arXiv：1112.0845

$g$

• イアン・アゴル、ジョエル・ハス、ウィリアム・サーストン。3-MANIFOLD KNOT GENUSはNP完全です。STOC2002。ACM リンク

他の例にも興味があります。