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:  However, we currently have a poor understanding of the computational complexity of problems in normal surface theory is finding a non-trivial normal disc or sphere in a 3-dimensional triangulation.