În teoria grafurilor, produsul rădăcină al unui graf G și al unui graf rădăcină H este definit după cum urmează: ia | V ( G )| copii ale graficului H și pentru fiecare vârf al graficului G , ne identificăm cu vârful rădăcină al copiei i -a a lui H .
Mai formal. Să presupunem că V ( G ) = { g 1 , ..., g n }, V ( H ) = { h 1 , ..., h m } și că rădăcina graficului H este . Să definim produsul
,Unde
și
Dacă și graficul G este înrădăcinat cu rădăcina g 1 , se poate considera produsul în sine ca un grafic înrădăcinat cu rădăcină ( g 1 , h 1 ). Produsul rădăcină este un subgraf al produsului direct al acelorași două grafice.
Produsul rădăcină este deosebit de relevant pentru copaci , deoarece produsul rădăcină a doi copaci va fi din nou un copac. De exemplu, Koch și colaboratorii (1980) au folosit produse din rădăcină pentru a găsi o numerotare grațioasă pentru o familie largă de copaci.
Dacă H este un grafic complet cu două vârfuri K 2 , atunci pentru orice grafic G produsul rădăcină al graficelor G și H are un număr de dominanță egal cu exact jumătate din numărul vârfurilor sale. Orice graf conex în care numărul de dominanță este egal cu jumătate din vârfuri se obține în acest fel, cu excepția unui ciclu cu patru vârfuri. Aceste grafice pot fi folosite pentru a genera exemple în care un produs grafic direct atinge limita din conjectura Vizing , o inegalitate nedovedită între numărul de dominanță al graficelor în diferite produse grafice [1] .