Before revision: There are fundamental topological problems , such as unknot recognition and 3-sphere recognition, for which the existence of a polynomial time algorithm remains unknown.
After revision: There are fundamental topological problems , such as unknot recognition and 3-sphere recognition, for which the existence of a polynomial-time solution remains unknown.