Una nMT puede "adivinar" la solución en O (n) y verificarla en tiempo polinómico.