viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham...

26
Operations on Neutrosophic Vague Graphs N. Durga 1 , S. Satham Hussain 2,* , Saeid Jafari 3 and Said Broumi 4 1 Department of Mathematics, The Gandhigram Rural Institute (Deemed to be University), Gandhigram, Tamil Nadu, India. E-mail: [email protected] 2 Department of Mathematics, Jamal Mohamed College, Trichy, Tamil Nadu, India. E-mail: [email protected] 3 College of Vestsjaelland South, Slagelse, Denmark and Mathematical and Physical Science Foundation, Slagelse, Denmark. E-mail: [email protected] 4 Laboratory of Information Processing, Faculty of Science Ben MSik, University Hassan II, Casablanca, Morocco. E-mail: [email protected] Abstract: In this manuscript, the operations on neutrosophic vague graphs are introduced. More- over, Cartesian product, cross product, lexicographic product, strong product and composition of neutrosophic vague graph are investigated and the proposed concepts are illustrated with examples. Keywords: Neutrosophic vague graph, operations of neutrosophic vague graph, Cartesian product. 2010 Mathematics Subject Classification: 05C72; 05C76; 03E72. 1. Introduction Vague sets are regarded as a special case of context-dependent fuzzy sets. Initially, vague set theory was first investigated by Gau and Buehrer [25] which is an extension of fuzzy set theory. In order to handle the indeterminate and inconsistent information, the neutrosophic set is introduced by Florentin Smarandache and has been studied extensively (see [5] - [24]). Neutrosophic set and related notions have shown applications in many different fields. In the definition of neutrosophic set, the indeterminacy value is quantified explicitly and truth-membership, indeterminacy membership, and false-membership are defined completely independent, if the sum of these values lies between 0 and 3. Neutrosophic vague set is introduced in [6]. Al-Quran and Hassan in [2] introduced the concept of neutrosophic vague soft expert set as a combination of neutrosophic vague set and soft expert set in order to improve the reasonability of decision making in reality. Neutrosophic vague

Transcript of viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham...

Page 1: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs

N. Durga1, S. Satham Hussain2,∗, Saeid Jafari3 and Said Broumi4

1Department of Mathematics, The Gandhigram Rural Institute (Deemed to be University),

Gandhigram, Tamil Nadu, India.

E-mail: [email protected]

2Department of Mathematics, Jamal Mohamed College, Trichy, Tamil Nadu, India.

E-mail: [email protected]

3College of Vestsjaelland South, Slagelse, Denmark and Mathematical and Physical Science

Foundation, Slagelse, Denmark.

E-mail: [email protected]

4Laboratory of Information Processing, Faculty of Science Ben MSik, University Hassan II,

Casablanca, Morocco.

E-mail: [email protected]

Abstract: In this manuscript, the operations on neutrosophic vague graphs are introduced. More-

over, Cartesian product, cross product, lexicographic product, strong product and composition of

neutrosophic vague graph are investigated and the proposed concepts are illustrated with examples.

Keywords: Neutrosophic vague graph, operations of neutrosophic vague graph, Cartesian product.

2010 Mathematics Subject Classification: 05C72; 05C76; 03E72.

1. Introduction

Vague sets are regarded as a special case of context-dependent fuzzy sets. Initially, vague set

theory was first investigated by Gau and Buehrer [25] which is an extension of fuzzy set theory. In

order to handle the indeterminate and inconsistent information, the neutrosophic set is introduced

by Florentin Smarandache and has been studied extensively (see [5] - [24]). Neutrosophic set and

related notions have shown applications in many different fields. In the definition of neutrosophic set,

the indeterminacy value is quantified explicitly and truth-membership, indeterminacy membership,

and false-membership are defined completely independent, if the sum of these values lies between

0 and 3. Neutrosophic vague set is introduced in [6]. Al-Quran and Hassan in [2] introduced the

concept of neutrosophic vague soft expert set as a combination of neutrosophic vague set and soft

expert set in order to improve the reasonability of decision making in reality. Neutrosophic vague

Page 2: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

2 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

graphs are investigated in [16]. Motivated by papers [6, 16], we introduce the concept of operations

on neutrosophic vague graphs. The major contributions of this work are as follows:

• Operations on neutrosophic vague graphs are established.

• Cartesian product, cross product, lexicographic product, strong product and composition of

neutrosophic vague graph are explained with examples.

2. Preliminaries

Definition 2.1. [25] A vague set A on a non empty set X is a pair (TA, FA), where TA : X → [0, 1]

and FA : X → [0, 1]are true membership and false membership functions, respectively, such that

0 ≤ TA(x) + FA(y) ≤ 1 for any x ∈ X.

Let X and Y be two non-empty sets. A vague relation R of X to Y is a vague set R on X × Y that

is R = (TR, FR), where TR : X × Y → [0, 1], FR : X × Y → [0, 1] and satisfy the condition:

0 ≤ TR(x, y) + FR(x, y) ≤ 1 for any x ∈ X.

Definition 2.2. [7] Let G∗ = (V,E) be a graph. A pair G = (J,K) is called a vague graph on G∗,

where J = (TJ , FJ) is a vague set on V and K = (TK , FK) is a vague set on E ⊆ V × V such that

for each xy ∈ E,

TK(xy) ≤ min(TJ(x), TJ(y)) and FK(xy) ≥ max(TJ(x), FJ(y)).

Definition 2.3. [17] A Neutrosophic set A is contained in another neutrosophic set B, (i.e) A ⊆ B

if ∀x ∈ X,TA(x) ≤ TB(x), IA(x) ≥ IB(x)and FA(x) ≥ FB(x).

Definition 2.4. [11, 17] Let X be a space of points (objects), with a generic elements in X denoted

by x. A single valued neutrosophic set A in X is characterised by truth-membership function TA(x),

indeterminacy-membership function IA(x) and falsity-membership-function FA(x),

For each point x in X, TA(x), FA(x), IA(x) ∈ [0, 1]. Also

A = {x, TA(x), FA(x), IA(x)} and 0 ≤ TA(x) + IA(x) + FA(x) ≤ 3.

Definition 2.5. [1, 22] A neutrosophic graph is defined as a pair G∗ = (V,E) where

