Palestine Journal of Mathematics

Vol. 7(1)(2018) , 202–210 © Palestine Polytechnic University-PPU 2018

ON THE INJECTIVE DOMINATION

OF GRAPHS
Anwar Alwardi, R. Rangarajan and Akram Alqesmah

Communicated by Ayman Badawi

MSC 2010 Classications: 05C69.

Keywords and phrases: Injective domination number, Injective independence number, Injective domatic number.

Abstract. Let G = (V, E ) be a simple graph. A subset D of V is called injective dominating

set (Inj-dominating set) if for every vertex v ∈ V − D there exists a vertex u ∈ D such that
|G(u, v )| ≥ 1, where |G(u, v )| is the number of common neighbors between the vertices u and
v . The minimum cardinality of such dominating set denoted by γin (G) and is called injective
domination number (Inj-domination number) of G. In this paper, we introduce the injective
domination of a graph G and analogous to that, we dene the injective independence number
(Inj-independence number) βin (G) and injective domatic number (Inj-domatic number) din (G).
Bounds and some interesting results are established.

1 Introduction
By a graph we mean a nite, undirected with no loops and multiple edges. In general, we use
⟨X⟩ to denote the subgraph induced by the set of vertices X and N (v ), N [v ] denote the open and
closed neighborhood of a vertex v , respectively. The distance between two vertices u and v in
G is the number of edges in a shortest path connecting them, this is also known as the geodesic
distance. The eccentricity of a vertex v is the greatest geodesic distance between v and any other
vertex and denoted by e(v ).
A set D of vertices in a graph G is a dominating set if every vertex in V − D is adjacent to some
vertex in D. The domination number γ (G) is the minimum cardinality of a dominating set of
G. We denote to the smallest integer greater than or equal to x by ⌈x⌉ and the greatest integer
less than or equal to x by ⌊x⌋. A strongly regular graph with parameters (n, k, λ, µ) is a graph
with n vertices such that the number of common neighbors of two vertices u and v is k, λ or µ
according to whether u and v are equal, adjacent or non-adjacent, respectively. When λ = 0
the strongly regular graph is called strongly regular graph with no triangles (SRNT graph). A
strongly regular graph G is called primitive if G and G are connected.
For terminology and notations not specically dened here we refer the reader to [5]. For
more details about domination number and neighborhood number and their related parameters,
we refer to [3], [4].

The common neighborhood domination in graph has introduced in [2]. A subset D of V is

called common neighborhood dominating set (CN-dominating set) if for every vertex v ∈ V − D
there exists a vertex u ∈ D such that uv ∈ E (G) and |G(u, v )| ≥ 1, where |G(u, v )| is the
number of common neighborhood between the vertices u and v . The minimum cardinality of
such dominating set denoted by γcn (G) and is called common neighborhood domination number
(CN-domination number) of G. The common neighborhood (CN-neighborhood) of a vertex u ∈
V (G) denoted by Ncn (u) is dened as Ncn (u) = {v ∈ V (G) : uv ∈ E (G) and |G(u, v )| ≥ 1}.

The common neighborhood graph (congraph) of G, denoted by con(G), is the graph with the
vertex set v1 , v2 , . . . , vp , in which two vertices are adjacent if and only if they have at least one
common neighbor in the graph G [1].
In this paper, we introduce the concept of injective domination in graphs. In ordinary dom-
ination between vertices is enough for a vertex to dominate another in practice. If the persons
 ON THE INJECTIVE DOMINATION OF GRAPHS 203

have common friend then it may result in friendship. Human beings have a tendency to move
with others when they have common friends.

2 Injective Dominating Sets

In defence and domination problem in some situations there should not be direct contact between
two individuals but can be linked by a third person this motivated us to introduced the concept
of injective domination.
Denition 2.1 ([1]). Let G be simple graph with vertex set V (G) = {v1 , v2 , . . . , vp }. For i ̸= j ,
the common neighborhood of the vertices vi and vj , denoted by G(vi , vj ), is the set of vertices,
different from vi and vj , which are adjacent to both vi and vj .
Denition 2.2. Let G = (V, E ) be a graph. A subset D of V is called injective dominating set
(Inj-dominating set) if for every vertex v ∈ V either v ∈ D or there exists a vertex u ∈ D such
that |G(u, v )| ≥ 1. The minimum cardinality of Inj-dominating set of G denoted by γin (G) and
called injective domination number (Inj-domination number) of G.
For example consider a graph G in Figure 1. Then {2, 7} is a minimum dominating set,
{2, 3, 4, 5, 6} is a minimum CN-dominating set and {1} is a minimum injective dominating set
of G. Thus γ (G) = 2, γcn (G) = 5 and γin (G) = 1.

