| This idea is used in Kuperberg's result that the unknotting problem is in co-NP. | Эта идея используется в доказательстве Куперберга, что задача развязывания входит в класс co-NP. |
| Haken originally used this algorithm to show that unknotting is decidable, but did not analyze its complexity in more detail. | Хакен изначально использовал этот алгоритм, чтобы показать, что задача развязывания разрешима, но он не анализировал вычислительную сложность алгоритма детально. |
| The unknotting problem has the same computational complexity as testing whether an embedding of an undirected graph in Euclidean space is linkless. | Задача развязывания имеет ту же вычислительную сложность, что и проверка, является ли вложение неориентированного графа в евклидово пространство незацепленным. |