(i) V = {v1, v2, .., vn} such that T1 = V → [0, 1], I1 = V → [0, 1] and F1 = V → [0, 1] denote

the degree of truth-membership function, indeterminacy function and falsity-membership function,

respectively and

0 ≤ T1(v) + I1(v) + F1(v) ≤ 3

Page 3: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 3

(ii) E ⊆ V × V where T2 = E → [0, 1], I2 = E → [0, 1] and F2 = E → [0, 1] are such that

T2(uv) ≤ min{T1(u), T1(v)},

I2(uv) ≤ min{I1(u), I1(v)},

F2(uv) ≤ max{F1(u), F1(v)},

and 0 ≤ T2(uv) + I2(uv) + F2(uv) ≤ 3, ∀uv ∈ E

Definition 2.6. [6] A neutrosophic vague set ANV (NVS in short) on the universe of discourse X

written as

ANV = {〈x, TANV(x), IANV

(x), FANV(x)〉, x ∈ X}

whose truth-membership, indeterminacy membership and falsity-membership function is defined as

TANV(x) = [T−(x), T+(x)], IANV

(x) = [I−(x), I+(x)] and FANV(x) = [F−(x), F+(x)],

where T+(x) = 1− F−(x), F+(x) = 1− T−(x), and 0 ≤ T−(x) + I−(x) + F−(x) ≤ 2.

Definition 2.7. [6] The complement of NVS ANV is denoted by AcNV and it is defined by

T cANV

(x) = [1− T+(x), 1− T−(x)],

IcANV(x) = [1− I+(x), 1− I−(x)],

F cANV

(x) = [1− F+(x), 1− F−(x)],

Definition 2.8. [6] Let ANV and BNV be two NVSs of the universe U . If for all ui ∈ U,

TANV(ui) ≤ TBNV

(ui), IANV(ui) ≥ IBNV

(ui), FANV(ui) ≥ FBNV

(ui)

then the NVS, ANV are included in BNV , denoted by ANV ⊆ BNV where 1 ≤ i ≤ n.

Definition 2.9. [6] The union of two NVSs ANV and BNV is a NVSs, CNV , written as CNV = ANV ∪

BNV , whose truth membership function, indeterminacy-membership function and false-membership

function are related to those of ANV and BNV by

TCNV(x) = [max(T−

ANV(x), T−

BNV(x)),max(T+

ANV(x), T+

BNV(x))]

ICNV(x) = [min(I−ANV

(x), I−BNV(x)),min(I+ANV

(x), I+BNV(x))]

FCNV(x) = [min(F−

ANV(x), F−

BNV(x)),min(F+

ANV(x), F+

BNV(x))]

Page 4: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

4 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

Definition 2.10. [6] The intersection of two NVSs, ANV and BNV is a NVSs CNV , written as

CNV = ANV ∩BNV , whose truth-membership function, indeterminacy-membership function and false-

membership function are related to those of ANV and BNV by

TCNV(x) = [min(T−

ANV(x), T−

BNV(x)),min(T+

ANV(x), T+

BNV(x))]

ICNV(x) = [max(I−ANV

(x), I−BNV(x)),max(I+ANV

(x), I+BNV(x))]

FCNV(x) = [max(F−

ANV(x), F−

BNV(x)),max(F+

ANV(x), F+

BNV(x))]

Definition 2.11. [16] Let G∗ = (R,S) be a graph. A pair G = (A,B) is called a neutrosophic vague

graph (NVG) on G∗ or a neutrosophic vague graph where A = (TA, IA, FA) is a neutrosophic vague

set on R and B = (TB , IB , FB) is a neutrosophic vague set S ⊆ R×R where

(1)R = {v1, v2, ..., vn} such that T−A : R→ [0, 1], I−A : R→ [0, 1], F−

A : R→ [0, 1] which satisfies the

condition F−A = [1− T+

A ]

T+A : R→ [0, 1], I+A : R→ [0, 1], F+

A : R→ [0, 1] which satisfies the condition F+A = [1− T−

A ]

denotes the degree of truth membership function, indeterminacy membership and falsity membership

of the element vi ∈ R, and

0 ≤ T−A (vi) + I−A (vi) + F−

A (vi) ≤ 2

0 ≤ T+A (vi) + I+A (vi) + F+

A (vi) ≤ 2.

(2) S ⊆ R×R where

T−B : R×R→ [0, 1], I−B : R×R→ [0, 1], F−

B : R×R→ [0, 1]

T+B : R×R→ [0, 1], I+B : R×R→ [0, 1], F+

B : R×R→ [0, 1]

denotes the degree of truth membership function, indeterminacy membership and falsity membership

of the element vi, vj ∈ S, respectively and such that,

0 ≤ T−B (vivj) + I−B (vivj) + F−

B (vivj) ≤ 2

0 ≤ T+B (vivj) + I+B (vivj) + F+

B (vivj) ≤ 2,

Page 5: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 5

such that

T−B (vivj) ≤ min{T−

A (vi), T−A (vj)}

I−B (vivj) ≤ min{I−A (vi), I−A (vj)}

F−B (vivj) ≤ max{F−

A (vi), F−A (vj)},

and similarly

T+B (vivj) ≤ min{T+

A (vi), T+A (vj)}

I+B (vivj) ≤ min{I+A (vi), I+A (vj)}

F+B (vivj) ≤ max{F+

A (vi), F+A (vj)}.

Example 2.1. Consider a neutrosophic vague graph G = (R,S) such that A = {a, b, c} and B =

{ab, bc, ca} are defined by

a = T [0.5, 0.6], I[0.4, 0.3], F [0.4, 0.5], b = T [0.4, 0.6], I[0.7, 0.3], F [0.4, 0.6],

c = T [0.4, 0.4], I[0.5, 0.3], F [0.6, 0.6]

a− = (0.5, 0.4, 0.4), b− = (0.4, 0.7, 0.4), c− = (0.4, 0.5, 0.6)

a+ = (0.6, 0.3, 0.5), b+ = (0.6, 0.3, 0.6), c+ = (0.4, 0.3, 0.6)

Figure 1 NEUTROSOPHIC VAGUE GRAPH