1 v

2 v v
7
3 v
v 6

4 v v 5

Figure 1. Graph with γin (G) = 1

Obviously, for any graph G, the vertex set V (G) is an Inj-dominating set, that means any graph
G has an Inj-dominating set and hence Inj-domination number. An injective dominating set D is
said to be a minimal Inj-dominating set if no proper subset of D is an Inj-dominating set. Clearly
each minimum Inj-dominating set is minimal but the converse is not true in general, for example
let G be a graph as in Figure 1. Then {2, 3} is a minimal Inj-dominating set but not minimum
Inj-dominating set.
Let u ∈ V . The Inj-neighborhood of u denoted by Nin (u) is dened as Nin (u) = {v ∈
V (G) : |G(u, v )| ≥ 1}. The cardinality of Nin (u) is called the injective degree of the ver-
tex u and denoted by degin (u) in G, and Nin [u] = Nin (u) ∪ {u}. The maximum and mini-
mum injective degree of a vertex in G are denoted respectively by Din (G) and δin (G). That
is Din (G) = maxu∈V |Nin (u)|, δin (G) = minu∈V |Nin (u)|. The injective complement of G
inj inj
denoted by G is the graph with same vertex set V (G) and any two vertices u and v in G
are adjacent if and only if they are not Inj-adjacent in G. A subset S of V is called an injective
independent set (Inj-independent set), if for every u ∈ S, v ∈/ Nin (u) for all v ∈ S − {u}. An
injective independent set S is called maximal if any vertex set properly containing S is not Inj-
independent set, the maximum cardinality of Inj-independent set is denoted by βin , and the lower
Inj-independence number iin is the minimum cardinality of the Inj-maximal independent set. As
usual Pp , Cp , Kp and Wp are the p-vertex path, cycle, complete, and wheel graph respectively,
Kr,m is the complete bipartite graph on r + m vertices and Sp is the star with p vertices.
204 Anwar Alwardi, R. Rangarajan and Akram Alqesmah

Proposition 2.3. Let G = (V, E ) be a graph and u ∈ V be such that |G(u, v )| = 0 for all
v ∈ V (G). Then u is in every injective dominating set, such vertices are called injective isolated
vertices.

Proposition 2.4. Let G = (V, E ) be strongly regular graph with parameters (n, k, λ, µ). Then
γin (G) = 1 or 2.

Proposition 2.5. For any graph G, γin (G) ≤ γcn (G)

Proof. From the denition of the CN-dominating set of a graph G. For any graph G any CN-
dominating set D is also Inj-dominating set. Hence γin (G) ≤ γcn (G).
We note that the Inj-domination number of a graph G may be greater than, smaller than or
equal to the domination number of G.
Example 2.6.
(i) γin (P2 ) = 2; γ (P2 ) = 1.
(ii) γin (C5 ) = 2; γ (C5 ) = 2.
(iii) If G is the Petersen graph, then γin (G) = 2; γ (G) = 3.
Proposition 2.7.
(i) For any complete graph Kp , where p ̸= 2, γin (Kp ) = 1.
∼ Wp , γin (G) = 1.
(ii) For any wheel graph G =
(iii) For any complete bipartite graph Kr,m , γin (Kr,m ) = 2.
(iv) For any graph G, γin (Kp + G) = 1, where p ≥ 2.

Proposition 2.8. For any graph G with p vertices, 1 ≤ γin (G) ≤ p.

Proposition 2.9. Let G be graph with p vertices. Then γin (G) = p if and only if G is a forest
with D(G) ≤ 1.

Proof. Let G be a forest with D(G) ≤ 1. Then we have two cases.

Case 1. If G is connected, then either G = ∼ K2 or G =∼ K1 . Hence, γin (G) = p.
∼
Case 2. If G is disconnected, then G = n1 K2 ∪ n2 K1 , thus γin (G) = p.
Conversely, if γin (G) = p, then all the vertices of G are Inj-isolated, that means G is isomorphic
to K1 or K2 or to the disjoint union of K1 and K2 , that is G = ∼ n1 K2 ∪ n2 K1 for some n1 ,n2 ∈
{0, 1, 2, ...}. Hence, G is a forest with D(G) ≤ 1.

