For positive integers J >= k, an L (j, k)-labeling of a digraph D is a function f from V (D) into the set of nonnegative integers such that vertical bar f (x) - f (y) vertical bar >= j if x is adjacent to y in D and vertical bar f (x) - f (y)vertical bar