Page 6: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

6 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

3. Operations on Neutrosophic Vague Graphs

Definition 3.1. The Cartesian product of two NVGs G1 and G2 is denoted by the pair G1 × G2 =

(R1 ×R2, S1 × S2) and defined as

T−A1×A2

(kl) = T−A1

(k) ∧ T−A2

(l)

I−A1×A2(kl) = I−A1

(k) ∧ I−A2(l)

F−A1×A2

(kl) = F−A1

(k) ∨ F−A2

(l)

T+A1×A2

(kl) = T+A1

(k) ∧ T+A2

(l)

I+A1×A2(kl) = I+A1

(k) ∧ I+A2(l)

F+A1×A2

(kl) = F+A1

(k) ∨ F+A2

(l)

for all (k, l) ∈ R1 ×R2.

The membership value of the edges in G1 ×G2 can be calculated as,

(1)T−B1×B2

(kl1)(kl2) = T−A1

(k) ∧ T−B2

(l1l2)

T+B1×B2

(kl1)(kl2) = T+A1

(k) ∨ T+B2

(l1l2),

(2)I−B1×B2(kl1)(kl2) = I−A1

(k) ∧ I−B2(l1l2)

I+B1×B2(kl1)(kl2) = I+A1

(k) ∨ I+B2(l1l2),

(3)F−B1×B2

(kl1)(kl2) = F−A1

(k) ∨ F−B2

(l1l2)

F+B1×B2

(kl1)(kl2) = F+A1

(k) ∧ F+B2

(l1l2),

for all k ∈ R1, l1l2 ∈ S2.

(4)T−B1×B2

(k1l)(k2l) = T−A2

(l) ∧ T−B2

(k1k2)

T+B1×B2

(k1l)(k2l) = T+A2

(l) ∨ T+B2

(k1k2),

(5)I−B1×B2(k1l)(k2l) = I−A2

(l) ∧ I−B2(k1k2)

Page 7: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 7

I+B1×B2(k1l)(k2l) = I+A2

(l) ∨ I+B2(k1k2),

(6)F−B1×B2

(k1l)(k2l) = F−A2

(l) ∨ F−B2

(k1k2)

F+B1×B2

(k1l)(k2l) = F+A2

(l) ∧ F+B2

(k1k2),

for all k1k2 ∈ S1, l ∈ R2.

Example 3.1. Consider G1 = (R1, S1) and G2 = (R2, S2) are two NVGs of G = (R,S) , as repre-

sented in Figure 2, now we get G1 ×G2 as follows Figure 3.

k1 = T [0.5, 0.6], I[0.6, 0.4], F [0.4, 0.5], k2 = T [0.4, 0.6], I[0.7, 0.3], F [0.4, 0.6],

k3 = T [0.6, 0.4], I[0.3, 0.7], F [0.6, 0.4],k4 = T [0.4, 0.4], I[0.4, 0.6], F [0.6, 0.6]

l1 = T [0.4, 0.4], I[0.5, 0.3], F [0.6, 0.6], l2 = T [0.5, 0.6], I[0.4, 0.3], F [0.4, 0.5],

l3 = T [0.4, 0.6], I[0.7, 0.3], F [0.4, 0.6]

k−1 = (0.5, 0.6, 0.4), k−2 = (0.4, 0.7, 0.4), k−3 = (0.6, 0.3, 0.6),k−4 = (0.4, 0.4, 0.6)

k+1 = (0.6, 0.4, 0.5), k+2 = (0.6, 0.3, 0.6), k+3 = (0.4, 0.7, 0.4),k−4 = (0.4, 0.6, 0.6)

l−1 = (0.4, 0.5, 0.6), l−2 = (05, 0.4, 0.4), l−3 = (0.4, 0.7, 0.4)

l+1 = (0.4, 0.3, 0.6), l+2 = (0.6, 0.3, 0.5), l+3 = (0.6, 0.3, 0.6)

Page 8: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

8 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

Figure 2NEUTROSOPHIC VAGUE GRAPH

Theorem 3.2. The Cartesian product G1 × G2 = (R1 × R2, S1 × S2) of two NVG G1 and G2 also

an NVG of G1 ×G2.

Proof. We consider,

Case 1: for k ∈ R1, l1l2 ∈ S2,

T(B1×B2)((kl1)(kl2)) = TA1(k) ∧ TB2(l1l2)

≤ TA1(k) ∧ [TA2

(l1) ∧ TA2(l2)]

= [TA1(k) ∧ TA2

(l1)] ∧ [TA1(k) ∧ TA2

(l2)]

= T(A1×A2)(k, l1) ∧ T(A1×A2)(k, l2)

I(B1×B2)((kl1)(kl2)) = IA1(k) ∧ IB2(l1l2)

Page 9: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 9

Figure 3CARTESIAN PRODUCT OF NEUTROSOPHIC VAGUE GRAPH

≤ IA1(k) ∧ [IA2(l1) ∧ IA2(l2)]

= [IA1(k) ∧ IA2

(l1)] ∧ [IA1(k) ∧ IA2

(l2)]

= I(A1×A2)(k, l1) ∧ I(A1×A2)(k, l2)

F(B1×B2)((kl1)(kl2)) = FA1(k) ∨ FB2

(l1l2)

≤ FA1(k) ∨ [FA2(l1) ∨ FA2(l2)]

Page 10: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

10 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

= [FA1(k) ∨ FA2

(l1)] ∨ [FA1(k) ∨ FA2

(l2)]

= F(A1×A2)(k, l1) ∨ F(A1×A2)(k, l2)

for all kl1, kl2 ∈ G1 ×G2.

Case 2: for k ∈ R2, l1l2 ∈ S1.

T(B1×B2)((l1k)(l2k)) = TA2(k) ∧ TB1(l1l2)

≤ TA2(k) ∧ [TA1

(l1) ∧ TA1(l2)]

= [TA2(k) ∧ TA1

(l1)] ∧ [TA2(k) ∧ TA1

(l2)]

= T(A1×A2)(l1, k) ∧ T(A1×A2)(l2, k)

I(B1×B2)((l1k)(l2k)) = IA2(k) ∧ IB1(l1l2)

