domination parameters of 𝒏.𝒓

18
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 Prasad 1 and P.Suganthi 2 1 Associate Professor, Department of Mathematics, S.T.Hindu College; Tamilnadu, India. 2 Research 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 k th 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

Upload: others

Post on 03-Jan-2022

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Domination parameters of 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

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 𝒏.𝒓

8264 G. Easwara Prasad and P.Suganthi