Proposition 2.10. Let G be a nontrivial connected graph. Then γin (G) = 1 if and only if there
exists a vertex v ∈ V (G) such that N (v ) = Ncn (v ) and e(v ) ≤ 2.

Proof. Let v ∈ V (G) be any vertex in G such that N (v ) = Ncn (v ) and e(v ) ≤ 2. Then for any
vertex u ∈ V (G) − {v} if u is adjacent to v , since N (v ) = Ncn (v ), then obvious u ∈ Nin (v ). If
u is not adjacent to v , then |G(u, v )| ≥ 1. Thus for any vertex u ∈ V (G) − {v}, |G(u, v )| ≥ 1.
Hence, γin (G) = 1.
Conversely, if G is a graph with p vertices and γin (G) = 1, then there exist at least one vertex
v ∈ V (G) such that degin (v ) = p − 1, then any vertex u ∈ V (G) − {v} either contained in a
triangle with v or has distance two from v . Hence, N (v ) = Ncn (v ) and e(v ) ≤ 2.
Theorem 2.11 ([6]). For any path Pp and any cycle Cp , where p ≥ 3, we have,
⌈ ⌉
p
γ (Pp ) = γ (Cp ) = .
3
Proposition 2.12 ([2]). For any path Pp and any cycle Cp
∼ P⌈ p ⌉ ∪ P⌊ p ⌋ .
(i) con(Pp ) = 2 2
 ON THE INJECTIVE DOMINATION OF GRAPHS 205


 Cp , if p is odd and p ≥ 3;
∼
(ii) con(Cp ) = P2 ∪ P2 , if p = 4;

 p
C 2 ∪ C p2 , if p is even.

From the denition of the common neighborhood graph and the Inj-domination in a graph
the following proposition can easily veried.
Proposition 2.13. For any graph G, γin (G) = γ (con(G)).
The proof of the following proposition is straightforward from Theorem 2.11 and Proposition
2.12.
Proposition 2.14. For any cycle Cp with odd number of vertices p ≥ 3,
⌈ ⌉
p
γin (Cp ) = γ (Cp ) =
3
Theorem 2.15. For any cycle Cp with even number of vertices p ≥ 3,
⌈ ⌉
p
γin (Cp ) = 2 .
6
Proof. From Proposition 2.13, Theorem ⌈ ⌉ 2.11 and Proposition 2.12, if p is even, then γin (Cp ) =
γ ((C p2 ) ∪ (C p2 )) = 2γ (C p2 ) = 2 p6 .

Proposition 2.16. For any odd number p > 3,

⌈ ⌉ ⌈ ⌉
p+1 p−1
γin (Pp ) = + .
6 6
Proof. From Proposition 2.13, Theorem 2.11 and Proposition 2.12, if p is odd then,
⌈ ⌉ ⌈ ⌉
p+1 p−1
γin (Pp ) = γ (P⌈ p2 ⌉ ∪ P⌊ p2 ⌋ ) = γ (P p+1 ∪ P p−1 ) = + .
2 2 6 6

Proposition 2.17. For any even number p ≥ 4,

⌈ ⌉
p
γin (Pp ) = 2 .
6
Proof. From Proposition 2.13, Theorem 2.11 and Proposition 2.12, if p is even then, ⌈ p2 ⌉ =
⌊ p2 ⌋ = p2 . Hence γin (Pp ) = 2⌈ p6 ⌉.

Theorem 2.18. Let G = (V, E ) be a graph without Inj-isolated vertices. If D is a minimal

Inj-dominating set, then V − D is an Inj-dominating set.
Proof. Let D be a minimal Inj-dominating set of G. Suppose V − D is not Inj-dominating set.
Then there exists a vertex u in D such that u is not Inj-dominated by any vertex in V − D, that
is |G(u, v )| = 0 for any vertex v in V − D. Since G has no Inj-isolated vertices, then there is at
least one vertex in D − {u} has common neighborhood with u. Thus D − {u} is Inj-dominating
set of G, which contradicts the minimality of the Inj–dominating set D. Thus every vertex in D
has common neighborhood with at least one vertex in V − D. Hence V − D is an Inj-dominating
set.
Theorem 2.19. Let G be a graph. Then the injective dominating set D is minimal if and only if
for every vertex v ∈ D, one of the following conditions holds
(i) v is Inj-isolated vertex.
(ii) There exists a vertex u in V − D such that Nin (u) ∩ D = {v}.
206 Anwar Alwardi, R. Rangarajan and Akram Alqesmah