≤ IA2(k) ∧ [IA1

(l1) ∧ IA1(l2)]

= [IA2(k) ∧ IA1

(l1)] ∧ [IA2(k) ∧ IA1

(l2)]

= I(A1×A2)(l1, k) ∧ I(A1×A2)(l2, k)

F(B1×B2)((l1k)(l2k)) = FA2(k) ∨ FB1(l1l2)

≤ FA2(k) ∨ [FA1

(l1) ∨ FA1(l2)]

= [FA2(k) ∨ FA1

(l1)] ∨ [FA2(k) ∨ FA1

(l2)]

= F(A1×A2)(l1, k) ∨ F(A1×A2)(l2, k)

for all l1k, l2k ∈ G1 ×G2 and hence the proof. �

Definition 3.3. The Cross product of two NVGs G1 and G2 is denoted by the pair G1 × G2 =

(R1 ×R2, S1 × S2) and is defined as

(i)T−A1×A2

(kl) = T−A1

(k) ∧ T−A2

(l)

I−A1×A2(kl) = I−A1

(k) ∧ I−A2(l)

F−A1×A2

(kl) = F−A1

(k) ∨ F−A2

(l)

Page 11: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 11

T+A1×A2

(kl) = T+A1

(k) ∧ T+A2

(l)

I+A1×A2(kl) = I+A1

(k) ∧ I+A2(l)

F+A1×A2

(kl) = F+A1

(k) ∨ F+A2

(l)

for all k, l ∈ R1 ×R2.

(ii)T−(B1×B2)

(k1l1)(k2l2) = T−B1

(k1k2) ∧ T−B2

(l1l2)

I−(B1×B2)(k1l1)(k2l2) = I−B1

(k1k2) ∧ I−B2(l1l2)

F−(B1×B2)

(k1l1)(k2l2) = F−B1

(k1k2) ∨ F−B2

(l1l2)

(iii)T+(B1×B2)

(k1l1)(k2l2) = T+B1

(k1k2) ∧ T+B2

(l1l2)

I+(B1×B2)(k1l1)(k2l2) = I+B1

(k1k2) ∧ I+B2(l1l2)

F+(B1×B2)

(k1l1)(k2l2) = F+B1

(k1k2) ∨ F+B2

(l1l2)

for all k1k2 ∈ S1, l1l2 ∈ S2.

Example 3.2. Consider G1 = (R1, S1) and G2 = (R2, S2) as two NVG of G = (R,S) respectively,

(see Figure 2). We obtain the cross product of G1 ×G2 as follows (see Figure 4).

Figure 4CROSS PRODUCT OF NEUTROSOPHIC VAGUE GRAPH

Page 12: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

12 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

Theorem 3.4. The cross product G1 ×G2 = (R1 ×R2, S1 × S2) of two NVG of NVG G1 and G2 is

an NVG of G1 ×G2.

Proof. For all k1l1, k2l2 ∈ G1 ×G2

T(B1×B2)((k1l1)(k2l2)) = TB1(k1k2) ∧ TB2

(l1l2)

≤ [TA1(k1) ∧ TA1

(k2)] ∧ [TA2(l1) ∧ TA2

(l2)]

= [TA1(k1) ∧ TA2(l1)] ∧ [TA1(k2) ∧ TA2(l2)]

= T(A1×A2)(k1l1) ∧ T(A1×A2)(k2, l2)

I(B1×B2)((k1l1)(k2l2)) = IB1(k1k2) ∧ IB2

(l1l2)

≤ [IA1(k1) ∧ IA1

(k2)] ∧ [IA2(l1) ∧ IA2

(l2)]

= [IA1(k1) ∧ IA2(l1)] ∧ [IA1(k2) ∧ IA2(l2)]

= I(A1×A2)(k1l1) ∧ I(A1×A2)(k2, l2)

F(B1×B2)((k1l1)(k2l2)) = FB1(k1k2) ∨ FB2

(l1l2)

≤ [FA1(k1) ∨ FA1

(k2)] ∨ [FA2(l1) ∨ FA2

(l2)]

= [FA1(k1) ∨ FA2(l1)] ∨ [FA1(k2) ∨ FA2(l2)]

= F(A1×A2)(k1l1) ∨ F(A1×A2)(k2, l2)

This completes the proof. �

Definition 3.5. The lexicographic product of two NVGs G1 and G2 is denoted by the pair G1 •G2 =

(R1 •R2, S1 • S2) and defined as

(i)T−(A1•A2)

(kl) = T−A1

(k) ∧ T−A2

(l)

I−(A1•A2)(kl) = I−A1

(k) ∧ I−A2(l)

F−(A1•A2)

(kl) = F−A1

(k) ∨ F−A2

(l)

T+(A1•A2)

(kl) = T+A1

(k) ∧ T+A2

(l)

I+(A1•A2)(kl) = I+A1

(k) ∧ I+A2(l)

Page 13: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 13

F+(A1•A2)

(kl) = F+A1

(k) ∨ F+A2

(l),

for all kl ∈ R1 ×R2

(ii)T−(B1•B2)

(kl1)(kl2) = T−A1

(k) ∧ T−B2

(l1l2)

I−(B1•B2)(kl1)(kl2) = I−A1

(k) ∧ I−B2(l1l2)

F−(B1•B2)

(kl1)(kl2) = F−A1

(k) ∨ F−B2

(l1l2)

T+(B1•B2)

(kl1)(kl2) = T+A1

(k) ∧ T+B2

(l1l2)

I+(B1•B2)(kl1)(kl2) = I+A1

(k) ∧ I+B2(l1l2)

F+(B1•B2)

(kl1)(kl2) = F+A1

(k) ∨ F+B2

(l1l2),

for all k ∈ R1, l1l2 ∈ S2.

(iii)T−(B1•B2)

(k1l1)(k2l2) = T−B1

(k1k2) ∧ T−B2

(l1l2)

I−(B1•B2)(k1l1)(k2l2) = I−B1

(k1k2) ∧ I−B2(l1l2)

F−(B1•B2)

(k1l1)(k2l2) = F−B1

(k1k2) ∨ F−B2

(l1l2)

T+(B1•B2)

