En 2004 se demostró que esta clase de complejidad es equivalente a L.