Graph subdivision (source code)

= Graph subdivision

A subdivision of a graph replaces each edge by a path, with all replacement paths internally vertex-disjoint.