(k1l1)(k2l2) = T+B1

(k1k2) ∧ T+B2

(l1l2)

I+(B1•B2)(k1l1)(k2l2) = I+B1

(k1k2) ∧ I+B2(l1l2)

F+(B1•B2)

(k1l1)(k2l2) = F+B1

(k1k2) ∨ F+B2

(l1l2),

for all k1k2 ∈ S1, l1l2 ∈ S2.

Example 3.3. The lexicographic product of NVG G1 = (S1, T1) and G2 = (S2, T2) shown in Figure

2 is defined as G1 •G2 = (S1 • S2, T1 • T2) and is presented in Figure 5.

Theorem 3.6. The lexicographic product G1 •G2 = (R1 •R2, S1 • S2) of two NVG of NVG G1 and

G2 is an NVG of G1 •G2.

Proof. We have two cases.

Case 1: For k ∈ R1, l1l2 ∈ S2,

T(B1•B2)((kl1)(kl2)) = TA1(k) ∧ TB2

(l1l2)

Page 14: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

14 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

Figure 5LEXICOGRAPHIC PRODUCT OF NEUTROSOPHIC VAGUE GRAPH

≤ TA1(k) ∧ [TA2(l1) ∧ TA2(l2)]

= [TA1(k) ∧ TA2

(l1)] ∧ [TA1(k) ∧ TA2

(l2)]

= T(A1•A2)(k, l1) ∧ T(A1•A2)(k, l2)

I(B1•B2)((kl1)(kl2)) = IA1(k) ∧ IB2

(l1l2)

≤ IA1(k) ∧ [IA2(l1) ∧ IA2(l2)]

Page 15: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 15

= [IA1(k) ∧ IA2

(l1)] ∧ [IA1(k) ∧ IA2

(l2)]

= I(A1•A2)(k, l1) ∧ I(A1•A2)(k, l2)

F(B1•B2)((kl1)(kl2)) = FA1(k) ∨ FB2

(l1l2)

≤ FA1(k) ∨ [FA2(l1) ∨ FA2(l2)]

= [FA1(k) ∨ FA2

(l1)] ∨ [FA1(k) ∨ FA2

(l2)]

= F(A1•A2)(k, l1) ∨ F(A1•A2)(k, l2)

for all kl1, kl2 ∈ S1 × S2.

Case 2: For all k1l1 ∈ S1, k2l2 ∈ S2,

T(B1•B2)((k1l1)(k2l2)) = TB1(k1k2) ∧ TB2

(l1l2)

≤ [TA1(k1) ∧ TA1

(k2)] ∧ [TA2(l1) ∧ TA2

(l2)]

= [TA1(k1) ∧ TA2(l1)] ∧ [TA1(k2) ∧ TA2(l2)]

= T(A1•A2)(k1l1) ∧ T(A1•A2)(k2, l2)

I(B1•B2)((k1l1)(k2l2)) = IB1(k1k2) ∧ IB2

(l1l2)

≤ [IA1(k1) ∧ IA1

(k2)] ∧ [IA2(l1) ∧ IA2

(l2)]

= [IA1(k1) ∧ IA2(l1)] ∧ [IA1(k2) ∧ IA2(l2)]

= I(A1•A2)(k1l1) ∧ I(A1•A2)(k2, l2)

F(B1•B2)((k1l1)(k2l2)) = FB1(k1k2) ∨ FB2

(l1l2)

≤ [FA1(k1) ∨ FA1

(k2)] ∨ [FA2(l1) ∨ FA2

(l2)]

= [FA1(k1) ∨ FA2(l1)] ∨ [FA1(k2) ∨ FA2(l2)]

= F(A1•A2)(k1l1) ∨ F(A1•A2)(k2, l2)

for all k1, l1 ∈ k2, l2 ∈ R1 •R2. �

Page 16: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

16 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

Definition 3.7. The strong product of two NVG G1 and G2 is denoted by the pair G1 � G2 =

(R1 �R2, S1 � S2) and defined as

(i)T−(A1�A2)

(kl) = T−A1

(k) ∧ T−A2

(l)

I−(A1�A2)(kl) = I−A1

(k) ∧ I−A2(l)

F−(A1�A2)

(kl) = F−A1

(k) ∨ F−A2

(l)

T+(A1�A2)

(kl) = T+A1

(k) ∧ T+A2

(l)

I+(A1�A2)(kl) = I+A1

(k) ∧ I+A2(l)

F+(A1�A2)

(kl) = F+A1

(k) ∨ F+A2

(l)

for all kl ∈ R1 �R2

(ii)T−(B1�B2)

(kl1)(kl2) = T−A1

(k) ∧ T−B2

(l1l2)

I−(B1�B2)(kl1)(kl2) = I−A1

(k) ∧ I−B2(l1l2)

F−(B1�B2)

(kl1)(kl2) = F−A1

(k) ∨ F−B2

(l1l2)

T+(B1�B2)

(kl1)(kl2) = T+A1

(k) ∧ T+B2

(l1l2)

I+(B1�B2)(kl1)(kl2) = I+A1

(k) ∧ I+B2(l1l2)

F+(B1�B2)

(kl1)(kl2) = F+A1

(k) ∨ F+B2

(l1l2),

for all k ∈ R1, l1l2 ∈ S2.

(iii)T−B1�B2

(k1l)(k2l) = T−A2

(l) ∧ T−B2

(k1k2)

I−B1�B2(k1l)(k2l) = I−A2

(l) ∧ I−B2(k1k2)

F−B1�B2

(k1l)(k2l) = F−A2

(l) ∨ F−B2

(k1k2)

T+B1�B2

(k1l)(k2l) = T+A2

(l) ∧ T+B2

(k1k2)

I+B1�B2(k1l)(k2l) = I+A2

(l) ∧ I+B2(k1k2)

F+B1�B2

(k1l)(k2l) = F+A2

(l) ∨ F+B2

(k1k2),

Page 17: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 17

for all k1k2 ∈ S1, l ∈ R2.

(iv)T−(B1�B2)

(k1l1)(k2l2) = T−B1

(k1k2) ∧ T−B2

(l1l2)

