In this talk, we study several computational problems related to knots and links. We investigate lower bounds on the computational complexity of theoretical knot theory problems.
Unknotting number is one of the most interesting knot invariants, and various research has been done to find unknotting numbers of knots. However, compared to its simple definition, it is generally hard to find the unknotting number of a knot, and it is known for only some knots. There is no algorithm for determining unknotting numbers yet.
First, we show that for an arbitrary positive integer n, a non-torus knot exists with the unknotting number n.
Second, we show that the computational complexity of the diagrammatic un-knotting number problem is NP-hard. We construct a Karp reduction from 3-SAT to the diagrammatic unknotting number problem.
Third, we also prove that the prime sublink problem is NP-hard by making a Karp reduction from the known NP-complete problem, the non-tautology problem.
|