On the basis that knowing some more about Graph Theory won’t do me any harm when thinking about operating system behaviour, I am reading about that too right now.
But I found the book’s explanation of a Graph Cartesian Product rather less than full, so here is my attempt to make it a bit clearer.
Say we have graph with vertices and graph with vertices , then our cartesian product graph is with vertices
Which vertices in this new graph are adjacent?
The vertices are adjacent if – and only if – taking the new vertices to be of the form – if and is adjacent to in OR and is adjacent to in .