I−(B1�B2)(k1l1)(k2l2) = I−B1

(k1k2) ∧ I−B2(l1l2)

F−(B1�B2)

(k1l1)(k2l2) = F−B1

(k1k2) ∨ F−B2

(l1l2)

T+(B1�B2)

(k1l1)(k2l2) = T+B1

(k1k2) ∧ T+B2

(l1l2)

I+(B1�B2)(k1l1)(k2l2) = I+B1

(k1k2) ∧ I+B2(l1l2)

F+(B1�B2)

(k1l1)(k2l2) = F+B1

(k1k2) ∨ FNB2

(l1l2)

for all k1k2 ∈ S1, l1l2 ∈ S2.

Example 3.4. The strong product of NVG G1 = (R1, S1) and G2 = (R2, S2) shown in Figure 2 is

defined as G1 �G2 = (S1 � S2, T1 � T2) and is presented in Figure 6.

Theorem 3.8. The strong product G1 �G2 = (R1 �R2, S1 �S2) of two NVG of NVG G1 and G2 is

a NVG of G1 �G2.

Proof. There are three cases:

Case 1: for k ∈ R1, l1l2 ∈ S2,

T(B1�B2)((kl1)(kl2)) = TA1(k) ∧ TB2

(l1l2)

≤ TA1(k) ∧ [TA2

(l1) ∧ TA2(l2)]

= [TA1(k) ∧ TA2(l1)] ∧ [TA1(k) ∧ TA2(l2)]

= T(A1�A2)(k, l1) ∧ T(A1�A2)(k, l2)

I(B1�B2)((kl1)(kl2)) = IA1(k) ∧ IB2

(l1l2)

≤ IA1(k) ∧ [IA2

(l1) ∧ IA2(l2)]

= [IA1(k) ∧ IA2(l1)] ∧ [IA1(k) ∧ IA2(l2)]

= I(A1�A2)(k, l1) ∧ I(A1�A2)(k, l2)

F(B1�B2)((kl1)(kl2)) = FA1(k) ∨ FB2

(l1l2)

Page 18: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

18 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

Figure 6STRONG PRODUCT NEUTROSOPHIC VAGUE GRAPH

≤ FA1(k) ∨ [FA2

(l1) ∨ FA2(l2)]

= [FA1(k) ∨ FA2(l1)] ∨ [FA1(k) ∨ FA2(l2)]

= F(A1�A2)(k, l1) ∨ F(A1�A2)(k, l2)

Page 19: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 19

for all kl1, kl2 ∈ R1 �R2.

Case 2: for k ∈ R2, l1l2 ∈ S1,

T(B1�B2)((l1k)(l2k)) = TA2(k) ∧ TB1

(l1l2)

≤ TA2(k) ∧ [TA1

(l1) ∧ TA1(l2)]

= [TA2(k) ∧ TA1(l1)] ∧ [TA2(k) ∧ TA1(l2)]

= T(A1�A2)(l1, k) ∧ T(A1�A2)(l2, k)

I(B1�B2)((l1k)(l2k)) = IA2(k) ∧ IB1

(l1l2)

≤ IA2(k) ∧ [IA1

(l1) ∧ IA1(l2)]

= [IA2(k) ∧ IA1(l1)] ∧ [IA2(k) ∧ IA1(l2)]

= I(A1�A2)(l1, k) ∧ I(A1�A2)(l2, k)

F(B1�B2)((l1k)(l2k)) = FA2(k) ∨ FB1

(l1l2)

≤ FA2(k) ∨ [FA1

(l1) ∨ FA1(l2)]

= [FA2(k) ∨ FA1(l1)] ∨ [FA2(k) ∨ FA1(l2)]

= F(A1�A2)(l1, k) ∨ F(A1�A2)(l2, k)

for all l1k, l2k ∈ R1 �R2.

Case 3: for k1, k2 ∈ S1, l1l2 ∈ S2

T(B1�B2)((k1l1)(k2l2)) = TB1(k1k2) ∧ TB2(l1l2)

≤ [TA1(k1) ∧ TA1(k2)] ∧ [TA2(l1) ∧ TA2(l2)]

= [TA1(k1) ∧ TA2

(l1)] ∧ [TA1(k2) ∧ TA2

(l2)]

= T(A1�A2)(k1l1) ∧ T(A1�A2)(k2, l2)

I(B1�B2)((k1l1)(k2l2)) = IB1(k1k2) ∧ IB2

(l1l2)

≤ [IA1(k1) ∧ IA1(k2)] ∧ [IA2(l1) ∧ IA2(l2)]

Page 20: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

20 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

= [IA1(k1) ∧ IA2

(l1)] ∧ [IA1(k2) ∧ IA2

(l2)]

= I(A1�A2)(k1l1) ∧ I(A1�A2)(k2, l2)

F(B1�B2)((k1l1)(k2l2)) = FB1(k1k2) ∨ FB2

(l1l2)

≤ [FA1(k1) ∨ FA1(k2)] ∨ [FA2(l1) ∨ FA2(l2)]

= [FA1(k1) ∨ FA2

(l1)] ∨ [FA1(k2) ∨ FA2

(l2)]

= F(A1�A2)(k1l1) ∨ F(A1�A2)(k2, l2)

for all l1k1, l2k1 ∈ R1 �R2. Hence the proof. �

Definition 3.9. The composition of two NVG G1 and G2 is denoted by the pair G1 ◦ G2 = (R1 �

R2, S1 ◦ S2) and defined as

(i)T−(A1◦A2)

(kl) = T−A1

(k) ∧ T−A2

(l)

I−(A1◦A2)(kl) = I−A1

(k) ∧ I−A2(l)

F−(A1◦A2)

(kl) = F−A1

(k) ∨ F−A2

(l)

T+(A1◦A2)

(kl) = T+A1

(k) ∧ T+A2

(l)

I+(A1◦A2)(kl) = I+A1

(k) ∧ I+A2(l)

F+(A1◦A2)

(kl) = F+A1

(k) ∨ F+A2

(l)

for all kl ∈ R1 ◦R2.

(ii)T−(B1◦B2)

(kl1)(kl2) = T−A1

(k) ∧ T−B2

(l1l2)

