Конъюнкция графов

Конъюнкция графов (Conjunction of graphs) — граф [math]\displaystyle{ G_{1} \wedge G_{2} }[/math] с множеством вершин [math]\displaystyle{ V_{1} \times V_{2} }[/math] у которого вершины [math]\displaystyle{ u = (u_{1},u_{2}) }[/math] и [math]\displaystyle{ v = (v_{1},v_{2}) }[/math] смежны тогда и только тогда, когда [math]\displaystyle{ u_{1} }[/math] смежна с [math]\displaystyle{ v_{1} }[/math] и [math]\displaystyle{ u_{2} }[/math] смежна с [math]\displaystyle{ v_{2} }[/math]

Литература

• Харари Ф. Теория графов. — М.: Мир, 1973.