Before revision:  In addition, we implement these algorithms and propose optimizations .
After revision:  Our first algorithm does not have polylogarithmic span, but we prove that it solves a P-complete problem. In addition to the theoretical results, we also implement the algorithms and propose optimizations .