I−(B1◦B2)(kl1)(kl2) = I−A1

(k) ∧ I−B2(l1l2)

F−(B1◦B2)

(kl1)(kl2) = F−A1

(k) ∨ F−B2

(l1l2)

T+(B1◦B2)

(kl1)(kl2) = T+A1

(k) ∧ T+B2

(l1l2)

I+(B1◦B2)(kl1)(kl2) = I+A1

(k) ∧ I+B2(l1l2)

F+(B1◦B2)

(kl1)(kl2) = F+A1

(k) ∨ F+B2

(l1l2),

Page 21: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 21

for all k ∈ R1, l1l2 ∈ S2.

(iii)T−B1◦B2

(k1l)(k2l) = T−A2

(l) ∧ T−B2

(k1k2)

I−B1◦B2(k1, l)(k2, l) = I−A2

(l) ∧ I−B2(k1k2)

F−B1◦B2

(k1, l)(k2, l) = F−A2

(l) ∨ F−B2

(k1k2)

T+B1◦B2

(k1, l)(k2, l) = T+A2

(l) ∧ T+B2

(k1k2)

I+B1◦B2(k1, l)(k2, l) = I+A2

(l) ∧ I+B2(k1k2)

F+B1◦B2

(k1, l)(k2, l) = F+A2

(l) ∨ F+B2

(k1k2),

for all k1k2 ∈ S1, l ∈ R2.

(iv)T−(B1◦B2)

(k1l1)(k2l2) = T−B1

(k1k2) ∧ T−A2

(l1) ∧ T−A2

(l2)

I−(B1◦B2)(k1l1)(k2l2) = I−B1

(k1k2) ∧ I−A2(l1) ∧ I−A2

(l2)

F−(B1◦B2)

(k1l1)(k2l2) = F−B1

(k1k2) ∨ F−A2

(l1) ∨ F−A2

(l2)

T+(B1◦B2)

(k1l1)(k2l2) = T−B1

(k1k2) ∧ T+A2

(l1) ∧ T+A2

(l2)

I+(B1◦B2)(k1l1)(k2l2) = I+B1

(k1k2) ∧ I+A2(l1) ∧ I+A2

(l2)

F+(B1◦B2)

(k1l1)(k2l2) = F+B1

(k1k2) ∨ F+A2

(l1) ∨ F+A2

(l2)

for all k1k2 ∈ S1, l1l2 ∈ S2.

Example 3.5. The composition of NVG G1 = (R1, S1) and G2 = (R2, S2) shown in Figure 2 is

defined as G1 ◦G2 = (R1 ◦R2, S1 ◦ S2) and is presented in Figure 7.

Theorem 3.10. Composition G1 ◦ G2 = (R1 ◦ R2, S1 ◦ S2) of two NVG of NVG G1 and G2 is an

NVG of G1 ◦G2.

Proof. There are three cases: Case:1 For k ∈ R1, l1l2 ∈ S2,

T(B1◦B2)((kl1)(kl2))7 = TA1(k) ∧ TB2

(l1l2)

≤ TA1(k) ∧ [TA2(l1) ∧ TA2(l2)]

= [TA1(k) ∧ TA2

(l1)] ∧ [TA1(k) ∧ TA2

(l2)]

Page 22: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

22 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

Figure 7COMPOSITION OF NEUTROSOPHIC VAGUE GRAPH

= T(A1◦A2)(k, l1) ∧ T(A1◦A2)(k, l2)

I(B1◦B2)((kl1)(kl2)) = IA1(k) ∧ IB2

(l1l2)

≤ IA1(k) ∧ [IA2

(l1) ∧ IA2(l2)]

= [IA1(k) ∧ IA2(l1)] ∧ [IA1(k) ∧ IA2(l2)]

= I(A1◦A2)(k, l1) ∧ I(A1◦A2)(k, l2)

F(B1◦B2)((kl1)(kl2)) = FA1(k) ∨ FB2

(l1l2)

Page 23: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 23

≤ FA1(k) ∨ [FA2

(l1) ∨ FA2(l2)]

= [FA1(k) ∨ FA2

(l1)] ∨ [FA1(k) ∨ FA2

(l2)]

= F(A1◦A2)(k, l1) ∨ F(A1◦A2)(k, l2)

for all kl1, kl2 ∈ R1 ◦R2.

Case 2: for k ∈ R2, l1l2 ∈ S1,

T(B1◦B2)((l1k)(l2k)) = TA2(k) ∧ TB1

(l1l2)

≤ TA2(k) ∧ [TA1

(l1) ∧ TA1(l2)]

= [TA2(k) ∧ TA1(l1)] ∧ [TA2(k) ∧ TA1(l2)]

= T(A1◦A2)(l1, k) ∧ T(A1◦A2)(l2, k)

I(B1◦B2)((l1k)(l2k)) = IA2(k) ∧ IB1

(l1l2)

≤ IA2(k) ∧ [IA1

(l1) ∧ IA1(l2)]

= [IA2(k) ∧ IA1(l1)] ∧ [IA2(k) ∧ IA1(l2)]

= I(A1◦A2)(l1, k) ∧ I(A1◦A2)(l2, k)

F(B1◦B2)((l1k)(l2k)) = FA2(k) ∨ FB1

(l1l2)

≤ FA2(k) ∨ [FA1(l1) ∨ FA1(l2)]

= [FA2(k) ∨ FA1

(l1)] ∨ [FA2(k) ∨ FA1

(l2)]

= F(A1◦A2)(l1, k) ∨ F(A1◦A2)(l2, k)

for all l1k, l2k ∈ R1 ◦R2.

Case 3: For k1k2 ∈ S1, l1, l2 ∈ R2 such that l1 6= l2,

T(B1◦B2)((k1l1)(k2l2)) = TB1(k1, k2) ∧ TA2

(l1) ∧ TA2(l2)

≤ [TA1(k1) ∧ TA1

(k2)] ∧ [TA2(l1) ∧ TA2

(l2)]

= [TA1(k1) ∧ TA2(l1)] ∧ [TA1(k2) ∧ TA2(l2)]

Page 24: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

24 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

= T(A1◦A2)(k1l1) ∧ T(A1◦A2)(k2l2)

