domination parameters of π.π
TRANSCRIPT
![Page 1: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/1.jpg)
Global Journal of Pure and Applied Mathematics.
ISSN 0973-1768 Volume 13, Number 12 (2017), pp. 8247-8263
Β© Research India Publications
http://www.ripublication.com
Domination parameters of ππ.π
G. Easwara Prasad1 and P.Suganthi2
1Associate Professor, Department of Mathematics, S.T.Hindu College; Tamilnadu, India.
2Research Scholar, Department of Mathematics, S.T.Hindu, College; Tamil Nadu, India.
Abstract
The domination parameters of a graph G of order n has been already
introduced. It is defined as D β V(G) is a dominating set of G, if every vertex
v β V β D is adjacent to atleast one vertex in D. In this paper, we have
established various domination parameters of kth power of Path, and square of
the Centipede graph, also we have studied the relation between this
parameters and illustrated with an examples.
Keywords: Graph, Domination, flower graph, Cater pillar graph
INTRODUCTION: 1.0
A graph πΊ = (π, πΈ), where π is a finite set of elements, called vertices and πΈ is a set
of unordered pairs of distinct vertices of πΊ called edges. The degree of a vertex π£ in πΊ
is the number of edges incident on it. Every pair of its vertices are adjacent in πΊ is
said to be complete, the complete graph onβ²πβ²vertices is denoted by πΎπ.
Let π’ and π£ be the vertices of a graph πΊ,π π’ β π£ walk of πΊ is an alternating sequences
π’ = π’π , π, π’, π2, π’2, β¦ . π’πβ1, ππ, π£π = π£ of vertices and edges beginning with vertex π’
and ending with vertex π£ such that ππ = π’πβ1π’π for all π = 1,2, β¦ . . , π. The number of
edges in a walk is called its length. A walk in which all the vertices are distance in
called a path. A path onβ²πβ² vertices is denoted by ππ. A closed path is called a cycle, a
cycle on β²πβ² vertices is denoted by πΆπ. Let πΊ = (π, πΈ) be a simple connected graph,
for any vertex π£ β π, the open neighborhood is the set π(π£) = {π’ β π/π’π£ β πΈ} and
the closed neighborhood of π£ is the set π[π£] = π(π£) βͺ {π’} . For a set π β π, the
![Page 2: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/2.jpg)
8248 G. Easwara Prasad and P.Suganthi
open neighborhood of π is π(π) = βπ(π£) , π£ β π and the closed neighborhood of π
is π[π ] = π(π) βͺ π.
Definition 1.1:
A set D V is a dominating set of G if every vertex v V β D is adjacent
to at least one vertex of D. We call a dominating set D is a minimal if there is no
dominating set D' V (G) with D D and D D. Further we call a
dominating set D is minimum if these is no dominating set D V(G) with | D' | |
D|. The cardinality of a minimum dominating set is called the domination number
denoted by (G) and the minimum dominating set D of G is also called a - set.
Definition 1.2:
A dominating set D is said to be a total dominating set if every vertex in V
is adjacent to some vertex in D. The total domination number of G denoted by t
(G) is the minimum cardinality of a total dominating set.
Definition 1.3:
A dominating set D of a graph G is an independent dominating set, if the
induced sub graph <D> has no edges. The independent domination number i (G)
is the minimum cardinality of a independent dominating set.
Definition 1.4:
A dominating Set D is said to be connected dominating set, if the induced
sub graph <D> is connected. The connected domination number c(G) is the
minimum cardinality of a connected dominating set.
Definition 1.5:
A dominating Set D of a graph G is said to be a paired dominating set if the
induced sub graph <D> contains at least one perfect matching, paired domination
number p (G) is the minimum cardinality of a paired dominating set.
Definition 1.6:
A dominating Set D of G is a split dominating set if the induced sub graph
<V β D> disconnected Split domination number s (G) is the minimum cardinality
of a split dominating set.
Definition 1.7:
A dominating Set D of G is a non split dominating set, if the induced sub
graph <V β D> is connected. Non split domination number ns (G) is the
minimum cardinality of a non split dominating set.
![Page 3: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/3.jpg)
Domination parameters of f_(n.r) 8249
Definition 1.8:
A dominating set D of a graph G is called a global dominating set, if D is also
a dominating set of G . The global domination number g (G) in the minimum
cardinality of a global dominating set.
Definition 1.9:
A dominating set D is called a perfect dominating set, if every vertex in V
β D in adjacent to exactly one vertex in D. The perfect domination number pr(G)
is the minimum cardinality of a perfect dominating set.
Definition: 1.10:
A Graph G is called a m Γ n flower graph if it has m vertices which form a m cycle
and m sets of n β 2 vertices which form n cycles around them m cycle so that each n
cycle uniquely intersects with the m cycle on a single edge. This graph will be
denoted by fmΓn. It is clear that fmΓn has m(n-1) vertices & mn edges. The n cycles
are called the petals and the m cycles are called the center of fmΓn. Then m vertices
which form the center are all of degree 4 & all the other vertices have degree 2.
Definition: 1.11:
A caterpillar is a tree with the property that a path remains if all leaves are deleted.
The -sunlet graph is the graph on vertices obtained by attaching pendant edges
to a cycle graph
Definition: 1.12:
The friendship graph Fn can be constructed by joining n copies of the cycle
graph C3 with a common vertex
π βCentipede graph is a tree on 2π vertices obtained by joining the bottom of
π βcopies of the path graph π2 laid in a row with edges and is denoted by βπ.
Definition 1.13.: The Harary graph Hn,k is a graph on the n vertices {v1, v2, . . . , vn}
defined by the following construction: β’ If k is even, then each vertex vi is adjacent to
viΒ±1, viΒ±2,. . . , viΒ± k 2 , where the indices are subjected to the wraparound convention
that vi β‘ vi+n (e.g. vn+3 represents v3). β’ If k is odd and n is even, then Hn,k is Hn,kβ1 with
additional adjacencies between each vi and vi+ n 2 for each i. β’ If k and n are both odd,
then Hn,k is Hn,kβ1 with additional adjacencies
{ v 1, v1+ nβ1 2 }, {v1, v1+ n+1 2 }, {v2, v2+ n+1 2 }, {v3, v3+ n+1 2 }, Β· Β· Β· , {v nβ1 2 , vn}
Definition 1.14:
Let x be any real value, then its upper sealing of x is denoted as x and is
defined
![Page 4: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/4.jpg)
8250 G. Easwara Prasad and P.Suganthi
βπ₯β = if is an integer
k, where k is an integer lies in the interval < k < + 1
x x
x x
the lower sealing of x is denoted as x and is defined by
βπ₯β = if is an integer
k, where k is an integer lies in the interval 1 < k <
x x
x x
Definition 1.15:
The ππ‘β power of a graph πΊ is a graph with the same set of vertices of πΊ and an
edge between two vertices if there is a path of length almost π between them.πΊ2 is
called the square of πΊ, πΊ3 is called the cube of πΊ etc.
Lemma 2.1
Let G be a connected graph with (G) 2, them (G) + '(G) = n if and only if
G = P4 or C4.
Lemma 2.2
Let G be a connected graph with = 1 and = n then (G) + ' (G ) = n +
1 if and only if G = k1, n.
Lemma 2.3
For any tree with n 2 with more then two pendent vertices then there
exists a vertex v V such that (T β v) = (T).
Theorem: 2.4
The domination number of the flower graph πΊ = ππ.π is defined as
πΎ(πΊ) =
{
βπ 2β β + (π β 1)π ππ π = 3π
ππ ππ π = 3π + 1
βπ
3β + ππ ππ π = 3π + 2
Proof:
Flower graph ππ,π is represented in figrme 1.1 as below
The vertices of πΊ are denoted by π =
{π£1, π£2, β¦ , π£π; π£11, π£12, β¦ , π£1,πβ2; β¦ , π£π,1, β¦ , π£π,πβ2}
That is π = {π£π, π£ππ/π = 1,β¦ , π; π = 1,2, β¦ , π β 2}
![Page 5: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/5.jpg)
Domination parameters of f_(n.r) 8251
each petal ππ containing π
vertices such that
{π£π , π£ππ , π£π2, β¦ . π£π,πβ2, π£π+1}
Case (i)
If π is even and π = 3π
then select the vertices
π· = {π£1, π£3, β¦ , π£πβ1, π£1,3, π£1,6, π£1,9, β¦ , π£3,3, π£3,6, π£3,9, β¦ , π£5,3, π£5,6, β¦ , π£2,2, π£2,5, π£4,2, π£4,5β¦}
That is π· = {π£2πβ1; π£2πβ1,3π; π£2π,3πβ1/π = 1,2, β¦ βπ3β β, π = 1,2, β¦ ,
πβ2
3}
is the required dominating set of πΊ
Therefore, |π·| = [π 2β ] + (π β 1)π π€βπππ π = [π3β ]
= βπ 2β β + (π β 1)π
[π ππππ π ππ ππ£ππ [π 2β ] = βπ 2β β]
b) π is odd and π = 3π
![Page 6: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/6.jpg)
8252 G. Easwara Prasad and P.Suganthi
Select the vertices of πΊ
π· = {π£2πβ1; π£π; π£2πβ1,3π; π£2π,3πβ1/π = 1,2β¦ , π; π = 1,2, β¦ , [π β 2
3]}
is the required dominating set of πΊ. and its cardinality
|π·| = [π 2β ] + 1 + (π β 1)π
= βπ 2β β + (π β 1)π [πππππ π ππ πππ βπ2β β = [π 2β ] + 1]
Therefore, πΎ(πΊ) = βπ 2β β + (π β 1)π.
Case (ii)
If π = 3π + 1, each petal contains the number of vertices in the form of { 3π +
1/π = 1,2,3β¦ }
π· = {π£π,3πβ2/π = 1,2, β¦ , π πππ π = 1,2, β¦ , π β 1}
is the required domination set of πΊ
Therefore, |π·| = π [πβ1
3]
= π [3π + 1 β 1
3] [ π ππππ π = 3π + 1]
= ππ π€βπππ π = [π 3β ]
Case (iii)
If π = 3π + 2
In this case each petal containing the number of vertices is of the form 3π + 2/π =
1,2,3β¦
![Page 7: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/7.jpg)
Domination parameters of f_(n.r) 8253
(a) Suppose π = 3π + 1, the vertex set of πΊ is
π = {π£π , π£ππ/π = 1,2, β¦ , π πππ π = 1,2, β¦ , π β 2} Choose the vertices
π· = {π£3πβ2; π£π,πβ1; π£3πβ1,3πβ1; π£3π,3πβ2/π = 1,2, β¦ , π; π = 1,2, β¦ , [π β 2
3]}
is the required dominating set of πΊ and its cardinality is
|π·| = [π 3β ] + 1 + π (3π+2β2
3)
= βπ
3β + ππ
(b) Suppose π β 3π + 1 and π = 3π + 2 select the vertices
π· = {π£3πβ2; π£3πβ2,3π; π£3πβ1,3πβ1; π£3π,3πβ2/π = 1,2, β¦ , π; π = 1,2, β¦ , [π β 2
3]}
is the required dominating set of πΊ and its cardinality is,
|π·| = [π 3β ] + π (π β 2
3)
= βπ
3β + π {
3π + 2 β 2
3}
= βπ
3β + ππ
Therefore,
πΎ(πΊ) = {
βπ 2β β + (π β 1)π ππ π = 3π
ππ ππ π = 3π + 1
βπ 3β β + ππ ππ π = 3π + 2
Theorem: 2.5
The domination number πΎ ππ(ππ,3)2 ππ βπ 4β β
![Page 8: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/8.jpg)
8254 G. Easwara Prasad and P.Suganthi
Proof:
The graph πΊ = (ππ,3)2
is graph in figure 1.3
as follows
The vertices of πΊ are
π = {π£π; π£π,1/π = 1, . . . , π} select the vertices
π·(πΊ) = {π£4πβ2, π£π ππ π = 4π + 1π£4πβ2 ππ π β 4π + 1
π = 1,2, β¦ , π}
Now the cardinality of π· is
|π·| = {[π 4β ] + 1 ππ π = 4π + 1
βπ 4β β ππ π β 4π + 1}
β |π·| = {βπ
4β πππ πππ π [π ππππ [
π
4] + 1 = βπ 4 β β ]
Theorem: 2.6 The domination number of πΊ = (ππ,4)2 ππ βπ 3β β
Proof:
Let the graph πΊ = (ππ,4)2 and its
Vertices are π = {π£π; π£π,1; π£π,2/ π = 1,β¦ , π}
![Page 9: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/9.jpg)
Domination parameters of f_(n.r) 8255
Case (i) If π = 3π + 1, then select the vertices
π· = {π£3πβ1,π£π /π = 1,β¦ , π} ππ π = 3π + 1 and select
π· = {π£3πβ1/π = 1,2, β¦ , π} ππ π β 3π + 1
that is π· = {π£3πβ1 ππ π β 3π + 1
π£3πβ1; π£π ππ‘βπππ€ππ π πππ πππ π = 1,2, . . . , π} is the required dominating
set of πΊ
Therefore, |π·| = {[π 3β ] + 1 ππ π = 3πΎ + 1
βπ 3β β ππ π β 3π + 1
β |π·| = βπ 3β β πππ πππ π, {π ππππ π = 3π + 1, [π 3β ] + 1 = βπ 3β β}
β πΎ(πΊ) = βπ
3β
Theorem: 2.7
Let πΊ he a caterpillar graph with 3π vertices
Then, πΎ(πΊ) = ππ‘(πΊ) = πΎπ (πΊ) = πππ‘(πΊ) = π and
πΎππ (πΊ) = πΎπ(πΊ) = ππ(πΊ) = 2
Proof:
The caterpillar graph with 3π vertices are given as figure 1.4
The vertices of πΊ are denoted by
π = {π£π; π£π,1; π£π,2/π = 1,2, β¦ , π} choose the vertices
π· = {π£π/π = 1,2, β¦ , π} is the required dominating set of πΊ. Also all the elements of πΊ
are adjacent with the element of π· which satisfies the property of totally connected
domination and the induced sub graph of πΊ is connected in πΊ.
π(πΊ) β π· is a disconnected graph and |π·| = π
Therefore, π·π (πΊ) = {π£π/π = 1,2, β¦ , π} and πΎπ (πΊ) = π
![Page 10: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/10.jpg)
8256 G. Easwara Prasad and P.Suganthi
Hence, πΎ(πΊ) = πΎπ‘(πΊ) = πΎπ (πΊ) = πΎππ‘(πΊ) = π
Let, π·1 = {π£π,1; π£π,2/π = 1,2, β¦ , π} and |π·1| = 2π
Now the elements of π·1 are independent set in πΊ, also removal of π·1 from π(πΊ) we
get a connected graph, as ππ also each pair (π£π,1, π£π,2) from a matching of πΊ.
Therefore, πΎπ(πΊ) = πΎππ (πΊ) = πΎπ(πΊ) = 2π
Theorem: 2.8
πΊ be any caterpillar graph win 3π vertices its base elements are {π£π/π =
1,2β¦ , π} and {π£πβ²/π = 1,2β¦ , π} is the duplication of π£π and πΊπ is the duplication of
the graph πΊ then
πΎ(πΊπ) = πΎπ (πΊπ) = πΎπ(πΊπ) = πΎπ(πΊπ) = πΎππ‘(πΊπ) = πΎπ‘(πΊπ) = π
Proof:
The base vertices of πΊ, π = {π£π/π = 1, . . . , π} and the duplication of π is denoted by
πβ² = {π£πβ²/π = 1,2, β¦ , π} now the duplication πβ² ππ π forms a dominating set of πΊπ.
Therefore, πΎ(πΊπ) = π, also the element of πβ² are independent and π(πΊπ) β πβ² is
connected.
Therefore, πΎ(πΊπ) = πΎπ(πΊπ) = πΎππ (πΊπ) = π
the vertices π = {π£π/π = 1, . . . , π} is also a dominating set of πΊπ, the elements of πΊπ
are connected, also it forms a matching, removal of π(πΊπ) β π is disconnected and
its cardinality is π . Therefore, πΎπ (πΊπ) = πΎπ(πΊπ) = πΎππ‘(πΊπ) = π.
Result: 2.9
πΊ be any there regular graph with 4π vertices and πΎ(πΊ) = π then πΊ has a
perfact dominating set.
Proof:
πΊ be a three regular graph with 4π vertices and πΎ(πΊ) = π, that is each vertex π£π β πΊ
![Page 11: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/11.jpg)
Domination parameters of f_(n.r) 8257
dominates its neighbors, π· = {π£π/ π = 1, β¦ , π} and |π·| = π, which implies
π(π£π)βπ(π£π) = π for all π£π , π£π β π·, which implies π· is a perfect dominating set of
πΊ.
Example
The graph represented in figure 1.6
βπ(π£π) = π, π = 1,β¦ ,5
5
π=1
Therefore, π· = {π£1, π£2,π£3, π£4, π£5}
is the perfect dominating set of πΊ.
also π· is the independent and
split domination of the graph.
Hence, πΎπ(πΊ) = πΎπ(πΊ) = 5
Result: 2.10
Let πΊ be the π-sunlet graph then,
πΎ(πΊ) = πΎπ(πΊ) = πΎππ‘(πΊ) = πΎπ(πΊ) = πΎπ‘(πΊ) = πΎπ (πΊ) = πΎππ (πΊ) = π
Theorem:2.11
Let πΊ be any π»π graph (π»πfrom the path ππ ππ¦ the clique cover contribution)
then πΎ(πΊ) = πΎπ(πΊ) = πΎπ (πΊ) = βπ 2β β
![Page 12: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/12.jpg)
8258 G. Easwara Prasad and P.Suganthi
Proof:
π»π g raph is given in figure (1.7)
The base vertices of πΊ = π»π are denoted by π = {π£π/π = 1, . . . , π}
If π = 2π choose
π· = {π£2πβ1/π = 1, . . . , π} and
If π = 2π + 1, π· = {π£2πβ1, π£π/π = 1, . . . , π} is the required dominating set of πΊ,
the elements of π· are independent in πΊ , the induced sub graph π(πΊ) β π· is a
disconnected in πΊ.
Therefore, |π·|(πΊ) = |π·π(πΊ)| = |π·π (πΊ)| = [π
2] = βπ 2β β ππ π ππ ππ£ππ
|π·(πΊ)| = |π·π(πΊ)| = |π·π (πΊ)| = [π2β ] + 1 if π is odd
= βπ
2β
Hence, πΎ(πΊ) = πΎπ(πΊ) = πΎπ (πΊ) = βπ
2β for all π.
Result: 2.12
Let πΊ be π Fan graph πΉπ with π + 1 vertices then πΎ(πΊ) = πΎπ(πΊ) = πΎππ (πΊ) = 1 and
πΎπ‘(πΊ) = πΎπ(πΊ) = πΎπ (πΊ) = πΎππ‘(πΊ) = 2
Result: 2.13
Let πΉπ be a fan graph and πΊ be a new graph after the duplication of the vertex π£β² by π£
and deg(π£) = π then
![Page 13: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/13.jpg)
Domination parameters of f_(n.r) 8259
πΎ(πΊ) = πΎπ(πΊ) = πΎπ(πΊ) = πΎππ (πΊ) = πΎππ‘(πΊ) = 2
Theorem : 2.14
Let πΊ1and πΊ2 be any two graphs with domination numbers respectively on πΎ1 and
πΎ2 then πΎ (πΊ) = min {πΎ1 , πΎ2} when πΊ = πΊ1 + πΊ2
Proof:
Let πΎ (πΊ1) = πΎ1 and πΎ (πΊ2) = πΎ2 without lose of generality we take πΎ1 β€ πΎ2
now πΎ1 is the domination number and π·1 is the minimum dominating set of πΊ1 that
is all the elements of V(πΊ1) β π·1(πΊ1) is adjacent with all the element of π·1 in πΊ1
Since πΊ = πΊ1+ πΊ2 then all the elements of πΊ2 is adjacent with every element of
πΊ1 that is every element of πΊ2 is adjacent with the element of π·1
β all the elements of π(πΊ1)βπ·1 and π(πΊ2) is adjacent with the element of π·1
β π·1 is a dominating set of πΊ1 + πΊ2
βΉ πΎ (πΊ) = πΎ1
Theorem:2.15
Let G be any path containing π vertices π β₯ 3 then π» = πΊ β π£ be any sub graph of
G where π£ is any cut vertex of πΊ and π β 3π + 1 then πΎ(πΊ) β€ πΎ (π»).
Proof:
Let πΊ be a path containing β²πβ² vertices and the vertices of πΊ are π ={π£1, π£2, π£3, β¦ , π£π} with π(π£1) = π(π£π) = 1 and π(π£π) = 2 for all π =
2, . . . , π β 1
Case (i) π» = πΊ β π£1 ππ π» = πΊ β π£π β π» = ππβ1 πππ π β 3π + 1
we know that, πΎ(ππ) = βπ3β β β πΎ(π») = πΎ(ππβ1)
= [π β 1
3]
= βπ 3β β [β΅ π β 3π + 1]
= πΎ(ππ)
= πΎ(πΊ)
Case (ii)
π» = πΊ β π£π, π = 2,3, . . . , π β 1
Let π£π be the ππ‘β vertex in the path ππ, then π» containing two paths π1 and π2 such that
![Page 14: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/14.jpg)
8260 G. Easwara Prasad and P.Suganthi
π1 contains π β 1 vertices from π£1 to π£πβ1 and π2 containing π β π vertices from
π£π+1 to π£π
Figure 1.8
since π β 3π + 1, πΏ(π1) + πΏ(π2) β 3π
Therefore, πΏ(π1) + πΏ(π2) = 3π β 1 ππ πΏ(π1) + πΏ(π2) = 3π β 2
Case (i)
πΏ(π1) + πΏ(π2) = 3π β 1 and πΏ(ππ) = 3π
π β 1 + π β π = 3π β 1 β β β β β β (π΄)
From (A) , π1 or π2 containing any one of the following form
(i) either π β 1 β‘ 0(πππ 3) and π β π β‘ 2 (πππ 3) or
π β 1 β‘ 1(πππ 3) πππ π β π β‘ 1(πππ 3)
Let π β 1 = π1 πππ π β π = π2 then
[π β 1
3] = π1 πππ [
π β π
3] = π2
β βπβ1
3β = π1 and β
πβπ
3β = π2 + 1
β π1 + π2 + 1 = π
β πΎ(π1) + πΎ(π2) = πΎ(πΊ)
β πΎ(π») = πΎ(πΊ) β β β β β β (π)
Suppose , π β 1 = 1(πππ 3) πππ π β π = 1(πππ 3)
Let [πβ1
3] = π1 πππ [
πβπ
3] = π2
β βπ β 1
3β = π1 + 1 πππ β
π β π
3β = π2 + 1
β π1 + π2 + 2 > π [β΅ π1 + π2 + 1 = π]
β πΎ(π1) + πΎ(π2) β₯ πΎ(πΊ) β β β β β β (ππ)
Therefore, πΎ(πΊ) β€ πΎ(π») when π = 3π
![Page 15: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/15.jpg)
Domination parameters of f_(n.r) 8261
case(ii)
πΏ(π1) + πΏ(π2) = 3π β 2
then π1 or π 2 containing the number of vertices in any one of the following form
either π β 1 β‘ 0 (πππ 3) πππ π β π β‘ 1 (πππ 3) or vice verse
or π β 1 β‘ 2(πππ 3 ) πππ π β π β‘ 2(πππ 3)
Suppose, π β 1 β‘ 0(πππ 3 ) πππ π β π β‘ 1(πππ 3)
Let βπβ1
3β = π1 πππ [
πβπ
3] = π2
Then βπβ1
3β = π1 πππ β
πβπ
3β = π2 + 1
β π1 + π2 + 1 = π
Therefore, πΎ(π1) + πΎ(π2) = πΎ(πΊ)
πΎ(π») = πΎ(πΊ) β β ββ β (πππ)
suppose, π β 1 β‘ 2(πππ 3) πππ π β π β‘ 2(πππ 3)
Let [πβ1
3] = π1 πππ [
πβπ
3] = π2
β βπ β 1
3β = π1 + 1 πππ β
π β π
3β = π2 + 1
β π2 + π2 + 2 > π
β πΎ(π1) + πΎ(π2) > π β β β β β β (ππ£)
In all cases, πΎ(πΊ) β€ πΎ(π»)
Corollary : 2.16
suppose πΊ = ππ having π vertices if π = 3π + 1 then,
πΎ(π») β€ πΎ(πΊ) ππ π» = πΊ β π£π/π = 3π + 1, π = 0,1,2. ..
Proof:
Let πΊ = ππ, then the vertices of ππ are π = {π£π/π = 1, . . . , π}
π» = πΊ β π£π/π = 3π + 1, π = 0,1,2. ..
Case (i) π» = πΊ β π£1 ππ π» = πΊ β π£π
π» is a path containing 3π vertices then
πΎ(π») = β3π
3β = π πππ πΎ(πΊ) = β
π
3β = β
π + 1
3β = π + 1
Therefore, πΎ(π») < πΎ(πΊ).
![Page 16: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/16.jpg)
8262 G. Easwara Prasad and P.Suganthi
Case (ii)
π» = πΊ β π£π/π = 3π + 1, π = 1,2, . .. then π» is a graph containing two paths π1 and
π2.
πΏ(π1) = π β 1; πΏ(π2) = π β π with π β 1 β‘ 0(πππ 3) πππ π β π β‘
0(πππ 3)
[since π = 3π + 1; π = 1,2, . . . ]
β βπ β 1
3β = π1 πππ β
π β π
3β = π2
β π1 + π2 < π + 1 [β΅ βπ
3β = π + 1]
β πΎ(π1) + πΎ(π2) β€ πΎ(πΊ)
Hence the proof
Theorem:2.17
Let πΊ be π path having π vertices π£πβ² β πΊπ be the duplication of π£π β πΊ then
πΎ(πΊ) β€ πΎ(πΊπ)
Proof:
Let π = {π£1, π£2, β¦ , π£π} be the vertex set of πΊ = ππ
If π = 3π πππ π£π = π£3πβ1/π = 1,2,3, . .. then
π·(πΊπ) = {π£3πβ1, π£πβ1/π = 1,2,3β¦ } is the dominating set of πΊπ and
|π·(πΊπ)| = [π 3β ] + 1
= βπ 3β β + 1 [β΅ π = 3π β βπ 3β β = [π 3β ]]
If π£π β π£3πβ1/π = 1,2, . .. then
π·(πΊπ) = {π£3πβ1/π = 1,2, β¦ , } is the required dominating set of πΊ and |π·(πΊπ)| =
[π 3β ] = [π 3β ]
If, π = 3π + 1 and π£π = π£3πβ1/π = 1,2, . ..
π·(πΊπ) = {π£3πβ2, π£π/π = 1,2, . . . } is the required dominating set of πΊ and its
cardinality |π·(πΊπ)| = [ π3β ] + 1 = βπ 3β β
Suppose, π£π β π£3πβ1/π = 1,2, . .. then the required dominating set of πΊπ is
π·(πΊπ) = {π£3πβ1,π£πβ1/π = 1,2, . . . } and its cardinality is
![Page 17: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/17.jpg)
Domination parameters of f_(n.r) 8263
|π·(πΊπ)| = [π 3β ] + 1 = βπ3β β
π = 3π + 2 πππ π£π = π£3πβ1/π = 1,2, β¦
The required dominating set of πΊπ is
π·(πΊπ) = {π£3πβ1, π£πβ1/π = 1,2, . . . } and its cardinality is
|π·(πΊπ)| = [π 3β ] + 1 = βπ 3β β
Suppose, π = 3π + 2 and π£π β π£3πβ1 then
π·(πΊπ) = {π£3πβ2, π£πβ1/π = 1,2, . . . } is the required dominating set and its cardinality
is
|π·(πΊπ)| = [π 3β ] + 1 = βπ3β β
Therefore, in all cases [π 3β ] β€ πΎ(πΊπ) β€ βπ 3β β + 1
Hence, πΎ(πΊ) β€ πΎ(πΊπ)
Hence the proof.
REFERENCE
[1] R.B. Allan, R. C. Laskar On domination independent domination number
of a graph Discrete math 23 (1978), 73 β 76.
[2] B.D. Acharya. The strong domination number of a graph J. Math Phys .Sci.
14(5). 1980
[3] A.A. Bertossi Total domination in interval graph Inf. Process Lelt.23
(1986), 131 β 134
[4] M. Farher. Domination independent domination and duality in strongly
chordal graph. Discret Appl. Math 7 (1984) 115 β 130
[5] G.J. Charg and G. L. Nembanser. The k-domination and k- stability
problems on Sun-free chordel graph SHAM. I. Alg. Dissc. Math 5 (1984)
332 βn 345
[6] Robert. B, ALLAN , Renu LASKART and Stephen HEDEINIEMIH A
NOTE ON TOTAL DOMINATION DISCRETE mathematics 9 (1984) 7 β
13
[7] T.Y. Chang and W. E. Clark. The domination numbers of the 5 n and the
6 n grid graphs. J.Graph Theory 17 (1) 81 β 107, 1993
[8] V.R. Kulli and A . Singar kanti, Inverse domination in graphs Nat. Acad.
Sci. letters 14: 473 β 475, 1991
[9] M. Zwierx Chowski. The domination parameter of the Corona and itse
generalization ARS combin. 72: 171 β 180, 2004
![Page 18: Domination parameters of π.π](https://reader031.vdocuments.us/reader031/viewer/2022013101/61d1f6040fd508112d34e239/html5/thumbnails/18.jpg)
8264 G. Easwara Prasad and P.Suganthi