- Graph product
A graph product is a
binary operation on graphs. There are several similarly definedoperations on graphs , called "product". Given two graphs "G1" and "G2", their product "H" is a graph such that
* the vertex set of "H" is theCartesian product V(G_1) imes V(G_2), i.e., the set of ordered pairs (v1, v2), with v1 being a vertex of G1 and v2 being a vertex of G2; and
* two vertices (u1, u2) and (v1, v2) of H are adjacent if and only if the certain conditions expressed in terms of adjacency or equality of u1 and u2 and those of v1 and v2 are satisfied.The following graph products are most common.
#Condition 1 defines theCartesian product of graphs : ( u1=v1 and (u2, v2) is an edge of G2 ) or ( u2=v2 and (u1, v1) is an edge of G1 ).
#Condition 2 defines theTensor product of graphs : (u1, v1) is an edge of G1 and (u2, v2) is an edge of G2.
#Condition 3 defines theLexicographical product of graphs : (u1, v1) is an edge of G1 or ( u1=v1 and (u2, v2) is an edge of G2 ).
#Condition 4 defines theNormal product of graphs ("strong product", "AND product"): ( u1=v1 and (u2, v2) is an edge of G2 ) or ( u2=v2 and (u1, v1) is an edge of G1 ) or ( (u1, v1) is an edge of G1 and (u2, v2) is an edge of G2 ).
#Condition 5 defines theCo-normal product of graphs ("disjunctive product" or "OR product"): (u1, v1) is an edge of G1 or (u2, v2) is an edge of G2.Some other operations are also called "product", such as
rooted product of graphs .References
*citation
last1 = Imrich | first1 = Wilfried
last2 = Klavžar | first2 = Sandi
title = Product Graphs: Structure and Recognition
publisher = Wiley
year = 2000
id = ISBN 0-471-37039-8.
Wikimedia Foundation. 2010.