Académique Documents
Professionnel Documents
Culture Documents
Mohammad Hamidi*
Department of Mathematics, Faculty of Mathematics
Payame Noor University, Tehran, Iran
m.hamidi@pnu.ac.ir
This paper considers wireless sensor (hyper) networks by single-valued neutrosophic (hyper)
graphs. It tries to extend the notion of single-valued neutrosophic graphs to single-valued
neutrosophic hypergraphs and it is derived single-valued neutrosophic graphs from single-valued
neutrosophic hypergraphs via positive equivalence relation. We use single-valued neutrosophic
hypergraphs and positive equivalence relation to create the sensor clusters and access to cluster
heads. Finally, the concept of (extended) derivable single-valued neutrosophic graph is con-
sidered as the energy clustering of wireless sensor networks and is applied this concept as a tool
in wireless sensor (hyper) networks.
1. Introduction
Neutrosophy, as a newly born science, is a branch of philosophy that studies the
origin, nature and scope of neutralities, as well as their interactions with di®erent
ideational spectra. It can be de¯ned as the incidence of the application of a law, an
axiom, an idea, a conceptual accredited construction on an unclear, indeterminate
phenomenon, contradictory to the purpose of making it intelligible. Neutrosophic set
and neutrosophic logic are generalizations of the fuzzy set and respectively fuzzy logic
(especially of intuitionistic fuzzy set and respectively intuitionistic fuzzy logic) are
tools for publications on advanced studies in neutrosophy. In neutrosophic logic,
*Corresponding author.
157
158 M. Hamidi & A. Borumand Saeid
values for studying wireless sensor hypernetworks, such as node and hypergraph
centralities as well as clustering coe±cients for both hypernetworks and networks.
Clustering is one of the basic approaches for designing energy-e±cient, robust and
highly scalable distributed sensor networks. A sensor network reduces the commu-
nication overhead by clustering, and decreases the energy consumption and the in-
terference among the sensor nodes, so we via the concept of single-valued
neutrosophic (hyper) graphs and equivalence relations considered the wireless sensor
hypernetworks.
2. Preliminaries
In this section, we recall some de¯nitions and results are indispensable to our research
paper.
De¯nition 2.1 (Ref. 6). Let G ¼ fx1 ; x2 ; . . . ; xn g be a ¯nite set. A hypergraph on
G is a family H ¼ ðE1 ; E2 ; . . . ; Em Þ ¼ ðG; fEi g m
i¼1 Þ of subsets of G such that
De¯nition 2.3 (Ref. 10). Let H ¼ ðG; fEi g ni¼1 Þ be a hypergraph. De¯ne a binary
relation on G as follows: 1 ¼ fðx; xÞ j x 2 Gg and for every integer k > 1,
xk y , 9 E is , such that fx; yg E is , where k ¼ jE is j ¼ minfjEt j; x; y 2 Et g and for
all 1 i; j n; there is no Ei 6¼ E is , or Ej 6¼ E is , such that x 2 Ei ; y 2 Ej and
S
jEi j < k; jEj j < k. Obviously ¼ k1 k is a re°exive and symmetric relation on G.
Let be the transitive closure of (the smallest transitive relation such that
contains ).
160 M. Hamidi & A. Borumand Saeid
Theorem 2.4 (Ref. 10). Let H ¼ ðG; fEx gx2G Þ be a hypergraph, N ¼ N [ f0g and
¼ . Then for any i 2 N there exists an operation i on G= such that H= ¼
ðG=; i Þ is a graph.
De¯nition 2.5 (Ref. 16). Let X be a set. A single valued neutrosophic set A in X
ðSVN{S AÞ is a function A : X ! ½0; 1 ½0; 1 ½0; 1 with the form A ¼
fðx; TA ðxÞ; IA ðxÞ; FA ðxÞÞ j x 2 Xg where the functions TA ; IA ; FA de¯ne respectively
the truth-membership function, an indeterminacy-membership function, and a
falsity-membership function of the element x 2 X to the set A such that
0 TA ðxÞ þ IA ðxÞ þ FA ðxÞ 3. Moreover, SuppðAÞ ¼ fx j TA ðxÞ 6¼ 0; IA ðxÞ 6¼ 0;
FA ðxÞ 6¼ 0g is a crisp set.
De¯nition 2.6 (Ref. 5). A single valued neutrosophic graph (SVN-G) is de¯ned to
be a form G ¼ ðV ; E; A; BÞ where
(i) V ¼ fv1 ; v2 ; . . . ; vn g, TA ; IA ; FA : V ! ½0; 1 denote the degree of membership,
degree of indeterminacy and non–membership of the element vi 2 V ; respec-
tively, and for every 1 i n; we have 0 TA ðvi Þ þ IA ðvi Þ þ FA ðvi Þ 3.
(ii) E V V , TB ; IB ; FB : E ! ½0; 1 are called degree of truth-membership, in-
determinacy-membership and falsity-membership of the edge ðvi ; vj Þ 2 E
respectively, such that for any 1 i; j n; we have TB ðvi ; vj Þ minfTA ðvi Þ;
TA ðvj Þg; IB ðvi ; vj Þ maxfIA ðvi Þ; IA ðvj Þg, FB ðvi ; vj Þ maxfFA ðvi Þ; FA ðvj Þg and
0 TB ðvi ; vj Þ þ IB ðvi ; vj Þ þ FB ðvi ; vj Þ 3. Also A is called the single valued
neutrosophic vertex set of V and B is called the single valued neutrosophic edge
set of E.
denote the set of partitioned hypergraphs with jPj ¼ k on H that jEi j ¼ jEj j, by
ðkÞ
P h ðHÞ and the set of all partitioned hypergraphs on H, by P h ðHÞ.
De¯nition 3.1. Let G ¼ ðV ; E; A; BÞ be a single-valued neutrosophic graph. Then
G ¼ ðV ; E; A; BÞ is called
(i) a weak single-valued neutrosophic graph, if suppðAÞ ¼ V ;
(ii) a regular single-valued neutrosophic graph, if is weak and for any vi ; vj 2 V
have TB ðvi ; vj Þ ¼ minfTA ðvi Þ; TA ðvj Þg; IB ðvi ; vj Þ ¼ maxfIA ðvi Þ; IA ðvj Þg and
FB ðvi ; vj Þ ¼ maxfFA ðvi Þ; FA ðvj Þg.
Lemma 3.4. Let X be a ¯nite set and A ¼ fðx; TA ðxÞ; IA ðxÞ; FA ðxÞÞ j x 2 Xg be a
single-valued neutrosophic set in X. If R is an equivalence relation on X, then A=R ¼
fðRðxÞ; TRðAÞ ðRðxÞÞ; IRðAÞ ðRðxÞÞ; FRðAÞ ðRðxÞÞ j x 2 Xg is a single-valued neutrosophic
set, where TRðAÞ ðRðxÞÞ ¼ ^t R x TA ðtÞ; IRðAÞ ðRðxÞÞ ¼ _t R x IA ðtÞ and FRðAÞ ðRðxÞÞ ¼
_t R x FA ðtÞ.
Proof. Let X ¼ fx1 ; x2 ; . . . ; xn g and P ¼ fRðx1 Þ; Rðx2 Þ; . . . ; Rðxk Þg be a partition of
X, where k n. Since for any xi 2 X; TA ðxi Þ 1; IA ðxi Þ 1 and FA ðxi Þ 1, we get
that ^t R xi TA ðtÞ 1; _t R xi IA ðtÞ 1 and _t R xi FA ðtÞ 1. Hence for any 1 i k,
0 ^t R xi TA ðtÞ þ _t R xi IA ðtÞ þ _t R xi FA ðtÞ 3 and so RðAÞ ¼ fðRðxi Þ; ^t R xi TA ðtÞ;
_t R xi IA ðtÞ; _t R xi FA ðtÞÞg ki¼1 is a single-valued neutrosophic set in X=R.
Theorem 3.5. Let V ¼ fv1 , v2 ;...;vn g and H ¼ ðV , fðvj ;TEi ðvj Þ; IEi ðvj Þ;FEi ðvj ÞÞg m i¼1 Þ
be a single-valued neutrosophic hypergraph. If R is an equivalence relation on H, then
H=R ¼ ðRðV Þ; fRðvj Þ; TRðEi Þ ðRðvj ÞÞ; IRðEi Þ ðRðvj ÞÞ; FRðEi Þ ðRðvj ÞÞg m
i¼1 Þ is a partitioned
single-valued neutrosophic hypergraph.
162 M. Hamidi & A. Borumand Saeid
Proof. By Lemma 3.4, fRðvj Þ; TRðEi Þ ðRðvj ÞÞ; IRðEi Þ ðRðvj ÞÞ; FRðEi Þ ðRðvj ÞÞg m
i¼1 is a
S
¯nite family of single-valued neutrosophic subsets of V =R. Since V ¼ m i¼1 suppðE i Þ,
Sm Sm
we get that i¼1 suppðRðEi ÞÞ ¼ Rð i¼1 suppðEi ÞÞ ¼ RðV Þ. It follows that H=R ¼
ðRðV Þ; fRðvj Þ; TRðEi Þ ðRðvj ÞÞ; IRðEi Þ ðRðvj ÞÞ; FRðEi Þ ðRðvj ÞÞg m
i¼1 Þ is a single-valued neu-
trosophic hypergraph. Since R is an equivalence relation on V , for any x 6¼ y 2 V we
get that RðxÞ \ RðyÞ ¼ ; and so it is a partitioned single-valued neutrosophic
hypergraph.
Proof. By Theorem 3.5, H= ¼ ððV Þ, fðvj Þ, TðEi Þ ððvj ÞÞ, IðEi Þ ððvj ÞÞ, FðEi Þ
ððvj ÞÞg m
i¼1 Þ is a partitioned single-valued neutrosophic hypergraph, where
V W
TðEi Þ ððxÞÞ ¼ TEi ðtÞ; IðEi Þ ððxÞÞ ¼ IEi ðtÞ and
x t2X x t2X
W
FðEi Þ ððxÞÞ ¼ FEi ðtÞ:
x t2X
For any ðxÞ ¼ ððx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞÞ and ðyÞ ¼ ððy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞ 2
H=, de¯ne an operation \j " on H= by
(
c
ðxÞ; ðyÞ if jjðxÞj jðyÞjj ¼ j;
ðxÞj ðyÞ ¼
b
; otherwise;
c
where for any x; y 2 G; ððxÞ; ðyÞÞ is represented as an ordinary (simple) edge and
b
;¼ dðx Þ means that there is not edge. It is easy to see that
H= ¼ ððV Þ; fðvj Þ; TðEi Þ ððvj ÞÞ; IðEi Þ ððvj ÞÞ; FðEi Þ ððvj ÞÞg m
i¼1 ; j Þ
is a graph. Now, de¯ne T ðEi Þ ; I ðEi Þ ; F ðEi Þ : ðV Þ ðV Þ ! ½0; 1 by T ðEi Þ ððxÞ,
ðyÞÞ ¼ ^ax;by ðTðEi Þ ðaÞ ^ TðEi Þ ðbÞÞ; I ðEi Þ ððxÞ; ðyÞÞ ¼ _ax;by ðIðEi Þ ðaÞ _ IðEi Þ ðbÞÞ
and F ðEi Þ ððxÞ; ðyÞÞ ¼ _ax; by ðFðEi Þ ðaÞ _ FðEi Þ ðbÞÞ. It is clear to see that T ðEi Þ
ððxÞ; ðyÞÞ ðTðEi Þ ððxÞÞ ^ TðEi Þ ððyÞÞÞ; I ðEi Þ ððxÞ; ðyÞÞ ðIðEi Þ ððxÞÞ_ IðEi Þ
ððyÞÞÞ and F ðEi Þ ððxÞ; ðyÞÞ ðFðEi Þ ððxÞÞ _ FðEi Þ ððyÞÞÞ. Hence, H= ¼ ððV Þ;
fðvj Þ; TðEi Þ ððvj ÞÞ; IðEi Þ ððvj ÞÞ; FðEi Þ ððvj ÞÞg m
i¼1 ; Þ is a single-valued neutrosophic
graph.
Fig. 1. SVN-HG.
164 M. Hamidi & A. Borumand Saeid
9)
0.
(η(g), 0.1, 0.3, 0.5) (0.4, 0.8, 0.9)
8,
•
0.
• • (η(c), 0.4, 0.5, 0.6)
,
0 .7
),
(e
(η
6)
(0
0.
.1
,
5,
0.
0.
8,
,
.1
0.
(0
9)
•
(η(a), 0.1, 0.2, 0.3)
) .1
, 0.5
, 0.
0.
, 0.3 8,
5,
(0.1 0.
0.
9)
,
.1
(0
• • •
(η(a), 0.1, 0.2, 0.3) (η(c), 0.4, 0.5, 0.6) (η(e), 0.7, 0.8, 0.9)
• •
(η(c), 0.4, 0.5, 0.6) (η(e), 0.7, 0.8, 0.9)
Now, for i ¼ 0, H= ¼ ððV Þ, fððai Þ; TðEi Þ ððai ÞÞ; IðEi Þ ððai ÞÞ, FðEi Þ ððai ÞÞÞg 5i¼1
and we obtain the regular single-valued neutrosophic graph in Fig. 6.
(0
0.
.2
,
9,
0.
0.
6,
,
.1
0.
(0
6)
6) (0
0. .1
9, , 0.
, 0. 9,
.4 0.
(0 9)
Proof. (iii) Let jV j ¼ jV j. Then for any x; y 2 V ; ððx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞÞ 6¼
ððy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞÞ. Since G ¼ ðV ; E; A; BÞ is a connected single-valued
neutrosophic graph, we get that for any x; y 2 V ; jððx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞÞj ¼
jððy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞÞj and so i ¼ 0 .
a1 a2 a3 a4 ...... an−1 an
Proof. Consider the cycle single-valued neutrosophic graph C5 in Fig. 10, where
for any 1 j 5 we have 0 Tj þ Ij þ Fj 3, j ¼ ðTjjþ1 ; Ijjþ1 ; Fjjþ1 Þ and
Fig. 9. SVN-HG.
168 M. Hamidi & A. Borumand Saeid
(a1 , T1 , I1 , F1 )
•
λ5
λ1
(a5 , T5 , I5 , F5 ) • • (a2 , T2 , I2 , F2 )
λ4 λ2
λ3
(a4 , T4 , I4 , F4 ) • • (a3 , T3 , I3 , F3 )
Example 4.13. Consider the cycle single-valued neutrosophic graph C6 in Fig. 11,
where 1 ¼ ð0:1; 0:3; 0:4Þ; 2 ¼ ð0:2; 0:4; 0:5Þ; 3 ¼ ð0:3; 0:5; 0:6Þ; 4 ¼ ð0:4; 0:6; 0:7Þ;
5 ¼ ð0:5; 0:7; 0:8Þ and 6 ¼ ð0:1; 0:7; 0:8Þ: By Proposition 4.10, C6 is not a derivable
single-valued neutrosophic graph. Now we add some edges to C6 as Fig. 12, where
7 ¼ ð0:1; 0:5; 0:6Þ; 8 ¼ ð0:2; 0:6; 0:7Þ a n d 9 ¼ ð0:3; 0:7; 0:8Þ: H en ce n ow w e
consider the single-valued neutrosophic hypergraph G ¼ ðV ; fEj g nj¼1 Þ in Fig. 13.
(a2 , 0.8, 0.1, 0.2)
(b1 , 0.2, 0.3, 0.4)
(a1 , 0.1, 0.2, 0.3)
)
.7
,0
.6
,0
.5
,0
5
(a
Clearly ða1 Þ ¼ fa1 g; ða2 Þ ¼ fa2 ; b1 g; ða3 Þ ¼ fa3 g; ða4 Þ ¼ fa4 ; b2 g; ða5 Þ ¼
fa5 g; ða6 Þ ¼ fa6 ; b3 g and it is easy to compute that H= ffi C 6% .
In Example 4.13, we saw that C6 is not a derivable single-valued neutrosophic
graph, while we added some edges to this single-valued neutrosophic graph and
converted to a derivable single-valued neutrosophic graph. Duo to this problem we
will have the following de¯nition.
De¯nition 4.14. Let G ¼ ðV ; E; A; BÞ be a non derivable single-valued neutro-
sophic graph and i 6¼ 0. We will call non-single-valued neutrosophic complete graph
G % ¼ ðV ; E % ; A % ; B % Þ is an extended derivable single-valued neutrosophic graph
of G, if E % is obtained by adding the least number of edges to E such that G % be a
derivable single-valued neutrosophic graph. Also we will say G ¼ ðV ; E; A; BÞ is an
extended derivable single-valued neutrosophic graph.
Example 4.15. By Example 4.13, cycle single-valued neutrosophic graph C6 is an
extended derivable single-valued neutrosophic graph.
Theorem 4.16. ðC5 ; A; BÞ is not an extended derivable single-valued neutrosophic
graph.
Proof. Since i 1, by Lemma 4.9, for any single-valued neutrosophic hypergraph
H ¼ ðV ; EÞ, where E ¼ fE1 ; E2 ; E3 ; E4 ; E5 g, we get that H= has a cycle of
maximum length 4. By adding any edges to C5 , since jV j is odd again, duo to
Lemma 4.9, we get that jE= j ¼ 6, else all edges in H= be connected that implies
i ¼ 0, which is a contradiction.
Corollary 4.17. Let k 2 N. Then C2kþ1 is not an extended derivable single-valued
neutrosophic graph.
Theorem 4.18. Let k 2 N. Then
ðiÞ C2k ¼ ðV ; E % ; A % ; B % Þ is an extended derivable single-valued neutrosophic
graph;
ðiiÞ jE % j ¼ k 2 .
Proof. ði; iiÞ Let V ¼ V1 [ V2 , where V1 ¼ fa1 ; a3 ; a5 ; . . . ; a2k1 g, V2 ¼ fa2 ; a4 ; a6 ; . . . ;
a2k g and for any 1 j 2k; ej ¼ ac
j ; ajþ1 . Now for any j 2 f1; 3; 5; . . . ; a2k1 g consider
Ej so that aj 2 Ej , jEj j ¼ kj , ajþ1 2 Ejþ1 and jEjþi j ¼ kj þ i, where kj 2 N. A simple
computation shows that H ¼ ðV ; fEs ¼ fðvj ; TEs ðvj Þ; IEs ðvj Þ; FEs ðvj ÞÞggs¼1 Þ is a
single-valued neutrosophic hypergraph, where V ¼ V [ W and W is any set so
that jW j ¼ iðn=2Þ. Moreover, by de¯nition of , we can see that ðaj Þ ¼ Ej
d
and ðaj Þi ðajþ1 Þ ¼ ða
j Þ; ðajþ1 Þ, whence 1 j 2k. Since jV1 j ¼ jV2 j ¼ n=2,
for any j 6¼ 1; ða Þ ða Þ ¼ ða d d
Þ; ða Þ; ða Þ ða Þ ¼ ða Þ; ða Þ,
j i jþ1 j jþ1 j i j1 j j1
,F
F
4,
I3
,I
3,
,T
4,
T4
(a6 , T6 , I6 , F6 ) (a5 , T5 , I5 , F5 )
3
(a
λ4 λ5
• (a
• • •
λ2
λ3
•(a2 , T2 , I2 , F2 )
λ1
(a1 , T1•, I1 , F1 )
in other words, if ðaj Þ and ðaj 0 Þ in G= are adjacent, then ’ððaj ÞÞ and ’ððaj 0 ÞÞ
in G are adjacent. So ’ is a homomorphism. It is easy to see that ’ is bijection and
so is an isomorphism. It follows that any single-valued neutrosophic graph is a
derivable single-valued neutrosophic graph.
Corollary 4.21. Let n 5. Then Tn is a derivable single-valued neutrosophic graph.
G= ¼ ðfða1 Þ; ða2 Þ; ða3 Þ; ða4 Þg; ffða1 Þ; ða2 Þg; fða2 Þ; ða3 Þg; fða3 Þ; ða4 ÞggÞ
is a single-valued neutrosophic tree in Fig. 17. It is easy to see that T4 ffi G= and so
T4 ¼ ðV ; E; A; BÞ is a derivable single-valued neutrosophic graph. Moreover, for any
2 i 2 N, we can construct another associated single-valued neutrosophic hyper-
graphs of single-valued neutrosophic graph G.
(0.1
, ,0
.8,
0.9
)
• •
(b, 0.1, 0.2, 0.3) (c, 0.7, 0.8, 0.9)
•
(d, 0.2, 0.4, 0.6)
(0
.2
0.,
(7, 0.7, 0.8, 0.9)
, 0.8)
5,
•
0.
6)
.7
(0.5, 0
(4, 0.4, 0.5, 0.6)
(1, 0.1, 0.2, 0.3) • •
9)
(0.1, 0.5, 0.6)
0.
8,
(0.4
(0.3, 0.5, 0.6)
0.
, 0.6,
,
.5
0.7)
(0
•
(5, 0.5, 0.6, 0.7)
•
(3, 0.3, 0.4, 0.5)
η ∗ (1)
•
• • •
η ∗ (7) η ∗ (6) η ∗ (4)
Then
ðiÞ if H is a discrete complete single-valued neutrosophic hypergraph, where their
hyperedges are 2 k-hyperedge, then i ¼ 0 ;
ðiiÞ if H is a discrete complete single-valued neutrosophic hypergraph, where their
hyperedges are 2 k-hyperedge, then jHj ¼ kn.
Proof. Clearly H= ffi G.
ðiÞ Since H= is a single-valued neutrosophic complete graph, we get that for any
ðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞ; ðy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞ 2 H=;
ðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞi ðy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞ
c
¼ ðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞ; ðy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞ
and so jjðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞj jðy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞjj ¼ i. On the other
hand, H is a discrete complete single-valued neutrosophic hypergraph, where
2 k-hyperedge, then for any ðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞ, ðy; TEi ðyÞ; IEi ðyÞ, FEi ðyÞÞ 2
H=, jðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞj ¼ jðy; TEi ðyÞ, IEi ðyÞ; FEi ðyÞÞj ¼ k. It follows that
i ¼ jjðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞj jðy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞjj ¼ jk kj ¼ 0.
ðiiÞ Since for any ðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞ; ðy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞ 2 H=;
jðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞj ¼ jðy; TEi ðyÞ; IEi ðyÞ; FEi ðyÞÞj ¼ k and n ¼ jH=j ¼
jHj=jj, we get that jHj ¼ njj ¼ nk.
Theorem 4.30. Let H ¼ ðV ; fEi ¼ fðaj ; TEi ðaj Þ; IEi ðaj Þ; FEi ðaj ÞÞgg m
i¼1 Þ be a dis-
crete complete single-valued neutrosophic hypergraph, where 2 r-hyperedge and
jHj ¼ rn. Then
ðiÞ if i ¼ 0 , then its derivable single-valued neutrosophic graph is isomorphic to
regular single-valued neutrosophic complete graph Kn=r ;
ðiiÞ if for n 2 N i ¼ n , then its derivable single-valued neutrosophic graph is iso-
morphic to single-valued neutrosophic complete graph K n=r .
Proof. Since H is a discrete complete single-valued neutrosophic hypergraph, where
2 r-hyperedge, then for all ðxÞ ¼ ðx; TEi ðxÞ; IEi ðxÞ; FEi ðxÞÞ; ðyÞ ¼ ðy; TEi ðyÞ;
IEi ðyÞ; FEi ðyÞÞ 2 H=; jðxÞj ¼ jðyÞj ¼ r.
c
ðiÞ If i ¼ 0 , then for any ðxÞ; ðyÞ 2 H=; ðxÞ0 ðyÞ ¼ ðxÞ; ðyÞ. Since jHj ¼ n
we get that jH=j ¼ n=r.
ðiiÞ If for any n 2 N; i ¼ n , then for any ðxÞ; ðyÞ 2 H=; ðxÞn ðyÞ ¼ b
;. Hence
H= is null single-valued neutrosophic graph and jHj ¼ n implies that
jH=j ¼ n=r.
Theorem 4.31. Let G ¼ ðV ; E; A; BÞ be a derivable regular single-valued neutro-
sophic graph by i ¼ 0 and jV j ¼ n. Then
ðiÞ if G ¼ ðV ; E; A; BÞ is a connected single-valued neutrosophic graph, then there
exists n 2 N so that G ffi Kn ,
178 M. Hamidi & A. Borumand Saeid
Theorem 4.32. Let m; n 2 N. Then for any 1 i there exists a partitioned single-
valued neutrosophic hypergraph H such that H= ffi Km;n , where Km;n is a regular
single-valued neutrosophic complete bigraph.
So
H= ¼ fðða 1r ; TEi ða 1r Þ; IEi ða 1r Þ; FEi ða 1r ÞÞÞ; ðða 1s ; TEi ða 1s Þ;
IEi ða 1s Þ; FEi ða 1s ÞÞÞ j 1 r m and m þ 1 s n þ mg;
whence for any 1 r m; jðða 1r ; TEi ða 1r Þ; IEi ða 1r Þ; FEi ða 1r ÞÞÞj ¼ t and for any m þ
1 s n þ m; jðða 1s ; TEi ða 1s Þ; IEi ða 1s Þ; FEi ða 1s ÞÞÞj ¼ t þ i. Thus for any 1 r m;
and for any m þ 1 s n þ m we have
ðða 1r ; TEi ða 1r Þ; IEi ða 1r Þ; FEi ða 1r ÞÞÞi ðða 1s ; TEi ða 1s Þ; IEi ða 1s Þ; FEi ða 1s ÞÞÞ
c
¼ ðða 1r ; TEi ða 1r Þ; IEi ða 1r Þ; FEi ða 1r ÞÞÞ; ðða 1s ; TEi ða 1s Þ; IEi ða 1s Þ; FEi ða 1s ÞÞÞ;
for any 1 r m;
ðða 1r ; TEi ða 1r Þ; IEi ða 1r Þ; FEi ða 1r ÞÞÞi ðða 1s ; TEi ða 1s Þ; IEi ða 1s Þ; FEi ða 1s ÞÞÞ ¼ b
;
ðða 1s ; TEi ða 1s Þ; IEi ða 1s Þ; FEi ða 1s ÞÞÞi ðða 1s ; TEi ða 1s Þ; IEi ða 1s Þ; FEi ða 1s ÞÞÞ ¼ b
;:
Therefore H= ffi ðKm;n ; A; BÞ.
a 0.7 0 0.1
b 0.8 0.2 0.3
c 0.4 0.4 0.4
d 0.3 0.4 0.5
e 0 0.1 0.2
f 0.2 0.3 0.4
g 0.5 0.5 0.5
h 0.6 0.7 0.7
Achievable Single-Valued Neutrosophic Graphs in Wireless Sensor Networks 183
.4 ) .7,
, 0 0.7
, 0.
3 )
0. 0.2, 0.3
)
)
0.5
, (0.2
4, 0
0.2 (0,
.4,
( , 0.7
.5)
, 0.
,0
7)
(0
• • •
η ∗ (a, 0.7, 0.2, 0.3) η ∗ (c, 0.3, 0.4, 0.5) η ∗ (g, 0.5, 0.7, 0.7)
.
6. Conclusion
The current paper considered the concept of single-valued neutrosophic hypergraphs
as a generalization of single-valued neutrosophic hypergraphs via , as positive
relation on single-valued neutrosophic hypergraphs. Moreover
(ii) Using the relation , is constructed G= as sensor clusters and via this quo-
tient single-valued neutrosophic hypergraph the concept of (self) derivable
single-valued neutrosophic graph and extended derivable single-valued neu-
trosophic graphs is introduced.
(iii) It is obtained an equivalent condition that a single-valued neutrosophic graph is
a non-derivable single-valued neutrosophic graph.
(iv) The concept of intuitionistic neutrosophic sets provides an additional possi-
bility to represent imprecise, uncertain, inconsistent and incomplete informa-
tion which exist in real situations. In this research paper, we have described the
concept of single-valued neutrosophic graphs. We have also presented appli-
cations of single-valued neutrosophic hypergraphs and single-valued neu-
trosophic graphs in wireless sensor network.
We hope that these results are helpful for further studies in single-valued neu-
trosophic graph theory. In our future studies, we hope to obtain more results
regarding single-valued neutrosophic graphs, single-valued neutrosophic hypergraphs
and their applications.
Acknowledgments
We wish to thank the reviewers for excellent suggestions that have been incorporated
into the paper.
References
1. M. Akram and B. Davvaz, Strong intuitionistic fuzzy graphs, Filomat 26(1) (2012)
177{196.
2. M. Akram and W. A. Dudek, Intuitionistic fuzzy hypergraphs with applications, Infor-
mation Sciences 218 (2013) 182{193.
3. M. Akram, S. Shahzadi and A. Borumand Saeid, Single-valued neutrosophic hypergraph
to appear, in TWMS Journal of Applied Engineering Mathematics.
4. S. Alkhazaleh, A. R. Salleh and N. Hassan, Neutrosophic soft set, Advances in Decision
Sciences 2011 (2011).
5. S. Broumi, M. Talea, A. Bakkali and F. Samarandache, Single valued neutrosophic graph,
Journal of New Theory 10 (2016) 86{101.
6. C. Berge, Graphs and Hypergraphs (North Holland, 1979).
7. A. V. Devadoss, A. Rajkumar and N. J. P. Praveena, A study on Miracles through Holy
Bible using Neutrosophic Cognitive Maps (NCMS), International Journal of Computer
Applications 69(3) (2013).
8. A. K. Enan and A. A. Baraa, Energy-aware evolutionary routing protocol for dynamic
clustering of wireless sensor networks, Swarm and Evolutionary Computation 1 (2011)
195{203.
9. M. Hamidi and A. B. Saeid, Creating and computing graphs from hypergraphs, to appear
in Kragujevac Journal of Mathematics.
10. M. Hamidi and A. Borumand Saeid, On Derivable Trees.
11. P. K. Maji, Neutrosophic soft set, Annals of Fuzzy Mathematics and Informatics 5 (2013)
157{168.
Achievable Single-Valued Neutrosophic Graphs in Wireless Sensor Networks 185