I(B1◦B2)((k1l1)(k2l2)) = IB1(k1, k2) ∧ IA2

(l1) ∧ IA2(l2)

≤ [IA1(k1) ∧ IA1

(k2)] ∧ [IA2(l1) ∧ IA2

(l2)]

= [IA1(k1) ∧ IA2(l1)] ∧ [IA1(k2) ∧ IA2(l2)]

= I(A1◦A2)(k1l1) ∧ I(A1◦A2)(k2l2)

F(B1◦B2)((k1l1)(k2l2)) = FB1(k1, k2) ∨ FA2

(l1) ∨ FA2(l2)

≤ [FA1(k1) ∨ FA1

(k2)] ∨ [FA2(l1) ∨ FA2

(l2)]

= [FA1(k1) ∨ FA2(l1)] ∨ [FA1(k2) ∨ FA2(l2)]

= F(A1◦A2)(k1l1) ∨ F(A1◦A2)(k2l2)

for all k1l1, k2l2 ∈ R1 ◦R2. �

Conclusion

This paper deals with the operations on neutrosophic vague graphs. Moreover, Cartesian product,

cross product, lexicographic product, strong product and composition of neutrosophic vague graph are

investigated and the proposed concepts are illustrated with examples. Further we are able to extend

by investigating the regular and isomorphic properties of the proposed graph.

Conflict of Interest: The authors declare that they have no conflict of interest.

References

[1] Akram M and Shahzadi G, Operations on single-valued neutrosophic graphs, Journal of Uncertain Systems, 11(1)

(2017), 1-26.

[2] Al-Quran A and Hassan N, Neutrosophic vague soft expert set theory, Journal of Intelligent & Fuzzy Systems, 30(6)

(2016), 3691-3702.

[3] Ali M, and Smarandache F, Complex neutrosophic set, Neural Computing and Applications, 28 (7) (2017), 1817-

1834.

[4] Ali M, Deli I and Smarandache F, The Theory of Neutrosophic Cubic Sets and Their Applications in Pattern

Recognition, Journal of Intelligent and Fuzzy Systems, (In press).

Page 25: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

Operations on Neutrosophic Vague Graphs 25

[5] Akram M, Malik H.M, Shahzadi S and Smarandache F, Neutrosophic Soft Rough Graphs with Application. Axioms

7(14) (2018).

[6] Alkhazaleh S, Neutrosophic vague set theory, Critical Review, 10 (2015) 29-39.

[7] Borzooei A R and Rashmanlou H, Degree of vertices in vague graphs, Journal of Applied Mathematics and Infor-

matics, 33(2015), 545-557.

[8] Borzooei A R and Rashmanlou H, Domination in vague graphs and its applications, Journal of Intelligent & Fuzzy

Systems 29(2015), 1933-1940.

[9] Borzooei A R, Rashmanlou H, Samanta S and Pal M, Regularity of vague graphs, Journal of Intelligent & Fuzzy

Systems, 30(2016), 3681-3689.

[10] Broumi S, Deli I and Smarandache F, Neutrosophic refined relations and their properties: Neutrosophic Theory

and Its Applications, Collected Papers, (2014), 228-248.

[11] Deli I and Broumi S, Neutrosophic soft relations and some properties, Annals of Fuzzy Mathematics and Infor-

matics, (2014), 1-14.

[12] Dhavaseelan R, Vikramaprasad R and Krishnaraj V, Certain types of neutrosophic graphs, International Journal

of Mathematical Sciences and Applications, 5(2)(2015), 333-339.

[13] Dhavaseelan R, Jafari S, Farahani M. R and Broumi S, On single-valued co-neutrosophic graphs, Neutrosophic Sets

and Systems, An International Book Series in Information Science and Engineering, 22, 2018.

[14] Molodtsov D, Soft set theory-first results, Computers and Mathematics with Applications, 37(2) (1999), 19-31.

[15] Hussain S. S, Hussain R. J, Jun Y. B and Smarandache F, Neutrosophic bipolar vague set and its application to

neutrosophic bipolar vague graphs. Neutrosophic Sets and Systems, 28 (2019) 69-86.

[16] Hussain S. S, Hussain R. J and Smarandache F, On neutrosophic vague graphs, Neutrosophic Sets and Systems,

28 (2019) 245-258.

[17] Smarandache F, A Unifying Field in Logics. Neutrosophy: Neutrosophic Probability, Set and Logic. Rehoboth:

American Research Press, 1999.

[18] Smarandache F, Neutrosophy, Neutrosophic Probability, Set, and Logic, Amer../ Res. Press, Rehoboth, USA, 105

pages, (1998) http://fs.gallup.unm.edu/eBookneutrosophics4.pdf(4th edition).

[19] Smarandache F, Neutrosophic Graphs, in his book Symbolic Neutrosophic Theory, Europa, Nova.

[20] Said Broumi and Smarandache F, Intuitionistic neutrosophic soft set, Journal of Information and Computer Sci-

ence, 8(2) (2013), 130-140.

[21] Said Broumi, Smarandache F, Talea M and Bakali, Single-valued neutrosophic graphs: Degree, Order and Size,

2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

[22] Said Broumi, Mohamed T, Assia B and Smarandache F, Single-valued neutrosophic graphs, The Journal of New

Theory, 2016(10), 861-101.

[23] Smarandache F, Neutrosophic set, a generalisation of the intuitionistic fuzzy sets, International Journal of Pure

and Applied Mathematics, 24, (2010), 289-297.

[24] Wang H, Smarandache F, Zhang Y and Sunderraman R, Single-valued neutrosophic sets, Multispace and Multi-

structure 4 (2010), 410-413.

Page 26: viXravixra.org/pdf/2001.0437v1.pdf · Operations on Neutrosophic Vague Graphs N. Durga1, S. Satham Hussain2; , Saeid Jafari3 and Said Broumi4 1Department of Mathematics, The Gandhigram

26 N. Durga, S. Satham Hussain, Saeid Jafari and Said Broumi

[25] Gau W. L, Buehrer D. J, Vague sets, IEEE Transactions on Systems. Man and Cybernetics, 23 (2) (1993), 610-614.