Cerium is correct, we don't know if P is efficiently parallelizable.
Is there a formal proof of what you're talking about that we can read?
Is there a formal proof of what you're talking about that we can read?
https://www.researchgate.net/profile/Walter-Ruzzo/publicatio...