Proof. Suppose D is a minimal Inj-dominating set of G. Then D − {v} is not Inj-dominating

set, then there exists at least one vertex u ∈ (V − D) ∪ {v} is not Inj-dominated by any vertex in
D, so we have two cases.
Case 1. If u ∈ D, then u is Inj-isolated vertex.
Case 2. If u ∈ V −D, then u has common neighborhood with only one vertex v in D, that means
Nin (u) ∩ D = {v}.
Conversely, suppose D is an Inj-dominating set of G and for each vertex v ∈ D one of the two
conditions holds, we want to prove that D is a minimal Inj-dominating set. Suppose that D is
not minimal. Then there is at least one vertex v ∈ D such that D − {v} is an Inj-dominating set.
Thus v has common neighborhood with at least one vertex in D − {v}. Hence, condition (i) is
not hold.
Also, V − D is an Inj-dominating set, then every vertex in V − D has common neighborhood
with at least one vertex in D − {v}. Therefore condition (ii) is not hold. Hence, neither condition
(i) nor condition (ii) holds, which is a contradiction.
Theorem 2.20. A graph G has a unique minimal Inj-dominating set if and only if the set of all
Inj-isolated vertices forms an Inj-dominating set.
Proof. Let G has a unique minimal Inj-dominating set D, and suppose S = {u ∈ V : u is
Inj-isolated vertex}. Then S ⊆ D. Now suppose D ̸= S , let v ∈ D − S , since v is not Inj-
isolated vertex, then V − {v} is an Inj-dominating set. Hence there is a minimal Inj-dominating
set D1 ⊆ V − {v} and D1 ̸= D a contradiction to the fact that G has a unique minimal Inj-
dominating set. Therefore S = D.
Conversely, if the set of all Inj-isolated vertices in G forms an Inj-dominating set, then it is clear
that G has a unique minimal Inj-dominating set.
Theorem 2.21. For any (p, q )-graph G, γin (G) ≥ p − q .
Proof. Let D be a minimum Inj-dominating set of G. Since every vertex in V − D has common
neighborhood with at least one vertex of D, then q ≥ |V − D|. Hence, γin (G) ≥ p − q .
Theorem 2.22. For any graph G with p vertices, ⌈ 1+Din
p
(G) ⌉ ≤ γin (G). Further, the equality
holds if and only if for every minimum Inj-dominating set D in G the following conditions are
satised:
(i) for any vertex v in D, degin (v ) = Din (G);
(ii) D is Inj-independent set in G;
(iii) every vertex in V − D has common neighborhood with exactly one vertex in D.
Proof. Let S be any minimum Inj-dominating set in G. Clearly each vertex in G will Inj-
dominate at most (Din (G) + 1) vertices, so p = |Nin [S ]| ≤ γin (G)(Din (G) + 1), hence
1+Din (G) ≤ γin (G). Therefore ⌈ 1+Din (G) ⌉ ≤ γin (G).
p p

Suppose the given conditions are hold for any minimum Inj-dominating set D in G. Then obvi-
ously γin (G)Din (G) + γin (G) = p. Hence, ⌈ 1+Din p
(G) ⌉ = γin (G).
Conversely, suppose the equality holds, and suppose that one from the conditions is not satised.
Then p < γin (G)Din (G) + γin (G), a contradiction.
Example 2.23. Let G = Cp , where p ≥ 3 and p is odd number. Then the equality in Theorem
2.22 is hold. Since ⌈ 1+Din
p
(G) ⌉ = ⌈ 3 ⌉ and by Proposition 2.14 we have γin (G) = ⌈ 3 ⌉.
p p

