In graph theory, the zig-zag product of regular graphs G, H, denoted by G\circ H, is a binary operation which takes a large graph and a small graph and produces a graph that approximately inherits the size of the large one but the degree of the... Wikipedia