¿Qué significa esto? $K_n \boxtimes K_n$

Question

Tengo que demostrar que $K_n \boxtimes K_n = K_{n^2}$ . En $K_n$ es un grafo completo. ¿Qué significa el operador " $\boxtimes$ ¿"hacer"?

Answer 1

En el libro Handbook of Product Graphs 2ª Edición - Hammack et al. puede encontrar la siguiente definición:

El producto fuerte de $G$ y $H$ es el gráfico denotado como $G \boxtimes H$ y definido por

$$ V(G\boxtimes H) = \{(g,h) | g \in V(G) \text{ and } \in V(H) \}. $$ $$ E(G\boxtimes H) = E(G\square H) \cup E(G\times H). $$

Answer 2

Es el Producto fuerte de grafos ...