I would like to propose a set of simpler operations out of which graph powers can be created. The first is a "k-bridge", where you add edges between pairs of nodes in a graph that are separated (exactly) by length k. The second is "graph union" where G
1 U G
2 is defined iff both graphs have the same set of vertices. The union is simply the set of all edges from both the graphs.
You can now see how we can build a graph power p from k-bridges and unions. Just take all k-bridges for k = 2..p and compute the union for all the graphs.
Why I bring this up is that k-bridges over hamiltonian circuits (or 2-regular graphs) have some interesting properties. The post on
Sieve puzzle addresses some of these properties..