Before revision:  One of the key operations in normal surface theory is finding a non-trivial normal disc or sphere in a 3-dimensional triangulation.
After revision:  One of the key operations in normal surface theory : many such problems are still not known to have polynomial-time algorithms, yet proofs of \mathrm{NP finding a non-trivial normal disc or sphere in a 3-dimensional triangulation.