from the combination between graph decomposition and graph labeling. A decomposition of
a graph G into isomorphic copies of a graph H is H-magic if there is a bijection f: V (G)∪ E
(G)→{1, 2,...,∣ V (G)∪ E (G)∣} such that the sum of labels of edges and vertices of each
copy of H in the decomposition is constant. A lexicographic product of two graphs G 1 and G
2, denoted by G 1 [G 2], is a graph which arises from G 1 by replacing each vertex of G 1 by …