In graph theory, an edge-graceful labeling is a type of graph labeling for simple, connected graphs in which no two distinct edges connect the same two distinct vertices and no edge connects a vertex to itself.

Edge-graceful labelings were first introduced by Sheng-Ping Lo in his seminal paper.^[1]

Definition

Given a graph G, we denote the set of edges by E(G) and the vertices by V(G). Let q be the cardinality of E(G) and p be that of V(G). Once a labeling of the edges is given, a vertex u of the graph is labeled by the sum of the labels of the edges incident to it, modulo p. Or, in symbols, the induced labeling on the vertex u is given by

${\displaystyle V(u)=\Sigma E(e)\mod |V(G)|}$

where V(u) is the label for the vertex and E(e) is the assigned value of an edge incident to u.

The problem is to find a labeling for the edges such that all the labels from 1 to q are used once and the induced labels on the vertices run from 0 to p – 1. In other words, the resulting set for labels of the edges should be {1, 2, …, q} and {0, 1, …, p – 1} for the vertices.

A graph G is said to be edge-graceful if it admits an edge-graceful labeling.

Examples

Cycles

An edge-graceful labeling of C₅

Consider the cycle with three vertices, C₃. This is simply a triangle. One can label the edges 1, 2, and 3, and check directly that, along with the induced labeling on the vertices, this gives an edge-graceful labeling. Similar to paths, C_m is edge-graceful when m is odd and not when m is even.^[2]

A necessary condition

Lo gave a necessary condition for a graph with q edges and p vertices to be edge-graceful:^[1]q(q + 1) must be congruent to p(p – 1)/2 mod p. In symbols:

${\displaystyle q(q+1)\equiv {\frac {p(p-1)}{2}}\mod p.}$

This is referred to as Lo's condition in the literature.^[3] This follows from the fact that the sum of the labels of the vertices is twice the sum of the edges, modulo p. This is useful for disproving a graph is edge-graceful. For instance, one can apply this directly to the path and cycle examples given above.

Further selected results

• The Petersen graph is not edge-graceful.
• The star graph ${\displaystyle S_{m}}$ (a central node and m legs of length 1) is edge-graceful when m is even and not when m is odd.^[4]
• The friendship graph ${\displaystyle F_{m}}$ is edge-graceful when m is odd and not when it is even.
• Regular trees, ${\displaystyle T_{m,n}}$ (depth n with each non-leaf node emitting m new vertices) are edge-graceful when m is even for any value n but not edge-graceful whenever m is odd.^[5]
• The complete graph on n vertices, ${\displaystyle K_{n}}$, is edge-graceful unless n is singly even, ${\displaystyle n=2\mod 4}$.
• The ladder graph is never edge-graceful.

References