Rooted product of graphs
In mathematical graph theory, the rooted product of a graph Template:Mvar and a rooted graph Template:Mvar is defined as follows: take Template:Math copies of Template:Mvar, and for every vertex Template:Mvar of Template:Mvar, identify Template:Mvar with the root node of the Template:Mvar-th copy of Template:Mvar.
More formally, assuming that
- <math>\begin{align}
V(G) &= \{g_1, \ldots, g_n \}, \\ V(H) &= \{h_1, \ldots, h_m \}, \end{align}</math>
and that the root node of Template:Mvar is Template:Math, define
- <math>G \circ H := (V, E)</math>,
where
- <math>V = \left\{(g_i, h_j): 1\leq i\leq n, 1\leq j\leq m\right\}</math>
and
- <math>E = \Bigl\{\bigl((g_i, h_1), (g_k, h_1)\bigr): (g_i, g_k) \in E(G)\Bigr\} \cup \bigcup_{i=1}^n \Bigl\{\bigl((g_i, h_j), (g_i, h_k)\bigr): (h_j, h_k) \in E(H)\Bigr\}</math>.
If Template:Mvar is also rooted at Template:Math, one can view the product itself as rooted, at Template:Math. The rooted product is a subgraph of the cartesian product of the same two graphs.
ApplicationsEdit
The rooted product is especially relevant for trees, as the rooted product of two trees is another tree. For instance, Koh et al. (1980) used rooted products to find graceful numberings for a wide family of trees.
If Template:Mvar is a two-vertex complete graph Template:Math, then for any graph Template:Mvar, the rooted product of Template:Mvar and Template:Mvar has domination number exactly half of its number of vertices. Every connected graph in which the domination number is half the number of vertices arises in this way, with the exception of the four-vertex cycle graph. These graphs can be used to generate examples in which the bound of Vizing's conjecture, an unproven inequality between the domination number of the graphs in a different graph product, the cartesian product of graphs, is exactly met Template:Harv. They are also well-covered graphs.