結び目を入力したときそれが自明かどうかを判定したり, 種数を求めたりするア
ルゴリズムは1960年代から知られていたが，最近になってこれらの問題の計算量
についての研究が行われるようになった．今回はこれらの研究について紹介する．