Complete graph subdivision (source code)

= Complete graph subdivision
{title2=$TK_r$}

A $TK_r$ is a subdivision of the <complete graph> $K_r$. Its original complete-graph vertices are branch vertices and its replaced edges are branch paths.