Pebbling a cartesian product
We let denote the pebbling number of a graph .
The pebbling number of a graph , denoted , is the smallest integer so that however pebbles are distributed onto the vertices of , it is possible to move a pebble to any vertex by a sequence of steps, where in each step we remove two pebbles from one vertex, and then place one on an adjacent vertex. The cartesian product of two graphs and , denoted , is the graph with vertex set and an edge from to if either and (in ) or and (in ).
Graph Pebbling arose out of the study of zero-sum subsequences in groups, but has proved to be a rich and interesting topic in graph theory. See Glenn Hurlbert's wonderful graph pebbling page for much more on this topic (and this problem in particular). Graham's conjecture was stated in one of the first papers on this subject by Fan Chung [C], and has since generated considerable interest.
There are a number of partial results toward this conjecture. Chung [C] proved that , thus settling the conjecture for products of paths (here denotes a path with vertices). It is also known when are both trees, both cycles, and for graphs with high minimum degree. Again, we encourage the interested reader to see the graph pebbling page for more details.
Bibliography
*[C] F. Chung, Pebbling in hypercubes SIAM J. Disc. Math. 2 (1989), 467--472.
* indicates original appearance(s) of problem.