Arithmetic integer additive set-valued graphs: a creative review

For a non-empty ground set X, finite or infinite, the set-valuation or set-labeling of a given graph G is an injective function f: V(G) → P(X), where P(X) is the power set of the set X. A set-indexer of a graph G is an injective set-valued function f: V(G) → P(X) such that the function f∗ : E(G) → P(X)−{Φ} defined by f∗(uv) = f(u)∗f(v) for every uv∈E(G) is also injective, where ∗ is a binary operation on sets. Let N0 be the set of all non-negative integers and P(N0) is its power set. An integer additive set-labeling (IASL) of a graph G is an injective function f: V(G) → P(N0) such that the induced function f+: E(G) → P(N0) is defined by f+(uv) = f(u) + f(v), where f(u) + f(v) is the sumset of the sets f(u) and f(v). An IASL f of a graph G is said to be an integer additive set-indexer (IASI) of G if the induced function f+ is also injective. In this paper, we critically and creatively review the concepts and properties of a particular type integer additive set-valuation, called arithmetic integer additive set-valuation of graphs.