Theorem 2.24. Let G be a graph on p vertices and δin (G) ≥ 1. Then γin (G) ≤ p2 .
Proof. Let D be any minimal Inj-dominating set in G. Then by Theorem 2.18, V − D is also an
Inj-dominating set in G. Hence, γin (G) ≤ min{|D|, |V − D|} ≤ p/2.
Theorem 2.25. For any graph G on p vertices, γin (G) ≤ p − Din (G)
Proof. Let v be a vertex in G such that degin (v ) = Din (G). Then v has common neighborhood
with |Nin (v )| = Din (G) vertices. Thus, V −Nin (v ) is an Inj-dominating set. Therefore γin (G) ≤
|V − Nin (v )|. Hence, γin (G) ≤ p − Din (G).
 ON THE INJECTIVE DOMINATION OF GRAPHS 207

Proposition 2.26. For any graph G with diameter less than or equal three and maximum degree
D(G), γin (G) ≤ D(G) + 1.
Proof. Let diam(G) ≤ 3 and v ∈ V (G) such that deg (v ) = D(G). Clearly that, if diam(G) = 1,
then G is a complete graph and the result holds. Suppose diam(G) = 2 or 3. Let Vi (G) ⊆ V (G)
be the sets of vertices of G which have distance i from v , where i = 1, 2, 3. Obviously, the set
S = V1 (G) ∪{v} is an Inj-dominating set of G of order D(G)+ 1. Hence, γin (G) ≤ D(G)+ 1.

The Cartesian product G  H of two graphs G and H is a graph with vertex set V (G) ×V (H )
and edge set E (G  H ) = {((u, u′ ), (v, v ′ )) : u = v and (u′ , v ′ ) ∈ E (H ), or u′ = v ′ and (u, v ) ∈
E (G)}.

v1 v2 v3 v4 vm
v v v v
p p p p v

v v v v p p p v

u1 u2 u3 u4 um

Figure 2. Pm P2

∼ Pm P2 , γin (G) = 2⌈ m ⌉.

Proposition 2.27. For any graph G = 5

Proof. Let G = ∼ Pm P2 . From Figure 2, it is easy to see that any two adjacent vertices vi , ui
can Inj-dominate all the vertices of distance less than or equal two from vi or ui , then γin (G) ≤
2⌈ m5 ⌉. obviously from Figure 2, Din (G) = 4, then by Theorem 2.22, γin (G) ≥ ⌈ 25m ⌉. Now,
if m < 5 or m ≡ 0 (mod 5), then 2⌈ m5 ⌉ = ⌈ 25m ⌉ and hence γin (G) = 2⌈ m5 ⌉. Otherwise,
2⌈ m5 ⌉ = ⌈ 25m ⌉ + 1, but in this case the equality of Theorem 2.22 does not hold because the third
condition is not satised. Hence, γin (G) = 2⌈ m5 ⌉.
∼ Cm P2 , γin (G) = 2⌈ m ⌉.
Proposition 2.28. For any graph G = 5

Proof. The proof is same as in Proposition 2.27.

The Composition G · H or G[H ] has its vertex set V (G) × V (H ), with (u, u′ ) is adjacent to
(v, v ′ ) if either u is adjacent to v in G or u = v and u′ is adjacent to v ′ in H .

Proposition 2.29. For any graph G isomorphic to Pm · Pn or Pm · Cn or Cm · Pn or Cm · Cn ,

5 ⌉.
γin (G) = ⌈ m

Proof. Let G be a graph isomorphic to Pm · Pn or Pm · Cn or Cm · Pn or Cm · Cn . Then

from the denition of the Composition product, N (w) = Ncn (w), ∀w ∈ V (G), then each vertex
w = (u, v ) in G Inj-dominates its neighbors and all the vertices of distance two of it, then
5 ⌉, but in this graph Din (G) = 5n − 1, so by Theorem 2.22, γin (G) ≥ ⌈ 5n ⌉ = ⌈ 5 ⌉.
γin (G) ≤ ⌈ m mn m

Hence, γin (G) = ⌈ 5 ⌉.

m

Denition 2.30. Let G = (V, E ) be a graph. S ⊆ V (G) is called Inj-independent set if no

two vertices in S have common neighbor. An Inj-independent set S is called maximal Inj-
independent set if no superset of S is Inj-independent set. The Inj-independent set with maxi-
mum size called the maximum Inj-independent set in G and its size called the Inj-independence
number of G and denoted by βin (G).
Theorem 2.31. Let S be a maximal Inj-independent set. Then S is a minimal Inj-dominating set.
208 Anwar Alwardi, R. Rangarajan and Akram Alqesmah

