the edge - disjoint paths problem is np - complete for series - parallel graphs .
An Algebraic Theory of Graph Reduction