A gráfelméletben egy G gráf és egy H gyökgráf gyökérszorzatát a következőképpen definiáljuk: vegye | V ( G )| a H gráf másolatai és a G gráf minden csúcsára azonosulunk H i - edik másolatának gyökércsúcsával .
Hivatalosabb. Tegyük fel, hogy V ( G ) = { g 1 , ..., g n }, V ( H ) = { h 1 , ..., h m }, és a H gráf gyöke . Határozzuk meg a terméket
,ahol
és
Ha a G gráf is gyökerezve van g 1 gyökkel , akkor magát a szorzatot tekinthetjük gyökér gráfnak ( g 1 , h 1 ). A gyökérszorzat ugyanazon két gráf közvetlen szorzatának részgráfja .
A gyökértermék különösen fontos a fák számára , mivel két fa gyökérterméke ismét egy fa lesz. Például Koch és munkatársai (1980) gyökértermékeket használtak, hogy kecses számozást találjanak egy széles facsalád számára.
Ha H egy teljes gráf két K 2 csúcsponttal , akkor bármely G gráf esetén a G és H gráfok gyökérszorzatának dominanciája pontosan a csúcsok számának a felével egyenlő. Minden olyan összefüggő gráfot kapunk, amelyben a dominanciaszám egyenlő a csúcsok felével, kivéve a négy csúcsú ciklust . Ezek a gráfok használhatók olyan példák generálására, ahol a közvetlen gráfszorzat eléri a határt a Vizing -sejtésből , ami egy nem igazolt egyenlőtlenség a különböző gráftermékekben lévő gráfok dominanciája között [1] .