Proof. Let S be a maximal Inj-independent set and u ∈ V − S . If u ∈ / Nin (v ) for every

v ∈ S , then S ∪ {u} is an Inj-independent set, a contradiction to the maximality of S . Therefore
u ∈ Nin (v ) for some v ∈ S . Hence, S is an Inj-dominating set. To prove that S is a minimal
Inj-dominating set, suppose S is not minimal. Then for some u ∈ S the set S − {u} is an
Inj-dominating set. Then there exist some vertex in S has a common neighborhood with u,
a contradiction because S is an Inj-independent set. Therefore S is a minimal Inj-dominating
set.
Corollary 2.32. For any graph G, γin (G) ≤ βin (G).

3 Injective domatic number in a graph

Let G = (V, E ) be a graph. A partition D of its vertex set V (G) is called a domatic partition of
G if each class of D is a dominating set in G. The maximum order of a partition of V (G) into
dominating sets is called the domatic number of G and is denoted by d(G).
Analogously as to γ (G) the domatic number d(G) was introduced, we introduce the injec-
tive domatic number din (G), and we obtain some bounds and establish some properties of the
injective domatic number of a graph G.
Denition 3.1. Let G = (V, E ) be a graph. A partition D of its vertex set V (G) is called an
injective domatic (in short Inj-domatic) partition of G if each class of D is an Inj-dominating
set in G. The maximum order of a partition of V (G) into Inj-dominating sets is called the Inj-
domatic number of G and is denoted by din (G).
For every graph G there exists at least one Inj-domatic partition of V (G), namely {V (G)}.
Therefore din (G) is well-dened for any graph G.
Theorem 3.2.
(i) For any complete graph Kp , din (Kp ) = dcn (Kp ) = d(Kp ) = p.
(ii) din (G) = 1 if and only if G has at least one Inj-isolated vertex.
(iii) For any wheel graph of p vertices, din (Wp ) = p.
(iv) For any complete bipartite graph Kr,m ,
{
min{r, m}, if r, m ≥ 2;
din (Kr,m ) =
1, otherwise.

(v) For any graph G, if Nin (v ) = N (v ) for any vertex v in V (G), then

din (G) = d(G).

Proof.
(i) If G = (V, E ) is the complete graph Kp , then for any vertex v the set {v} is a minimum
CN-dominating set and also a minimum Inj-dominating set. Then the maximum order of
a partition of V (G) into Inj-dominating or CN-dominating sets is p. Hence, din (Kp ) =
dcn (Kp ) = p.
(ii) Let G be a graph which has an Inj-isolated vertex say v , then every Inj-dominating set of
G must contain the vertex v . Then din (G) = 1.
Conversely, if din (G) = 1 and suppose G has no Inj-isolated vertex, then by Theorem 2.24,
γin (G) ≤ p2 , so if we suppose D is a minimal Inj-dominating set in G, then V − D is also
a minimal Inj-dominating set. Thus din (G) ≥ 2, a contradiction. Therefore G has at least
one Inj-isolated vertex.
(iii) Since for every vertex v of the wheel graph the degin (v ) = p − 1. Hence, din (Wp ) = p.
(iv) and (v) the proof is obvious.
 ON THE INJECTIVE DOMINATION OF GRAPHS 209

Evidently each CN-dominating set in G is an Inj-dominating set in G, and any CN-domatic

partition is an Inj-domatic partition. We have the following proposition.

Proposition 3.3. For any graph G, din (G) ≥ dcn (G).

Theorem 3.4. For any graph G with p vertices, din (G) ≤ p

γin (G)
.

Proof. Assume that din (G) = d and {D1 , D2 , ..., Dd } is a partition of V (G) into d numbers of
∑
Inj-dominating sets, clearly |Di | ≥ γin (G) for i = 1, 2, ..., d and we have p = di=1 |Di | ≥
dγin (G). Hence, din (G) ≤ γinp(G) .
⌊ ⌋
Theorem 3.5. For any graph G with p vertices, din (G) ≥ p
p−δin (G)
.

Proof. Let D be any subset of V (G) such that |D| ≥ p − δin (G). For any vertex v ∈ V − D, we
have |Nin [v ]| ≥ 1 + ⌊δin (G). Therefore
⌋ Nin (v ) ∩ D ̸= ϕ. Thus D is an Inj-dominating set of G.
So, we can take any p−δin p
(G) disjoint subsets each of cardinality p − δin (G). Hence,
⌊ ⌋
p
din (G) ≥ .
p − δin (G)

Theorem 3.6. For any graph G with p vertices din (G) ≤ δin (G) + 1. Further the equality holds
if G is complete graph Kp .

Proof. Let G be a graph such that din (G) > δin (G) + 1. Then there exists at least δin (G) + 2
Inj-dominating sets which they are mutually disjoint. Let v be any vertex in V (G) such that
degin (v ) = δin (G). Then there is at least one of the Inj-dominating sets which has no intersection
with Nin [v ]. Hence, that Inj-dominating set can not dominate v , a contradiction. Therefore
din (G) ≤ δin (G) + 1. It is obvious if G is complete, then din (G) = δin (G) + 1.

inj
Theorem 3.7. For any graph G with p vertices, din (G) + din (G )≤p+1
inj inj
Proof. From Theorem 3.6, we have din (G) ≤ δin (G) + 1 and din (G ) ≤ δin (G ) + 1, and
clearly δin (G ) = p − 1 − Din (G). Hence,
inj

) ≤ δin (G) + p − Din (G) + 1 ≤ p + 1.

