KmxPn
graphs are the cross product of an m clique and a path of length n. They consist of n copies of the clique Km with the corresponding vertices in each clique also forming the vertices along a path Pn.
K4 has been included for completeness.
K4 x P2 was also already known to be graceful
[Lustig and Puget, 2001], but the number of graceful labellings was not.
We did not find all graceful labellings for K4xP4 and K4xP5.
K4xP5 with a graceful labelling
KmxP2 graphs
K3xP2 and K4xP2 were already known to be graceful; they have 4 and 15 graceful labellings, respectively (apart from symmetric equivalents). We have shown that
K5xP2 is graceful, but has only one graceful labelling, and K6xP2 is not graceful.