Aquí, EXPTIME es la clase de problemas resolubles en tiempo exponencial.