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

Конъюнкция графов (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]

Литература

[Харари]