Masalah ketaksimpulan menanyakan apakah terdapat sebuah algoritme yang efisien untuk mengidentifikasikan ketika bentuknay disajikan dalam sebuah diagram simpul sebenarnya tak simpul ( unknot ).