Rooted product of graphs (source code)

= Rooted product of graphs
{wiki=Rooted_product_of_graphs}

The rooted product of graphs is a specific operation that combines two graphs in a way that preserves some structural properties of both.