Branch path of a graph subdivision (source code)

= Branch path of a graph subdivision

= Branch paths of a graph subdivision
{synonym}

A <branch path of a graph subdivision> is the replacement <graph path> for one original <edge>. Its endpoints are the corresponding <branch vertices of a graph subdivision>; its internal <vertices> have <degree of a vertex> two within the <graph subdivision>.