Let f be a map from V (G) to {0, 1, ..., k ? 1} where k is an integer, 1 ? k ? |V (G)|. For each edge uv assign the label f(u)f(v)(mod k). f is called a k-product cordial labeling if |vf (i) ? vf (j)| ? 1, and |ef (i) ? ...