¿Puede toda computación realizada por una máquina de Turing no-determinista en tiempo polinomial ser también realizada por alguna máquina determinista en tiempo polinomial?

O más informalmente: ¿Introducir no-determinismo puede acelerar fundamentalmente la computación?