Graph/Tensorprodukt/Definition

Tensorprodukt (Graph)

Zu zwei Graphen $G=(V,E)$ und $H=(W,F)$ nennt man den Graphen mit der Knotenmenge $V\times W$, wobei zwischen zwei Knoten $(v_1,w_1)$ und $(v_2,w_2)$ genau dann eine Kante besteht, wenn sowohl zwischen $v_1$ und $v_2$ als auch zwischen $w_1$ und $w_2$ eine Kante besteht, das Tensorprodukt der Graphen. Es wird mit $G\otimes H$ bezeichnet.