Some conditionally hard problems on links and 3-manifolds

Many decision problems in the theory of knots, links and 3-manifolds are known to be solvable. For example, the equivalence problem for links in the 3-sphere was solved by Haken, Hemion and Matveev. Following the work of many mathematicians, including the proof of the the Geometrisation Conjecture b...