inj
din (G) + din (G

Theorem 3.8. For any graph G with p vertices and without Inj-isolated vertices, din (G) +
γin (G) ≤ p + 1.

Proof. Let G be a graph with p vertices. Then by Theorem 2.25, we have

γin (G) ≤ p − Din (G) ≤ p − δin (G),

and also from Theorem 3.6, din (G) ≤ δin (G) + 1. Then

din (G) + γin (G) ≤ δin (G) + 1 + p − δin (G).

Hence,
din (G) + γin (G) ≤ p + 1.
210 Anwar Alwardi, R. Rangarajan and Akram Alqesmah

References
[1] A. Alwardi, B. Arsit'c, I. Gutman and N. D. Soner, The common neighborhood graph and its energy, Iran.
J. Math. Sci. Inf., 7(2), 1–8 (2012).

[2] Anwar Alwardi, N. D. Soner and Karam Ebadi, On the common neighbourhood domination number,
Journal of Computer and Mathematical Sciences, 2(3), 547–556 (2011).

[3] S. Arumugam, C. Sivagnanam, Neighborhood connected and neighborhood total domination in graphs,
Proc. Int. Conf. on Disc. Math., 2334 B. Chaluvaraju , V. Lokesha and C. Nandeesh Kumar Mysore 45–51
(2008).

[4] B. Chaluvaraju, Some parameters on neighborhood number of a graph, Electronic Notes of Discrete
Mathematics, Elsevier, 33 139–146 (2009).

[5] F. Harary, Graph theory, Addison-Wesley, Reading Mass. (1969).

[6] T. W. Haynes, S. T. Hedetniemi and P. J. Slater,Fundamentals of domination in graphs, Marcel Dekker,
Inc., New York (1998).

[7] S. M. Hedetneimi, S. T. Hedetneimi, R. C. Laskar, L. Markus and P. J. Slater, Disjoint dominating sets in
graphs, Proc. Int. Conf. on Disc.Math., IMI-IISc, Bangalore 88–101 (2006).
[8] V. R. Kulli and S. C. Sigarkanti, Further results on the neighborhood number of a graph, Indian J. Pure
and Appl. Math. 23(8) 575–577 (1992).

[9] E. Sampathkumar and P. S. Neeralagi, The neighborhood number of a graph, Indian J. Pure and Appl.
Math. 16(2) 126–132 (1985).

[10] H. B. Walikar, B. D. Acharya and E. Sampathkumar, Recent developmentsin the theory of domination in
graphs, Mehta Research institute, Allahabad, MRI Lecture Notes in Math. 1 (1979).

Author information
Anwar Alwardi, Department of Mathematics, College of Education, Yafea, University of Aden, Yemen.
E-mail: a− [email protected]
R. Rangarajan, Department of Studies in Mathematics, University of Mysore, Mysore 570 006, India.
E-mail: [email protected]
Akram Alqesmah, Department of Studies in Mathematics, University of Mysore, Mysore 570 006, India.
E-mail: [email protected]

Received: June 17, 2016.

Accepted: March 21, 2017.