Abstract
Fuzzy soft set theory is an effective framework that is utilized to determine the uncertainty and plays a major role to identify vague objects in a parametric manner. The existing methods to discuss the competitive relations among objects have some limitations due to the existence of different types of uncertainties in a single mathematical structure. In this research article, we define a novel framework of fuzzy soft hypergraphs that export the qualities of fuzzy soft sets to hypergraphs. The effectiveness of competition methods is enhanced with the novel notion of fuzzy soft competition hypergraphs. We study certain types of fuzzy soft competition hypergraphs to illustrate different relations in a directed fuzzy soft network using the concepts of height, depth, union, and intersection simultaneously. We introduce the notions of fuzzy soft k-competition hypergraphs and fuzzy soft neighborhood hypergraphs. We design certain algorithms to compute the strength of competition in fuzzy soft directed graphs that reduce the calculation complexity of existing fuzzy-based non-parameterized models. We analyze the significance of our proposed theory with a decision-making problem. Finally, we present graphical, numerical, as well as theoretical comparison analysis with existing methods that endorse the applicability and advantages of our proposed approach.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
Introduction
Fuzzy set theory, initiated by Zadeh [1] in 1965, is a powerful approach to study partial existence of objects between absolute true and absolute false. This technique of fuzziness has numerous applications in wireless communication for selecting appropriate network, information technology, hydrocarbon industry for food safety and piping risk assessment, artificial neural networks, biotechnology management, social networking, decision analysis for risk assessment caused due to accidental chemical release, economy management, and also applicable in plenty of other research domains. Fuzzy sets are applicable in various domains where it is difficult to study approximate and uncertain relations using crisp set theory. Conclusively, the notion of a fuzzy set as a generalization of a crisp set estimates the occurrence of uncertainty factor in real-world problems from mathematical perspective. Kaufmann [2] initiated the most implemented technique of a fuzzy graph based on fuzzy relations. Rosenfeld [3] introduced a new definition of fuzzy graph considering fuzzy relations based on fuzzy sets. It is important to consider that the uncertainty arising from various sources has different nature and components which cannot be discussed using single mathematical structure of fuzzy set theory. In recent years, a number of theories have been proposed for dealing with such systems in an effective way, for instance, intuitionistic fuzzy sets [4, 5], vague sets [6], theory of interval mathematics [5, 7], rough set theory [8], etc. All these theories, however, are associated with an inherent limitation, which is the inadequacy of the parametrization tool.
In 1999, Molodtsov [9] introduced the idea of a soft set in which each element is connected with a parameter. Maji et al. [10] presented a hybrid technique by integrating soft sets with fuzzy sets, and studied the properties and applications of fuzzy soft sets. Kharal and Ahmad [11] presented the notion of mappings on classes of fuzzy soft sets and soft sets. Certain hybrid models including rough soft sets, soft rough sets, and soft rough fuzzy sets by combining the theories of fuzzy sets, rough sets, and soft sets were obtained by Feng et al. [12]. Graph theory is an active domain of research due to its applications in engineering, communication networks, computer science, and biomedical sciences. Graphs are used to paradigm any physical situation engaging the correlation among discrete objects. Digraphs are powerful mathematical structures to depict point-to-point relationships among objects connected in a directed network. Some useful results on fuzzy graphs were explored by Bhattacharya [14]. Mordeson and Nair [15] studied certain operations on fuzzy graphs. Many researchers studied and analyzed the idea of fuzzy graphs in recent decades [16, 17]. Certain operations and properties of soft graphs and fuzzy soft graphs were studied by Akram and Nawaz [18].
In 1968, Cohen [19] developed a new mathematical structure of competition graphs to discuss competition among species in ecological networks. The main advantage of this technique is to identify the explicit behavior of objects, especially predator–prey relations. Many researchers studied competition graphs and introduced double competition graphs of digraphs [20], p-competition graphs [21], tolerance competition graphs [22], and m-step competition graphs [23]. However, in all this work, the theory of competition graphs is inadequate to handle competition or relations among three or more objects. The idea of competition hypergraphs was initiated by Sonntag and Teichert [24] in 2004. These are crisp hypergraphs in which nodes and edges are explicitly defined. However, to handle uncertainty and to describe all real-world competitions including predator–prey relations, powerful communities in a social network, rivalries in the business market, and signal influence of wireless tools, the idea of fuzzy sets is widely applied in competition graphs and competition hypergraphs. The idea of fuzzy competition graphs was initiated by Samanta and Pal [25] with some generalizations including fuzzy k-competition graphs and p-competition fuzzy graphs. The researchers have extended the notion of fuzzy competition graphs to intuitionistic fuzzy competition graphs [26], m-step fuzzy competition graphs [27], q-rung orthopair fuzzy competition graphs [28], and complex fuzzy competition graphs [29]. Sarwar et al. [30] proposed the idea of fuzzy competition hypergraphs and discussed its certain invariants with decision-making problems. Nawaz and Akram [31] put forward a new approach to evaluate competition in several directions using fuzzy soft competition graphs.
The historical progress of various researchers toward the analysis of competition graphs, fuzzy competition graphs, and related extensions is given in Table 1.
The limitations of the existing approaches are to find the solution in a group-wise competitive network in the presence of parameters. Considering the advantages of extensions of FSs and the benefits of competition hypergraphs, we propose a novel technique of FS competition hypergraphs. The researchers are working on various parameterized models including: decision-making based on FS sets [34], fuzzy partition based on fuzzy hypergraphs [35], Hebbian structures based on fuzzy hypergraphs [36], decision-making based on intuitionistic FS sets [37], extensions of fuzzy hypergraphs [38], and bipolar fuzzy competition graphs [39]. For more terminologies and concepts, we refer the reader to [40,41,42,43].
Motivation and contribution
To increase the characterization of vagueness and to overcome the limitations entailed in existing fuzzy competition graphs, FS competition graphs, competition hypergraphs, and fuzzy competition hypergraphs, we integrate the notion of fuzzy competition hypergraphs with soft sets. This hybrid model helps to study strength of competition in parameterized directed networks having relations among two or more objects. The proposed model is known as FS competition hypergraph. The main motivation of this article can be summarized by the following points:
-
1.
Fuzzy hypergraph theory is one of the most emerging research areas that have frequent usage in different domains. Due to the inadequacy of parametrization tool, it is difficult to handle complex decision-making problems. To deal with this difficulty, soft set theory is combined with fuzzy competition hypergraphs.
-
2.
In fuzzy competition hypergraphs, we discuss group-wise conflicts, relations, and influences among objects that arise in real-world situations. However, this existing graphical model is insufficient to discuss fuzziness in several directions. To handle this loss of data, there is a need to interpret the existing graphical model in terms of FS competition hypergraphs.
-
3.
The proposed method offers a more rational and effective framework for evaluating the strength of competition in various directions and makes an efficient use of the given information in the presence of parameters. The most important feature of the proposed approach is that it generalizes all the existing techniques.
The main contribution of this article is as follows:
-
1.
The concept of FS hypergraphs is initiated by integrating the notion of fuzzy hypergraphs with soft set theory.
-
2.
Two FS hypergraphs, named as FS competition hypergraphs and FS common enemy hypergraphs, are defined to discuss competition in decision-making problems.
-
3.
FS neighborhoods graphs are proposed to evaluate the interrelations between FS k-competition hypergraphs and FS neighborhood graphs.
-
4.
The significance of our research work is studied with an application in business marketing. An algorithm is designed to explain the step-by-step procedure of the proposed model.
Framework of the paper
The paper is organized as follows:
-
1.
Section Motivation and contribution gives some important preliminaries related to this study.
-
2.
In Sect. Framework of the paper, the notion of FS hypergraphs and strong hyperedges is discussed with suitable examples.
-
3.
In Sect. Preliminaries, the notions of FS competition hypergraphs, FS common enemy hypergraphs, and generalizations of these two types of fuzzy hypergraphs are discussed.
-
4.
Section Fuzzy soft hypergraphs establishes the notions of FS open neighborhood hypergraphs, FS closed neighborhood hypergraphs, FS k-neighborhood hypergraphs of open and closed types, and FS underlying graphs.
-
5.
In Sect. Fuzzy soft competition hypergraphs, a decision-making method is proposed to study the importance and significance of proposed research study.
-
6.
Section Fuzzy soft neighborhood hypergraphs concerns its effectiveness and provides the comparison of proposed method with some existing techniques.
Preliminaries
In this section, we review some basic terminologies relating to FS sets and FS graphs. Throughout the paper, we will consider \(\mathcal {R}\) as a non-empty crisp set, \(\mathcal {P}\) as the set of all parameters referring to the objects in \(\mathcal {R}\) and \(\mathcal {W} \subseteq \mathcal {P}.\) A crisp graph \(\mathcal {G}^*\) on \(\mathcal {R}\) is a pair \((\mathcal {R}, \mathcal {E})\), where \(\mathcal {R}\) is called a vertex set and \(\mathcal {E} \subseteq \mathcal {R}\times \mathcal {R}\) is the set of all edges of \(\mathcal {G}^*\) called edge set.
Definition 1
[40] A fuzzy digraph on \(\mathcal {R}\) is a pair \(\overrightarrow{\mathcal {J}}\) = \((\mathcal {A}, \overrightarrow{\mathcal {B}}),\) where \(\mathcal {A}\) is a fuzzy set on \(\mathcal {R}\) and \(\overrightarrow{\mathcal {B}}\) is a fuzzy relation on \(\mathcal {R}\) with the property that
Definition 2
[10] Let \(P(\mathcal {R})\) represents the power sets of \(\mathcal {R}\). A pair \((\phi , \mathcal {W})\) is called a soft set on \(\mathcal {R}\), where \(\phi :~ \mathcal {W} \longrightarrow P(\mathcal {R})\) is a mapping called approximate function of the soft set \((\phi , \mathcal {W})\). In a set of ordered pairs, it is represented as \((\phi , \mathcal {W}) = \{(q,~ \phi (w)) ~|~ w\in \mathcal {W}, \phi (w)\subseteq \mathcal {R}\}\).
Definition 3
[10] Let \(P_f(\mathcal {R})\) denotes the collection of all fuzzy subsets of \(\mathcal {R}\). A pair \((\mathcal {X}, \mathcal {W})\) is called an FS set on \(\mathcal {R}\), where \(\mathcal {X}:~ \mathcal {W} \longrightarrow P_f(\mathcal {R})\) is a mapping called fuzzy approximate function of the FS set \((\mathcal {X}, \mathcal {W})\). In a set form, it is represented as
It is also represented as a set of ordered pairs \((\mathcal {X}, \mathcal {W}) = \{(w,~ {\mathcal {X}}(w)) ~|~ w\in \mathcal {W}\}\), where \({\mathcal {X}}(w)\) = \(\{r,~ \zeta _{\mathcal {X}(w)}(r) ~|~ r \in \mathcal {R}\}\) is a fuzzy set corresponding to parameter w.
Definition 4
[18] An FS graph on \(\mathcal {R}\) is a 3-tuple \(\mathcal {G}\) = \((\mathcal {X}, \mathcal {K}, \mathcal {W}),\) where
-
(i)
\((\mathcal {X}, \mathcal {W})\) is an FS set on \(\mathcal {R}.\)
-
(ii)
\((\mathcal {K}, \mathcal {W})\) is an FS relation on \(\mathcal {R}\), i.e., \(\mathcal {K}:~ \mathcal {W} \longrightarrow P_f(\mathcal {R}\times \mathcal {R}),\) where \(P_f(\mathcal {R}\times \mathcal {R})\) is a fuzzy power set on \(\mathcal {R}\times \mathcal {R}.\)
-
(iii)
For each \(w\in \mathcal {W}\), \((\mathcal {X}(w), \mathcal {K}(w))\) is a fuzzy graph. That is
$$\begin{aligned} \zeta _{\mathcal {K}(w)}(r_1r_2)\le \zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2),\, \hbox {for all}\, r_1, r_2\in \mathcal {R}. \end{aligned}$$
It is denoted as \(\mathcal {G}(w)\) = \((\mathcal {X}(w), \mathcal {K}(w)),\) where \(w\in \mathcal {W}.\) Hence, the set of all fuzzy graphs corresponding to parameters \(w\in \mathcal {W}\) is called an FS graph \(\mathcal {G}\) = \(\{\mathcal {G}(w): ~ w\in \mathcal {W}\}.\)
Definition 5
[41] An FS digraph on \(\mathcal {R}\) is a 3-tuple \(\overrightarrow{\mathcal {G}}\) = \((\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W}),\) where
-
(i)
\((\mathcal {X}, \mathcal {W})\) is an FS set on \(\mathcal {R}.\)
-
(ii)
\((\overrightarrow{\mathcal {K}}, \mathcal {W})\) is a FS relation on \(\mathcal {R}\), i.e., \(\overrightarrow{\mathcal {K}}:~ \mathcal {W} \longrightarrow P_f(\mathcal {R}\times \mathcal {R}),\) where \(P_f(\mathcal {R}\times \mathcal {R})\) is a fuzzy power set on \(\mathcal {R}\times \mathcal {R}.\)
-
(iii)
For each \(w\in \mathcal {W}\), \((\mathcal {X}(w), \overrightarrow{\mathcal {K}}(w))\) is a fuzzy digraph. That is
$$\begin{aligned} \zeta _{\overrightarrow{\mathcal {K}}(w)}(r_1r_2)\le \zeta _{\mathcal {X}(w)}(r_1) \wedge \zeta _{\mathcal {X}(w)}(r_2),\, \hbox {for all}\, r_1, r_2\in \mathcal {R}. \end{aligned}$$
It is denoted as \(\overrightarrow{\mathcal {G}}(w)\) = \((\mathcal {X}(w), \overrightarrow{\mathcal {K}}(w)),\) where \(w\in \mathcal {W}\). Hence, the set of all fuzzy digraphs corresponding to parameters \(w\in \mathcal {W}\) is called an FS digraph \(\overrightarrow{\mathcal {G}}\) = \(\{\overrightarrow{\mathcal {G}}(w): ~ w\in \mathcal {W}\}.\)
Definition 6
[31] An FS out neighborhood of a vertex r of an FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}= (\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) is an FS set
where
Definition 7
[31] An FS in neighborhood of a vertex r of an FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}= (\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) is an FS set
where
Definition 8
[42] The cardinality of an FS set \((\mathcal {X}, \mathcal {W})\) is defined as follows:
where \(|\mathcal {X}(w)|\) = \(\sum _{r\in \mathcal {R}}\zeta _{\mathcal {X}(w)}(r)\) for each \(w\in \mathcal {W}.\)
Definition 9
[31] The support of a FS set \((\mathcal {X}, \mathcal {W})\) is defined as follows:
where \(supp(\mathcal {X}(w))\) = \(\{r\in \mathcal {R}|~\zeta _{\mathcal {X}(w)}(r)> 0\}\) for each \(w\in \mathcal {W}.\)
Definition 10
[31] The height of an FS set \((\mathcal {X}, \mathcal {W})\) is defined as follows:
where \(h(\mathcal {X}(w))\) = \(\max _{r\in \mathcal {R}}(\zeta _{\mathcal {X}(w)}(r))\) for each \(w\in \mathcal {W}.\)
Fuzzy soft hypergraphs
In this section, we define an FS hypergraph technique for FS competition and common enemy hypergraphs. Strong hyperedges are evaluated with numerical examples which are also discussed. These terms are defined as follows:
Definition 11
Let \((\mathcal {X}, \mathcal {W})\) be an FS set on \(\mathcal {R}\) and \((\mathcal {K}, \mathcal {W})\) is an FS relation on \(\mathcal {R}\). We say \((\mathcal {K}, \mathcal {W})\) is an FS relation on \((\mathcal {X}, \mathcal {W})\) if it satisfies the following condition:
for all \(r_1, r_2\in \mathcal {R}\) and \(w\in \mathcal {W}\).
Definition 12
An FS hypergraph on \(\mathcal {R}\) is a 3-tuple \(\mathcal {D}\) = \((\mathcal {U}, \mathcal {V}, \mathcal {W}),\) where \(\mathcal {U}\) = \(\{(\mathcal {U}_1, \mathcal {W}), (\mathcal {U}_2, \mathcal {W}) \cdots , (\mathcal {U}_s, \mathcal {W})\}\) is a collection of FS subsets on \(\mathcal {R}\), such that \(\bigcup _{w\in \mathcal {W}}\bigcup _{1\le i\le s}supp(\mathcal {U}_i(w)) = \mathcal {R}\). \((\mathcal {V}, \mathcal {W})\) is a, FS relation on FS subsets \((\mathcal {U}_i, \mathcal {W})\), such that
for all \(r_1, r_2, \cdots , r_p\in \mathcal {R}\) and \(w\in \mathcal {W}\).
Example 1
Let \(\mathcal {R}\) = \(\{r_1, r_2, r_3, r_4, r_5, r_6, r_7\}\) be a crisp set and \(\mathcal {W}\) = \(\{w_1, w_2\}\) is a set of parameter. Suppose \(\{(\mathcal {U}_1, \mathcal {W}), (\mathcal {U}_2, \mathcal {W}), (\mathcal {U}_3, \mathcal {W}), (\mathcal {U}_4, \mathcal {W}), (\mathcal {U}_5, \mathcal {W})\}\) be the collection of FS sets on \(\mathcal {R}\) as specified in Tables 2 and 3.
Let \((\mathcal {V}, \mathcal {W})\) be an FS relation on \((\mathcal {U}_i, \mathcal {W})\), \(1\le i\le 5,\) given as \(\zeta _{\mathcal {V}(w_1)}(\{r_1, r_2, r_3, r_6\})\) = 0.2, \(\zeta _{\mathcal {V}(w_1)}(\{r_3, r_4, r_5\})\) = 0.1, \(\zeta _{\mathcal {V}(w_1)}(\{r_5, r_6\})\) = 0.3, \(\zeta _{\mathcal {V}(w_1)}(\{r_6, r_7\})\) = 0.2, \(\zeta _{\mathcal {V}(w_1)}(\{r_7\})\) = 0.2, \(\zeta _{\mathcal {V}(w_2)}(\{r_1, r_2, r_3, r_6\})\) = 0.2, \(\zeta _{\mathcal {V}(w_2)}(\{r_3, r_4, r_5\})\) = 0.2, \(\zeta _{\mathcal {V}(w_2)}(\{r_5, r_6\})\) = 0.2, \(\zeta _{\mathcal {V}(w_2)}(\{r_5, r_7\})\) = 0.2, and \(\zeta _{\mathcal {V}(w_2)}(\{r_7\})\) = 0.2. The FS hypergraph \(\mathcal {D} = \{\mathcal {D}(w_1), \mathcal {D}(w_2)\}\) is shown in Fig. 1. Here, \(\mathcal {D}(w_1)\) is a fuzzy hypergraph corresponding to parameter \(w_1\) and \(\mathcal {D}(w_2)\) is a fuzzy hypergraph corresponding to parameter \(w_2.\)
Definition 13
Let \(\mathcal {D} = (\mathcal {U}, \mathcal {V}, \mathcal {W})\) be an FS hypergraph on \(\mathcal {R}.\) A hyperedge \(E_i\)=\(\{r_1, r_2, \cdots , r_p\}\subseteq \mathcal {R}\) of an FS hypergraph \(\mathcal {D}\) is called strong if \( \zeta _{\mathcal {V}(w)}(E_i)\ge \frac{1}{2} \bigwedge \nolimits _{k=1}^p \zeta _{\mathcal {U}_i(w)}(r_k) \) for all \(w\in \mathcal {W}\).
Example 2
Consider an FS hypergraph \(\mathcal {D}\) as specified in Fig. 1. Since \(E_1 = \{r_1, r_2, r_3, r_6\}\) is a hyperedge of a FS hypergraph \(\mathcal {D}\)
Therefore, the hyperedge \(E_1 = \{r_1, r_2, r_3, r_6\}\) is strong in an FS hypergraph \(\mathcal {D}\). Similarly, \(\{r_3, r_4, r_5\}\), \(\{r_5, r_6\}\), and \(\{r_7\}\) are strong hyperedges in an FS hypergraph \(\mathcal {D}\).
Fuzzy soft competition hypergraphs
To resolve competition difficulties in several directions, FS competition hypergraphs and FS common enemy hypergraphs are discussed in this section. Different consequences of strong hyperedges are evaluated by utilizing the definition of FS strong hyperedges. Two generalizations of FS hypergraphs are discussed to investigate the strength of competition using crisp values.
Definition 14
Let \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}.\) The FS competition hypergraph \(\mathcal {CH}(\mathcal {\overrightarrow{\mathcal {G}}})=(\mathcal {X}, \mathcal {J}, \mathcal {W})\) corresponding to \(\mathcal {\overrightarrow{\mathcal {G}}}\) containing the FS vertex set same as in FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\) and for each \(w\in \mathcal {W}\), \(E = \{r_1, r_2, \cdots , r_p\} \subseteq \mathcal {R}\) is a hyperedge of \(\mathcal {CH}(\mathcal {\overrightarrow{\mathcal {G}}}(w))\) = \((\mathcal {X}(w), \mathcal {J}(w))\) if \(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w) \ne \phi \). The membership grade of the hyperedge \(E=\{r_1, r_2, \cdots , r_p\}\) for each parameter w is defined as
The method for the formation of FS competition hypergraph \(\mathcal {CH}(\mathcal {\overrightarrow{\mathcal {G}}})\) of an FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\) is explained in Algorithm 4.
Example 3
Let \(\mathcal {R} = \{r_1, r_2, r_3, r_4, r_5\}\) is a crisp set and \(\mathcal {W} = \{w_1, w_2\}\) is a set of parameter. Suppose \((\mathcal {X}, \mathcal {W})\) is an FS set on \(\mathcal {R}\) and \((\overrightarrow{\mathcal {K}}, \mathcal {W})\) is an FS relation on \(\mathcal {R}\) as specified in Tables 5 and 6, respectively.
The FS digraph \(\overrightarrow{\mathcal {G}}\) = \(\{\overrightarrow{\mathcal {G}}(w_1), \overrightarrow{\mathcal {G}}(w_2)\}\) is given in Fig. 2. Here, \(\overrightarrow{\mathcal {G}}(w_1)\) = \((\mathcal {X}(w_1), \overrightarrow{\mathcal {K}}(w_1))\) and \(\overrightarrow{\mathcal {G}}(w_2)\) = \((\mathcal {X}(w_2), \overrightarrow{\mathcal {K}}(w_2))\) are fuzzy digraphs corresponding to parameters \(w_1\) and \(w_2\), respectively.
The FS out neighborhood of all vertices of \(\mathcal {\overrightarrow{\mathcal {G}}}\) are specified in Table 7.
The adjacency matrices \(A(w_1)\) and \(A(w_2)\) corresponding to fuzzy digraphs \(\overrightarrow{\mathcal {G}}(w_1)\) and \(\overrightarrow{\mathcal {G}}(w_2)\) are specified in Table 8 and 9, respectively. Hence, A = \(\{A(w_1), A(w_2)\}\) is a adjacency matrix of FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\).
Using Algorithm 4, the relations \(f(w_1) : \mathcal {R}\longrightarrow \mathcal {R}\) and \(f(w_2):\mathcal {R}\longrightarrow \mathcal {R}\) are given in Fig. 3.
Using fuzzy relation in \(\overrightarrow{\mathcal {G}}(w_1)\), there are three hyperedges \(f^{-1}(w_1)(r_1)= E_1 = \{r_2, r_5\}\), \(f^{-1}(w_1)(r_3) = E_3 = \{r_1, r_5\}\), and \(f^{-1}(w_1)(r_5) = E_5 = \{r_2, r_4\}\) of \(\mathcal {CH}(\overrightarrow{\mathcal {G}}(w_1))\) = \((\mathcal {X}(w_1), \mathcal {J}(w_1))\). Now, we calculate the membership grade of each hyperedge corresponding to parameter \(w_1\)
Using fuzzy relation in \(\overrightarrow{\mathcal {G}}(w_2)\), there is only one hyperedge \(f^{-1}(w_2)(r_3)= E_3 = \{r_1, r_2, r_5\}\) of \(\mathcal {CH}(\overrightarrow{\mathcal {G}}(w_2))\) = \((\mathcal {X}(w_2), \mathcal {J}(w_2))\). Now, we calculate the membership grade of hyperedge \(E_3\) corresponding to parameter \(w_2\)
The FS competition hypergraph \(\mathcal {CH}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {CH}(\overrightarrow{\mathcal {G}}(w_1)), \mathcal {CH}(\overrightarrow{\mathcal {G}}(w_2)))\) is given in Fig. 4.
Definition 15
Let \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}.\) The FS common enemy hypergraph \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}})=(\mathcal {X}, \mathcal {A}, \mathcal {W})\) corresponding to \(\mathcal {\overrightarrow{\mathcal {G}}}\) containing the FS vertex set same as in FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\) and for each \(w\in \mathcal {W}\), \(E = \{r_1, r_2, \cdots , r_p\} \subseteq \mathcal {R}\) is a hyperedge of \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}}(w))\) = \((\mathcal {X}(w), \mathcal {A}(w))\) if \(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w) \ne \phi \). The membership grade of the hyperedge \(E=\{r_1, r_2, \cdots , r_p\}\) corresponding to parameter w is defined as
The method for the construction of FS common enemy hypergraph \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}})\) of a FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\) is given in Algorithm 4.
Example 4
Consider an FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) as given in Fig. 2. The FS in neighborhood of all vertices of \(\mathcal {\overrightarrow{\mathcal {G}}}\) are specified in Table 10.
Using Algorithm 4, we compute the hyperedges of \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}})\). Using fuzzy relation in \(\overrightarrow{\mathcal {G}}(w_1)\), there are two hyperedges \(f(w_1)(r_2) = E_2 = \{r_1, r_5\}\) and \(f(w_1)(r_5) = E_5 = \{r_1, r_3\}\) of \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1))\). Now, we compute the membership grades of these two hyperedges corresponding to parameter \(w_1\)
Using fuzzy relation in \(\overrightarrow{\mathcal {G}}(w_2)\), there is only one hyperedge \(f(w_2)(r_5) = E_5 = \{r_1, r_2, r_3\}\) of \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}}(w_2))\). Now, we compute the membership grade of this hyperedge corresponding to parameter \(w_2\)
The FS common enemy hypergraph \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1)), \mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}}(w_2)))\) is given in Fig. 5.
Theorem 1
Let \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\).
-
(1)
If for each \(w\in \mathcal {W}\), \(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)\) contains only one vertex. Then, the hyperedge E=\(\{r_1, r_2, \cdots ,r_p\}\) of an FS competition hypergraph \(\mathcal {CH}(\overrightarrow{\mathcal {G}})\) is strong iff \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}(r_p)^+(w)|\) > \(\frac{1}{2}\) for all \(w\in \mathcal {W}.\)
-
(2)
If for each \(w\in \mathcal {W}\), \(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w)\) contains only one vertex. Then, the hyperedge E=\(\{r_1, r_2, \cdots ,r_p\}\) of an FS common enemy hypergraph \(\mathcal {CEH}(\overrightarrow{\mathcal {G}})\) is strong iff \(|\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}(r_p)^-(w)|\) > \(\frac{1}{2}\) for all \(w\in \mathcal {W}.\)
Proof
-
(1)
Let \(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)=\{r, \zeta _{\mathcal {X}(w)}(r)\}\) for all \(w\in \mathcal {W}\). For each \(w\in \mathcal {W}\), \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)|=\{ \zeta _{\mathcal {X}(w)}(r)\}\). Since \(h(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)) = \zeta _{\mathcal {X}(w)}(r)\) for all \(w\in \mathcal {W}\). Therefore
$$\begin{aligned} \zeta _{\mathcal {J}(w)}(E)= & {} \zeta _{\mathcal {X}(w)}(r) \times [\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \\&\qquad \wedge \zeta _{\mathcal {X}(w)}(r_p)], \end{aligned}$$for all \(w\in \mathcal {W}.\) Hence, the hyperedge \(E=\{r_1, r_2, \cdots , r_p\}\) in \(\mathcal {CH}(\overrightarrow{\mathcal {G}})\) is strong iff \(\zeta _{\mathcal {X}(w)}(r) > 0.5\) for all \(w\in \mathcal {W}.\)
-
(2)
Let \(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w)=\{r, \zeta _{\mathcal {X}(w)}(r)\}\) for all \(w\in \mathcal {W}\). For each \(w\in \mathcal {W}\), \(|\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w)|=\{ \zeta _{\mathcal {X}(w)}(r)\}\). Since \(h(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w)) = \zeta _{\mathcal {X}(w)}(r)\) for all \(w\in \mathcal {W}\). Therefore
$$\begin{aligned}&\zeta _{\mathcal {A}(w)}(E)=\zeta _{\mathcal {X}(w)}(r) \times [\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2)\\&\qquad \wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p)], \end{aligned}$$for all \(w\in \mathcal {W}.\) Hence, the hyperedge \(E=\{r_1, r_2, \cdots , r_p\}\) in \(\mathcal {CEH}(\overrightarrow{\mathcal {G}})\) is strong iff \(\zeta _{\mathcal {X}(w)}(r) > 0.5\) for all \(w\in \mathcal {W}.\)
\(\square \)
We now discuss an example that if all the edges of an FS digraph are strong, then it is not necessary the hyperedges of an FS competition hypergraph are strong.
Example 5
Consider \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph as given in Fig. 6.
Clearly, all edges of FS digraph are strong. The FS competition hypergraph corresponding to \(\mathcal {\overrightarrow{\mathcal {G}}}\) is depicted in Fig. 5.
FS competition hypergraph \(\mathcal {CH}(\overrightarrow{\mathcal {G}})\)
The hyperedge \(\{r_2, r_3, r_4\}\) of FS competition hypergraph is not strong, because \(0.06\ngeq 0.15\) and \(0.045\ngeq 0.15\).
Theorem 2
If \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be a complete FS digraph, then the FS competition hypergraph and FS common enemy hypergraph corresponding to \(\mathcal {\overrightarrow{\mathcal {G}}}\) are same.
Proof
Let \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be a complete FS digraph on \(\mathcal {R}\). Now, we want to proof that FS competition hypergraph \(\mathcal {CH}(\overrightarrow{\mathcal {G}})\) = \((\mathcal {X}, \mathcal {J}, \mathcal {W})\) and FS common enemy hypergraph \(\mathcal {CEH}(\overrightarrow{\mathcal {G}})\) = \((\mathcal {X}, \mathcal {A}, \mathcal {W})\) are same. Since \(\mathcal {N}^+(r)(w)\) = \(\mathcal {N}^-(r)(w)\) for all \(r\in \mathcal {R}\) and \(w\in \mathcal {W}\). Then, for each \(w\in \mathcal {W}\) and \(r_1, r_2, \cdots , r_p\in \mathcal {R}\), \(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)\) = \(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w)\). Therefore
This shows that \(\zeta _{\mathcal {J}(w)}(E) = \zeta _{\mathcal {A}(w)}(E)\) for all \(r_1, r_2, \cdots , r_p\in \mathcal {R}\) and \(w\in \mathcal {W}\). Hence, it follows that \(\mathcal {CH}(\overrightarrow{\mathcal {G}})\) = \(\mathcal {CEH}(\overrightarrow{\mathcal {G}}).\)
\(\square \)
The extensions of FS competition hypergraphs and FS common enemy hypergraphs named as FS k-competition hypergraphs and FS k-common enemy hypergraphs are given in Definition 16 and 17.
Definition 16
Let \(\mathcal {\overrightarrow{\mathcal {G}}} = (\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\) and suppose k be a non-negative number. The FS k-competition hypergraphs \(\mathcal {C}_{k}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {X}, \mathcal {M}, \mathcal {W})\) of \(\mathcal {\overrightarrow{\mathcal {G}}}\) containing the FS vertex set same as in FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\) and for each \(w\in \mathcal {W}\), \(E = \{r_1, r_2, \cdots , r_p\}\) \(\subseteq \mathcal {R}\) is the hyperedge of \(\mathcal {C}_{k}(\mathcal {\overrightarrow{\mathcal {G}}}(w))\) = \((\mathcal {X}(w), \mathcal {M}(w))\) if \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)|\) > k. The membership grade of the hyperedge \(E=\{r_{1},r_{2},\cdots ,r_{p}\}\) for each parameter w is defined as
where \(|\mathcal {N}^{+}(r_{1})(w)\cap \mathcal {N}^{+}(r_{2})(w)\cap \cdots \cap \mathcal {N}^+(r_{p})(w)| = k_1\).
Example 6
Consider \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W}\)) be an FS digraph as given in Fig. 2. Since we know that \(E_1=\{r_2, r_5\}\), \(E_3 =\{r_1, r_5\}\), and \(E_5 =\{r_2, r_4\}\) (see Example 3). Now, we check whether these are hyperedges of \(\mathcal {C}_{0.1}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1))\) = \((\mathcal {X}(w_1), \mathcal {M}(w_1))\) or not. Here
Therefore, \(|\mathcal {N}^+(r_2)(w_1)\cap \mathcal { N}^+(r_5)(w_1)| = 0.4 > 0.1\), and by Definition 16, \(E_1\) is the hyperedge of \(\mathcal {C}_{0.1}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1))\). Now, we calculate the grade of membership of this hyperedge corresponding to parameter \(w_1\)
Similarly, \(E_3 =\{r_1, r_5\}\) is the hyperedge of \(\mathcal {C}_{0.1}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1))\) and membership grade of \(E_3\) is \(\zeta _{\mathcal {M}(w_1)}(E_3) = 0.32.\) \(E_5\) is not the hyperedge of \(\mathcal {C}_{0.1}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1))\), because \(|\mathcal {N}^+(r_2)(w_1)\cap \mathcal { N}^+(r_4)(w_1)|= 0.1 \ngtr 0.1\).
Since \(E_3=\{r_1, r_2, r_5\}\) (see Example 3). Here
Therefore, \(|\mathcal {N}^+(r_1)(w_2)\cap \mathcal { N}^+(r_2)(w_2)\cap \mathcal {N}^+(r_5)(w_2)| =0.2 > 0.1\), and by Definition 16, \(E_3\) is the hyperedge of \(\mathcal {C}_{0.1}(\mathcal {\overrightarrow{\mathcal {G}}}(w_2))\) = \((\mathcal {X}(w_2), \mathcal {M}(w_2))\). Now, we calculate the grade of membership of this hyperedge corresponding to parameter \(w_2\)
The FS 0.1-competition hypergraph \(\mathcal {C}_{0.1}(\mathcal {\overrightarrow{\mathcal {G}}})\) = (\(\mathcal {C}_{0.1}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1)), \mathcal {C}_{0.1}(\mathcal {\overrightarrow{\mathcal {G}}}(w_2))\)) of \(\mathcal {\overrightarrow{\mathcal {G}}}\) is given in Fig. 7.
Definition 17
Let \(\mathcal {\overrightarrow{\mathcal {G}}} = (\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\) and suppose k be a non-negative number. The FS k-common enemy hypergraph \(\mathcal {C}_{k}\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {X}, \mathcal {N}, \mathcal {W})\) of \(\mathcal {\overrightarrow{\mathcal {G}}}\) containing the FS vertex set same as in FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\) and for each \(w\in \mathcal {W}\), \(E = \{r_1, r_2, \cdots , r_p\}\) \(\subseteq \mathcal {R}\) is the hyperedge of \(\mathcal {C}_{k}\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}}(w))\) = \((\mathcal {X}(w), \mathcal {N}(w))\) if \(|\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w)|\) > k. The membership grade of the hyperedge \(E=\{r_{1},r_{2},\cdots ,r_{p}\}\) for each parameter w is defined as
where \(|\mathcal {N}^{-}(r_{1})(w)\cap \mathcal {N}^{-}(r_{2})(w)\cap \cdots \cap \mathcal {N}^-(r_{p})(w)| = k_1\).
Remark 1
At \(k=0\), the FS k-competition hypergraphs \(\mathcal {C}_{k}(\mathcal {\overrightarrow{\mathcal {G}}})\) and FS k-common enemy hypergraphs \(\mathcal {C}_{k}\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}})\) are FS competition hypergraphs \(\mathcal {CH}(\mathcal {\overrightarrow{\mathcal {G}}})\) and FS common enemy hypergraphs \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}})\), respectively.
Theorem 3
Let \(\mathcal {\overrightarrow{\mathcal {G}}}= (\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\).
-
(1)
If for each \(w\in \mathcal {W}\), \(h(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \mathcal {N}^+(r_p)(w))= 1\) and \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \mathcal {N}^+(y_p)(w)|\) > 2k for some \(r_1, r_2, \cdots , r_p \in \mathcal {R}\), then the hyperedge \(E=\{r_1, r_2, \cdots , r_p \}\) is strong in \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\).
-
(2)
If for each \(w\in \mathcal {W}\), \(h(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \mathcal {N}^-(r_p)(w))= 1\) and \(|\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \mathcal {N}^-(y_p)(w)|\) > 2k for some \(r_1, r_2, \cdots , r_p \in \mathcal {R}\), then the hyperedge \(E=\{r_1, r_2, \cdots , r_p \}\) is strong in \(\mathcal {C}_k\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}})\).
Proof
-
(1)
Let \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {X}, \mathcal {M}, \mathcal {W})\) be an FS k-competition hypergraph corresponding to the \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\). Suppose for each \(w\in \mathcal {W}\), \(h(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \mathcal {N}^+(y_p)(w))= 1\) and \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \mathcal {N}^+(y_p)(w)|\) > 2k for some \(r_1, r_2, \cdots , r_p\). Also, let \(E=\{r_1, r_2, \cdots , r_p\}\) is any hyperedge of \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\). Now
$$\begin{aligned}&\zeta _{\mathcal {M}(w)}(E)= \frac{k_1 - k}{k_1}[\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \\&\qquad \wedge \zeta _{\mathcal {X}(w)}(r_p)]\\&\quad \times h(\mathcal {N}^{+}(r_{1})(w)\cap \mathcal {N}^{+}(r_{2})(w)\cap \cdots \cap \mathcal {N}^+(r_{p})(w)), \end{aligned}$$for all \(w\in \mathcal {W}\). Here, \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \mathcal {N}^+(y_p)(w)|\) = \(k_1\) and \(h(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \mathcal {N}^+(r_p)(w))= 1\) for all \(w\in \mathcal {W}\)
$$\begin{aligned} \zeta _{\mathcal {M}(w)}(E)= & {} \frac{k_1 - k}{k_1}(\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p)),\\ \zeta _{\mathcal {M}(w)}(E)> & {} \frac{1}{2}(\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p)), \end{aligned}$$for all \(w\in \mathcal {W}.\) Hence, the hyperedge E of \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\) is strong.
-
(2)
Let \(\mathcal {C}_k\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {X}, \mathcal {N}, \mathcal {W})\) be a FS k-common enemy hypergraph corresponding to the \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\). Suppose for each \(w\in \mathcal {W}\), \(h(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \mathcal {N}^-(r_p)(w))= 1\) and \(|\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \mathcal {N}^-(r_p)(w)|\) > 2k for some \(r_1, r_2, \cdots , r_p\). Also, let \(E=\{r_1, r_2, \cdots , r_p\}\) is any hyperedge of \(\mathcal {C}_k\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}})\). Now
$$\begin{aligned} \zeta _{\mathcal {N}(w)}(E)= & {} \frac{k_1 - k}{k_1}[\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p)]\\&\times h(\mathcal {N}^{-}(r_{1})(w)\cap \mathcal {N}^{-}(r_{2})(w)\cap \cdots \cap \mathcal {N}^-(r_{p})(w)), \end{aligned}$$for all \(w\in \mathcal {W}\). Here, \(|\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \mathcal {N}^-(y_p)(w)|\) = \(k_1\) and \(h(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \mathcal {N}^-(r_p)(w))= 1\) for all \(w\in \mathcal {W}\)
$$\begin{aligned} \zeta _{\mathcal {N}(w)}(E)= & {} \frac{k_1 - k}{k_1}(\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p)),\\ \zeta _{\mathcal {N}(w)}(E)> & {} \frac{1}{2}(\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p)), \end{aligned}$$for all \(w\in \mathcal {W}.\) Hence, the hyperedge E of \(\mathcal {C}_k\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}})\) is strong.
\(\square \)
Now, we define the notions of p-competition FS hypergraphs and p-common enemy FS hypergraphs, where p be any positive integer.
Definition 18
Let \(\mathcal {\overrightarrow{\mathcal {G}}} = (\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\) and suppose p be a positive integer. The p-competition FS hypergraph \(\mathcal {C}^{p}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {X}, \mathcal {D}, \mathcal {W})\) of \(\mathcal {\overrightarrow{\mathcal {G}}}\) containing the FS vertex set same as in FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\) and for each \(w\in \mathcal {W}\), \(E = \{r_1, r_2, \cdots , r_p\}\) \(\subseteq \mathcal {R}\) is the hyperedge of \(\mathcal {C}^{p}(\mathcal {\overrightarrow{\mathcal {G}}}(w))\) = \((\mathcal {X}(w), \mathcal {D}(w))\) if \(|supp(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w))|\ge p\). The membership grade of the hyperedge \(E=\{r_{1},r_{2},\cdots ,r_{p}\}\) for each parameter w is defined as
where \(|supp(\mathcal {N}^{+}(r_{1})(w)\cap \mathcal {N}^{+}(r_{2})(w)\cap \cdots \cap \mathcal {N}^+(r_{p})(w))| = n\).
Example 7
Consider an FS digraph \(\overrightarrow{\mathcal {G}}\), as shown in Fig. 8.
Using Algorithm 4, \(E_3\) = \(\{r_1, r_2, r_4\}\). Here, \(\mathcal {N}^+(r_1)(w_1)\) = \(\{(r_2, 0.1), (r_3, 0.1), (r_5, 0.2)\}\), \(\mathcal {N}^+(r_2)(w_1)\) = \(\{(r_3, 0.3), (r_5, 0.3)\},\) and \(\mathcal {N}^+(r_4)(w_1)\) = \(\{(r_3, 0.2), (r_5, 0.4)\}\). Hence, \(\mathcal {N}^+(r_1)(w_1) \cap \mathcal {N}^+(r_2)(w_1)\cap \mathcal {N}^+(r_4)(w_1)\) = \(\{(r_3, 0.1), (r_5, 0.2)\}\). Now, n = \(|supp(\mathcal {N}^+(r_1)(w_1) \cap \mathcal {N}^+(r_2)(w_1)\cap \mathcal {N}^+(r_4)(w_1))|\) = 2. Therefore, by Definition 18, \(E_3\) = \(\{r_1, r_2, r_4\}\) is the hyperedge of \(\mathcal {C}^{2}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1))\) = \((\mathcal {X}(w_1), \mathcal {D}(w_1))\). Now, we calculate the membership grade of this hyperedge corresponding to parameter \(w_1\)
Using Algorithm 4, \(E_3\) = \(\{r_1, r_2\}\). Here, \(\mathcal {N}^+(r_1)(w_2)\) = \(\{(r_3, 0.7), (r_4, 0.7)\}\) and \(\mathcal {N}^+(r_2)(w_2)\) = \(\{(r_3, 0.6), (r_4, 0.8), (r_5, 0.8)\}\). Hence, \(\mathcal {N}^+(r_1)(w_2)\cap \mathcal {N}^+(r_2)(w_2)\) = \(\{(r_3, 0.6), (r_4, 0.7)\}\). Since we know that n = \(|supp(\mathcal {N}^+(r_1)(w_2)\cap \mathcal {N}^+(r_2)(w_2))|\), so n = 2. By Definition 18, \(E_3\) = \(\{r_1, r_2\}\) is the hyperedge of \(\mathcal {C}^{2}(\mathcal {\overrightarrow{\mathcal {G}}}(w_2))\) = \((\mathcal {X}(w_2), \mathcal {D}(w_2))\). Now, we calculate the membership grade of this hyperedge corresponding to parameter \(w_2\)
The 2-competition FS hypergraph \(\mathcal {C}^{2}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {C}^{2}(\mathcal {\overrightarrow{\mathcal {G}}}(w_1))\), \(\mathcal {C}^{2}(\mathcal {\overrightarrow{\mathcal {G}}}(w_2)))\) is given in Fig. 9.
Definition 19
Let \(\mathcal {\overrightarrow{\mathcal {G}}} = (\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\) and suppose p be a positive integer. The p-common enemy FS hypergraph \(\mathcal {C}^{p}\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \((\mathcal {X}, \mathcal {T}, \mathcal {W})\) of \(\mathcal {\overrightarrow{\mathcal {G}}}\) containing the FS vertex set same as in FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}\) and for each \(w\in \mathcal {W}\), \(E = \{r_1, r_2, \cdots , r_p\}\) \(\subseteq \mathcal {R}\) is the hyperedge of \(\mathcal {C}^{p}\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}}(w))\) = \((\mathcal {X}(w), \mathcal {T}(w))\) if \(|supp(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w))|\ge p\). The membership grade of the hyperedge \(E=\{r_{1},r_{2},\cdots ,r_{p}\}\) corresponding to the parameter w is defined as
where \(|supp(\mathcal {N}^{-}(r_{1})(w)\cap \mathcal {N}^{-}(r_{2})(w)\cap \cdots \cap \mathcal {N}^-(r_{p})(w))| = n\).
Remark 2
At \(p=1\), the p-competition FS hypergraphs \(\mathcal {C}^{p}(\mathcal {\overrightarrow{\mathcal {G}}})\) and p-common enemy FS hypergraphs \(\mathcal {C}^{p}\mathcal {E}(\mathcal {\overrightarrow{\mathcal {G}}})\) are FS competition hypergraphs \(\mathcal {CH}(\mathcal {\overrightarrow{\mathcal {G}}})\) and FS common enemy hypergraphs \(\mathcal {CEH}(\mathcal {\overrightarrow{\mathcal {G}}})\), respectively.
Theorem 4
Let \(\overrightarrow{\mathcal {G}}\) = \((\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\).
-
(1)
If for each \(w\in \mathcal {W}\), \(h(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w))\) = 1 in \(\mathcal {C}^{[\frac{n}{2}]}(\overrightarrow{\mathcal {G}}(w))\), where \(n = |supp(\mathcal {N}^{+}(r_{1})(w)\cap \mathcal {N}^{+}(r_{2})(w)\cap \cdots \cap \mathcal {N}^+(r_{p})(w))|\), then the hyperedge \(\{r_1, r_2, \cdots , r_p\}\) is strong in \(\mathcal {C}^{[\frac{n}{2}]}(\overrightarrow{\mathcal {G}})\). (Note that r be any real number, [r] = greatest integer not greater than r.)
-
(2)
If for each \(w\in \mathcal {W}\), \(h(\mathcal {N}^-(r_1)(w)\cap \mathcal {N}^-(r_2)(w)\cap \cdots \cap \mathcal {N}^-(r_p)(w))\) = 1 in \(\mathcal {C}^{[\frac{n}{2}]}\mathcal {E}(\overrightarrow{\mathcal {G}}(w))\), where \(n = |supp(\mathcal {N}^{-}(r_{1})(w)\cap \mathcal {N}^{-}(r_{2})(w)\cap \cdots \cap \mathcal {N}^-(r_{p})(w))|\), then the hyperedge \(\{r_1, r_2, \cdots , r_p\}\) is strong in \(\mathcal {C}^{[\frac{n}{2}]}\mathcal {E}(\overrightarrow{\mathcal {G}})\).
Proof
-
(1)
Here, \(\overrightarrow{\mathcal {G}}\) = \((\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\). Let for each \(w\in \mathcal {W}\), \(h(\mathcal {N}^{+}(r_{1})(w)\cap \mathcal {N}^{+}(r_{2})(w)\cap \cdots \cap \mathcal {N}^+(r_{p})(w))\) = 1 in \(\mathcal {C}^{[\frac{n}{2}]}(\overrightarrow{\mathcal {G}}(w))\) corresponding to parameter w, where \(n = |supp(\mathcal {N}^{+}(r_{1})(w)\cap \mathcal {N}^{+}(r_{2})(w)\cap \cdots \cap \mathcal {N}^+(r_{p})(w))|\). Now, for each \(w\in \mathcal {W}\)
$$\begin{aligned}&\zeta _{\mathcal {D}(w)}(\{r_1, r_2, \cdots , r_p\})\\&\quad =\frac{n-[\frac{n}{2}]+1}{n}\zeta _{\mathcal {X}(w)}(r_1)\wedge \zeta _{\mathcal {X}(w)}(r_2) \wedge \cdots \\&\quad \wedge \zeta _{\mathcal {X}(w)}(r_p),\frac{\zeta _{\mathcal {D}(w)}(\{r_1, r_2, \cdots , r_p\})}{\zeta _{\mathcal {X}(w)}(r_1) \wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p)}\\&\quad = \frac{n-[\frac{n}{2}]+1}{n}>0.5. \end{aligned}$$Hence, the hyperedge \(\{r_1, r_2, \cdots , r_p\}\) is strong in \(\mathcal {C}^{[\frac{n}{2}]}(\overrightarrow{\mathcal {G}})\).
-
(2)
Here \(\overrightarrow{\mathcal {G}}\) = \((\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph. Let for each \(w\in \mathcal {W}\), \(h(\mathcal {N}^{-}(r_{1})(w)\cap \mathcal {N}^{-}(r_{2})(w)\cap \cdots \cap \mathcal {N}^-(r_{p})(w))\) = 1 in \(\mathcal {C}^{[\frac{n}{2}]}\mathcal {E}(\overrightarrow{\mathcal {G}}(w))\) corresponding to parameter w, where \(n = |supp(\mathcal {N}^{-}(r_{1})(w)\cap \mathcal {N}^{-}(r_{2})(w)\cap \cdots \cap \mathcal {N}^-(r_{p})(w))|\). Now, for each \(w\in \mathcal {W}\)
$$\begin{aligned}&\zeta _{\mathcal {T}(w)}(\{r_1, r_2, \cdots , r_p\})=\frac{n-[\frac{n}{2}]+1}{n} \zeta _{\mathcal {X}(w)}(r_1)\\&\quad \wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p),\\&\quad \frac{\zeta _{\mathcal {T}(w)}(\{r_1, r_2, \cdots , r_p\})}{\zeta _{\mathcal {X}(w)}(r_1) \wedge \zeta _{\mathcal {X}(w)}(r_2)\wedge \cdots \wedge \zeta _{\mathcal {X}(w)}(r_p)}\\&\quad = \frac{n-[\frac{n}{2}]+1}{n}>0.5. \end{aligned}$$Hence, the hyperedge \(\{r_1, r_2, \cdots , r_p\}\) is strong in \(\mathcal {C}^{[\frac{n}{2}]}\mathcal {E}(\overrightarrow{\mathcal {G}})\).
\(\square \)
The Venn diagram Fig.10 shows the similarities and differences between FS k-competition hypergraphs \(\mathcal {C}_{k}(\mathcal {\overrightarrow{\mathcal {G}}})\) and p-competition FS hypergraph \(\mathcal {C}^{p}(\mathcal {\overrightarrow{\mathcal {G}}})\).
Both FS k-competition hypergraphs and p-competition FS hypergraphs are generalizations of FS competition hypergraphs. The positive real number k in FS k-competition hypergraphs and the positive integer p in p-competition FS hypergraphs measure the strength of competitions of corresponding FS competition hypergraphs. A real positive number k is related to the cardinality of an FS set and p is related to the cardinality of a soft set. FS k-competition hypergraph is an intersection hypergraph of FS out neighborhood of vertices in an FS digraph. The other is p-competition FS hypergraph and is also an intersection hypergraph of supports of FS out neighborhood of vertices in an FS digraph.
Fuzzy soft neighborhood hypergraphs
The notions of FS open neighborhood and FS closed neighborhood of a vertex in the FS graph are illustrated in this section. The concepts of FS open neighborhood hypergraphs and FS closed neighborhood hypergraphs are given.
Definition 20
An FS open neighborhood of a vertex r in an FS graph \(\mathcal {G}= (\mathcal {X}, \mathcal {K}, \mathcal {W})\) is an FS set
where \(\mathcal {N}(r)(w)\) is a fuzzy set defined as
Definition 21
An FS closed neighborhood of a vertex r in an FS graph \(\mathcal {G}= (\mathcal {X}, \mathcal {K}, \mathcal {W})\) is an FS set
where \(\mathcal {N}[r](w)\) is defined as
Example 8
Let \((\mathcal {X}, \mathcal {W})\) be an FS set on \(\mathcal {R} = \{r_1, r_2, r_3, r_4\}\) and \((\mathcal {K}, \mathcal {W})\) is an FS relation on \(\mathcal {R}\), as shown in Table 11 and 12, respectively. Here, \(\mathcal {W}\) = \(\{w_1, w_2\}\) is a parameter set.
The FS graph \(\mathcal {G}\) = \(\{\mathcal {G}(w_1), \mathcal {G}(w_2)\}\) is given in Fig. 11.
The FS open neighborhood of all vertices in FS graph \(\mathcal {G}\) is given in Table 13.
The FS closed neighborhood of all vertices in \(\mathcal {G}(w_1)\) and \(\mathcal {G}(w_2)\) is given in Table 14.
The FS closed neighborhood of all vertices in \(\mathcal {G}\) is the following:
Definition 22
Let \(\mathcal {G} = (\mathcal {X}, \mathcal {K}, \mathcal {W})\) be an FS graph on \(\mathcal {R}\). The FS open neighborhood hypergraph \(\mathcal {N}(\mathcal {G})=(\mathcal {X}, \mathcal {E}, \mathcal {W})\) of \(\mathcal {G}\) containing the FS vertex set same as in FS graph \(\mathcal {G}\) and for each \(w\in \mathcal {W}\), \(E= \{r_1, r_2, \cdots , r_p\}\) \(\subseteq \mathcal {R}\) is the hyperedge of \(\mathcal {N}(\mathcal {G}(w))\) = \((\mathcal {X}(w), \mathcal {E}(w))\) if \(\mathcal {N}(r_1)(w)\cap \mathcal {N}(r_2)(w)\cap \cdots \cap \mathcal {N}(r_p)(w)\ne \emptyset \). The membership grade of the hyperedge \(E=\{r_1, r_2, \cdots , r_p\}\) corresponding to parameter w is defined as
The technique is given in Algorithm 5 for proceeding FS open neighborhood hypergraph of an FS graph \(\mathcal {G}\).
Example 9
Consider an FS graph \(\mathcal {G}\) = \((\mathcal {X}, \mathcal {K}, \mathcal {W})\), as shown in Fig. 11. The FS open neighborhood of all vertices in \(\mathcal {G}\) is given in Table 13. The support of \((\mathcal {N}(r), \mathcal {W})\) is given in Table 15.
The relations \(f(w_1): \mathcal {R} \longrightarrow \mathcal {R}\) and \(f(w_2): \mathcal {R} \longrightarrow \mathcal {R}\) are given in Fig. 12.
Using fuzzy relation in \(\mathcal {G}(w_1)\), there are three hyperedges \(f^{-1}(r_1)(w_1) = E_1 = \{r_2, r_3\}\), \(f^{-1}(r_2)(w_1)= E_2 = \{r_1, r_3\},\) and \(f^{-1}(r_3)(w_1) = E_3 = \{r_1, r_2, r_4\}\) of \(\mathcal {N}(\mathcal {G}(w_1))\) = \((\mathcal {X}(w_1), \mathcal {E}(w_1))\). Membership grades of these hyperedges are computed as follows:
Using fuzzy relation in \(\mathcal {G}(w_2)\), there are three hyperedges \(f^{-1}(r_2)(w_2) = E_2 = \{r_1, r_3, r_4\}\), \(f^{-1}(r_3)(w_2)= E_3 = \{r_2, r_4\},\) and \(f^{-1}(r_4)(w_2) = E_4 = \{r_2, r_3\}\) of \(\mathcal {N}(\mathcal {G}(w_2))\) = \((\mathcal {X}(w_2), \mathcal {E}(w_2))\). Membership grades of these hyperedges are the following:
The FS open neighborhood hypergraph \(\mathcal {N}(\mathcal {G})\) = \((\mathcal {N}(\mathcal {G}(w_1)), \mathcal {N}(\mathcal {G}(w_2)))\) is given in Fig. 13.
Definition 23
Let \(\mathcal {G} = (\mathcal {X}, \mathcal {K}, \mathcal {W})\) be an FS graph on \(\mathcal {R}\). The FS closed neighborhood hypergraph \(\mathcal {N}[\mathcal {G}]=(\mathcal {X}, \mathcal {O}, \mathcal {W})\) of \(\mathcal {G}\) containing the FS vertex set same as in FS graph \(\mathcal {G}\) and for each \(w\in \mathcal {W}\), \(E= \{r_1, r_2, \cdots , r_p\}\) \(\subseteq \mathcal {R}\) is the hyperedge of \(\mathcal {N}[\mathcal {G}(w)]\) = \((\mathcal {X}(w), \mathcal {O}(w))\) if \(\mathcal {N}[r_1](w)\cap \mathcal {N}[r_2](w)\cap \cdots \cap \mathcal {N}[r_p](w)\ne \emptyset \). The grade of membership of the hyperedge \(E=\{r_1, r_2, \cdots , r_p\}\) for each parameter w is defined as
Definition 24
Let \(\mathcal {G} = (\mathcal {X}, \mathcal {K}, \mathcal {W})\) be an FS graph on \(\mathcal {R}\) and k be a non-negative real number. The FS (k)-competition hypergraph \(\mathcal {N}_k(\mathcal {G})\) = \((\mathcal {X}, \mathcal {S}, \mathcal {W})\) of \(\mathcal {G}\) containing the FS vertex set same as in FS graph \(\mathcal {G}\) and for each \(w\in \mathcal {W}\), \(E = \{r_1, r_2, \cdots , r_p\}\) \(\subseteq \mathcal {R}\) is the hyperedge of \(\mathcal {N}_k(\mathcal {G}(w))\) = \((\mathcal {X}(w), \mathcal {S}(w))\) if \(|\mathcal {N}(r_1)(w)\cap \mathcal {N}(r_2)(w)\cap \cdots \cap \mathcal {N}(r_p)(w)| > k\). The membership grade of the hyperedge \(E=\{r_{1}, r_{2}, \cdots , r_{p}\}\) for each parameter w is defined as
where \(|\mathcal {N}(r_{1})(w)\cap \mathcal {N}(r_{2})(w)\cap \cdots \cap \mathcal {N}(r_{p})(w)| = k_2\).
Definition 25
Let \(\mathcal {G} = (\mathcal {X}, \mathcal {K}, \mathcal {W})\) be an FS graph on \(\mathcal {R}\) and k be a non-negative real number. The FS [k]-competition hypergraph \(\mathcal {N}_k[\mathcal {G}]\) = \((\mathcal {X}, \mathcal {B}, \mathcal {W})\) of \(\mathcal {G}\) containing the FS vertex set same as in FS graph \(\mathcal {G}\) and for each \(w\in \mathcal {W}\), \(E = \{r_1, r_2, \cdots , r_p\}\) \(\subseteq \mathcal {R}\) is the hyperedge of \(\mathcal {N}_k[\mathcal {G}(w)]\) = \((\mathcal {X}(w), \mathcal {B}(w))\) if \(|\mathcal {N}[r_1](w)\cap \mathcal {N}[r_2](w)\cap \cdots \cap \mathcal {N}[r_p](w)| > k\). The membership grade of the hyperedge \(E=\{r_{1}, r_{2}, \cdots , r_{p}\}\) for each parameter w is defined as
where \(|\mathcal {N}[r_{1}](w)\cap \mathcal {N}[r_{2}](w)\cap \cdots \cap \mathcal {N}[r_{p}](w)| = k_2\).
Definition 26
Let \(\overrightarrow{\mathcal {G}}\) = \((\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be an FS digraph on \(\mathcal {R}\). The underlying FS graph of \(\overrightarrow{\mathcal {G}}\) is an FS graph \(\mathcal {U}(\overrightarrow{\mathcal {G}})\) = \((\mathcal {X}, \mathcal {K}, \mathcal {W})\), such that for each \(w\in \mathcal {W}\)
where \(\overrightarrow{E}=supp(\overrightarrow{\mathcal {K}}(w))\).
Example 10
Consider an FS digraph on \(\mathcal {R}\), as shown in Fig. 2. The support of \((\overrightarrow{\mathcal {K}}, \mathcal {W})\) is the following:
The underlying FS graph \(\mathcal {U}(\overrightarrow{\mathcal {G}})\) of FS digraph \(\overrightarrow{\mathcal {G}}\) 2 is given in Fig. 14.
We now study the relationship between FS open neighborhood hypergraphs \(\mathcal {N}_k(\mathcal {G})\) and FS k-competition hypergraphs \(\mathcal {C}_{k}(\mathcal {\overrightarrow{\mathcal {G}}})\).
Theorem 5
Let \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be a symmetric FS digraph having no loops, then \(\mathcal {C}_{k}(\mathcal {\overrightarrow{\mathcal {G}}})\) = \(\mathcal {N}_{k}(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}}))\).
Proof
Let \(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})= (\mathcal {X}, \mathcal {K}, \mathcal {W})\) be an underlying FS graph of an FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\). Also, let \(\mathcal {N}_k(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}}))=(\mathcal {X}, \mathcal {S}, \mathcal {W})\) and \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})= (\mathcal {X}, \mathcal {M}, \mathcal {W})\). The FS k-competition hypergraph \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\) and the underlying FS graph \(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})\) have the same vertex set as in \(\mathcal {\overrightarrow{\mathcal {G}.}}\) Hence, \(\mathcal {N}_k(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}}))\) has the same vertex set as in \(\mathcal {\overrightarrow{\mathcal {G}.}}\) Now, we want to show that \(\zeta _{\mathcal {M}(w)}(\{r_1, r_2, \cdots , r_p\})\) = \(\zeta _{\mathcal {S}(w)}(\{r_1, r_2, \cdots , r_p\})\) for all \(w\in \mathcal {W}\) and \(r_1, r_2, \cdots , r_p \in \mathcal {R}.\)
Case 1: If for each \(w\in \mathcal {W}\) and \(r_1, r_2, \cdots , r_p \in \mathcal {R}\), \(\zeta _{\mathcal {M}(w)}(\{r_1, r_2, \cdots , r_p\}) = 0\) in a FS k-competition hypergraph \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\). Then, for each \(w\in \mathcal {W}\), \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)| \ngtr k\). Since \(\mathcal {\overrightarrow{\mathcal {G}}}\) is symmetric, then \(|\mathcal {N}(r_1)(w)\cap \mathcal {N}(r_2)(w)\cap \cdots \cap \mathcal {N}(r_p)(w)| \ngtr k\) for all \(w\in \mathcal {W}\) in \(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})\). Consequently, \(\zeta _{\mathcal {S}(w)}(\{r_1, r_2, \cdots , r_p\})\)= 0 for all \(w\in \mathcal {W}\) in \(\mathcal {N}_k(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}}))\).
Case 2: If for some \(r_1, r_2, \cdots , r_p\! \in \! \mathcal {R}\), \(\zeta _{\mathcal {M}(w)}(\{r_1, r_2, \cdots , r_p\}) \ne 0\) for all \(w\in \mathcal {W}\) in an FS k-competition hypergraph \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\), then \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)| > k\) for all \(w\in \mathcal {W}\). Since \(\mathcal {\overrightarrow{\mathcal {G}}}\) is symmetric FS digraph, then \(h(\mathcal {N}(r_1)(w)\cap \mathcal {N}(r_2)(w)\cap \cdots \cap \mathcal {N}(r_p)(w))= h(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w))\) for all \(w\in \mathcal {W}\). Therefore
for all \(w\in \mathcal {W}\). Hence, \(\zeta _{\mathcal {M}(w)}(\{r_1, r_2, \cdots , r_p\})= \zeta _{\mathcal {S}(w)}(\{r_1, r_2, \cdots , r_p\})\) for all \(w\in \mathcal {W}\) and \(r_1, r_2, \cdots , r_p\). \(\square \)
Similarly, a relationship between FS closed neighborhood hypergraphs \(\mathcal {N}_k[\mathcal {G}]\) and FS k-competition hypergraphs \(\mathcal {C}_{k}(\mathcal {\overrightarrow{\mathcal {G}}})\) is given as follows.
Theorem 6
Let \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\) be a symmetric FS digraph with loops at every vertex, and then, \(\mathcal {C}_{k}(\mathcal {\overrightarrow{\mathcal {G}}})= \mathcal {N}_{k}[\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})]\).
Proof
Let \(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})= (\mathcal {X}, \mathcal {K}, \mathcal {W})\) be an underlying FS graph of an FS digraph \(\mathcal {\overrightarrow{\mathcal {G}}}=(\mathcal {X}, \overrightarrow{\mathcal {K}}, \mathcal {W})\). Also, let \(\mathcal {N}_k[\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})] = (\mathcal {X}, \mathcal {B}, \mathcal {W})\) and \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})= (\mathcal {X}, \mathcal {M}, \mathcal {W})\). The FS k-competition hypergraph \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\) and the underlying FS graph \(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})\) have the same vertex set as in \(\mathcal {\overrightarrow{\mathcal {G}.}}\) Hence, \(\mathcal {N}_k[\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})]\) has the same vertex set as in \(\mathcal {\overrightarrow{\mathcal {G}.}}\) Now, we want to show that \(\zeta _{\mathcal {M}(w)}(\{r_1, r_2, \cdots , r_p\})\) = \(\zeta _{\mathcal {B}(w)}(\{r_1, r_2, \cdots , r_p\})\) for all \(w\in \mathcal {W}\) and \(r_1, r_2, \cdots , r_p \in \mathcal {R}.\) As the FS digraph has a loop at every vertex, the FS out neighborhood contains the vertex itself. There are two cases.
Case 1: If for each \(w\in \mathcal {W}\) and \(r_1, r_2, \cdots , r_p \in \mathcal {R}\), \(\zeta _{\mathcal {M}(w)}(\{r_1, r_2, \cdots , r_p\}) = 0\) in an FS k-competition hypergraph \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\). Then, for each \(w\in \mathcal {W}\), \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)| \ngtr k\). Since \(\mathcal {\overrightarrow{\mathcal {G}}}\) is symmetric, then \(|\mathcal {N}[r_1](w)\cap \mathcal {N}[r_2](w)\cap \cdots \cap \mathcal {N}[r_p](w)| \ngtr k\) for all \(w\in \mathcal {W}\) in \(\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})\). Consequently, \(\zeta _{\mathcal {B}(w)}(\{r_1, r_2, \cdots , r_p\})\)= 0 for all \(w\in \mathcal {W}\) in \(\mathcal {N}_k[\mathcal {U}(\mathcal {\overrightarrow{\mathcal {G}}})]\).
Case 2: If for some \(r_1, r_2, \cdots , r_p \!\in \! \mathcal {R}\), \(\zeta _{\mathcal {M}(w)}(\{r_1, r_2, \cdots , r_p\}) \ne 0\) for all \(w\in \mathcal {W}\) in an FS k-competition hypergraph \(\mathcal {C}_k(\mathcal {\overrightarrow{\mathcal {G}}})\) then \(|\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w)| > k\) for all \(w\in \mathcal {W}\). Since \(\mathcal {\overrightarrow{\mathcal {G}}}\) is symmetric FS digraph, then \(h(\mathcal {N}[r_1](w)\cap \mathcal {N}[r_2](w)\cap \cdots \cap \mathcal {N}[r_p](w))= h(\mathcal {N}^+(r_1)(w)\cap \mathcal {N}^+(r_2)(w)\cap \cdots \cap \mathcal {N}^+(r_p)(w))\) for all \(w\in \mathcal {W}\). Therefore
for all \(w\in \mathcal {W}\). Hence, \(\zeta _{\mathcal {M}(w)}(\{r_1, r_2, \cdots , r_p\})= \zeta _{\mathcal {B}(w)}(\{r_1, r_2, \cdots , r_p\})\) for all \(w\in \mathcal {W}\) and \(r_1, r_2, \cdots , r_p\). \(\square \)
Application to decision-making
Artificial intelligence (AI) is the core of active research that has embraced new developments in information technology. Although AI has roots which trace back to several years ago, it has endowed automatic intelligent machines with learning, reasoning, and adaptable capabilities. Explainable AI (XAI) refers to techniques and models to produce explainable and accurate approaches to show how a machine learning algorithm reaches a decision which is understandable by humans. XAI helps to understand transparency, fairness, model accuracy, and outcomes occurred in AI decision-making. With the advancement of AI models, it has become a challenge for humans to comprehend how an algorithm approaches an accurate result. XAI helps decision-makers and developers to ensure that a system is working properly to meet the the basic standards. News channels play a vital role in any field as they make us aware of latest trends, changes, and the circumstances of the world. News channels can be beneficial for every class person in their own way. For instance, Students get the latest knowledge concerning current affairs of the nation and the world, Businessmen watch the news to check the current status of market all over the world, and so on. Each news channel has a competitive interrelationship and entanglement among themselves on the basis of their superior content including news headlines and multifarious informative discussion programs. Following we discuss an application of FS common enemy hypergraph (which is a type of FS competition hypergraph) in news channels and study how to apply the notion of FS common enemy hypergraphs in the competitive domain. The strength of power of each news channels in different cities in an FS common enemy hypergraph can be computed by Algorithm 6.
Consider the top 5 most popular news channels of the world BBC World News, Fox News, Cable News Network (CNN), Sky News, and MSNBC. In a set form, these news channels can be represented as
Every news channel competes with another for the parameters \(\{w_1, w_2, w_3, w_4\},\) where \(w_1\) symbolizes current affairs talk shows’ every news channel want to make their talk shows best to aware the audience for all the government exams. \(w_2\) symbolizes ‘news programs’ the news keeps you updated and provides every type of important information, so that every news channel makes an effort to give accurate news to the audience. \(w_3\) symbolizes ‘interview programs’ these types of shows are an excellent format for discussing different topics, so every news channel wants to invite whose guests which give valid information to viewers. \(w_4\) symbolizes ‘political news & discussion programs’ every news channel try to give exact report of politicians and make authentic discussion programs for public. The membership degree of every news channel corresponding to parameters \(w_1, w_2, w_3\), and \(w_4\) is given in Table 16 which indicates the degree of trp of different programs including current affairs talk shows, news programs, interview programs, and political news & discussion programs that airing every day or once in a weak on these considered news channels.
The maximum membership value of Sky News corresponding to parameter \(w_1\) indicates that current affairs talk show of Sky News has the highest trp as compared to other news channels. Also, consider a set
of cities that are availing from these considered news channels. The membership grades of all cities are given in Table 17 which tell us about the interest or requirement of audiences for the above-mentioned parameters of the news channels.
The membership value of London corresponding to parameter \(w_1\) is 0.95 means that 95\(\%\) people who are living in London want to watch current affairs talk shows on news channels. Furthermore, let
The relationship between cities and news channels relative to above given four parameters is presented graphically in Fig. 15. This is the FS digraph and the directed edges between cities and news channels show the influences of audiences toward news channels. For example, the membership grade of London and Fox News is 0.75 in \(\overrightarrow{\mathcal {G}}(w_1)\) means the people who are living in London only 75\(\%\) like current affairs talk show of Fox News.
The FS in neighborhood of FS digraph 15 is given in Table 18. Using Algorithm 4, compute the hyperedges of FS common enemy hypergraph of FS digraph 15. By direct calculation, it is easy to check that
-
1.
{BBC World News, CNN}, {BBC World News, Fox News}, and {Fox News, Sky News, MSNBC} are hyperedges of \(\mathcal {CEH}(\overrightarrow{\mathcal {G}}(w_1)).\)
-
2.
{BBC World News, MSNBC}, {BBC World News, Fox News}, and {BBC World News, CNN, Sky News} are hyperedges of \(\mathcal {CEH}(\overrightarrow{\mathcal {G}}(w_2)).\)
-
3.
{Fox News, MSNBC}, {BBC World News, Fox News, CNN}, {CNN, Sky News}, and {BBC World News, Sky News} are hyperedges of \(\mathcal {CEH}(\overrightarrow{\mathcal {G}}(w_3)).\)
-
4.
{BBC World News, MSNBC}, {BBC World News, Fox News, CNN}, and {CNN, Sky News} are hyperedges of \(\mathcal {CEH}(\overrightarrow{\mathcal {G}}(w_4)).\)
Calculate the membership grades of these hyperedges using Definition 4.3. The FS common enemy hypergraph \(\mathcal {CEH}(\mathcal {G})\) is given in Fig. 16. The hyperedge {BBC World News, CNN} of \(\mathcal {CEH}\overrightarrow{\mathcal {G}}(w_1)\) show that there are common cities A2 and A8 between BBC World News and CNN, and both these channels compete for cities A2 and A8. The membership grade of each hyperedge between news channels indicates the influences of audiences of common cities toward news channels.
Now, we evaluate the strength of power of each news channel using FS common enemy hypergraph. The strength of power of each news channel is computed in Table 19 which indicates the dominant worth of each news channel in different cities. However, Table 15 indicates that BBC World News is the most powerful/dominant news channel than others. In other words, it is the most watchable news channel in different cities.
Discussion and comparison analysis
In this section, we discuss the comparison of proposed FS competition hypergraphs with FS competition graphs and fuzzy competition hypergraphs.
Comparison with fuzzy soft common enemy graphs
FS common enemy graphs [31] deal with real-world situations in the presence of parameters and it is successfully manipulated in different research domains. The decision-making problem that we presented in Sect. Fuzzy soft hypergraphs can also be discussed using FS common enemy graphs. Now, we study the above news channels problem by applying the framework of FS common enemy graph. The FS common enemy graph of FS digraph 15 is specified in Fig. 17.
The edge {Fox News, Sky News} of \(\mathcal {CE}(\overrightarrow{\mathcal {G}}(w_1))\) states that there is a common city A6 between Fox News and Sky News, and both these channels compete for A6. Moreover, Fox News and MSNBC, and Sky News and MSNBC also compete for common city A6. However, if we see in FS common enemy hypergraph 16, there is a hyperedge {Fox News, Sky News, MSNBC} in \(\mathcal {CEH}(\overrightarrow{\mathcal {G}}(w_1))\) which indicates that these are the only channels which compete for A6. Therefore, we concluded two consequences from this example which are the following:
- \(\blacktriangleright \):
-
FS common enemy graphs produce pair-wise relations, conflicts, and influences among objects. This model fails to tell whether there is a correspondence or rivalry among more than two objects.
- \(\blacktriangleright \):
-
FS common enemy hypergraphs give information not merely as a couple but also provide group-wise relationships between objects. Therefore, our proposed model generalizes the existing model.
Now, we evaluate the strength of power of each news channel by utilizing the above-stated technique 17. Using FS common enemy graph 17, the strength of power of each news channel is given in Table 20. Meanwhile, Table 20 specifies that BBC World News is the most powerful/dominant news channel among other channels. In short, it is the most watchable news channel in different cities.
These calculations and conclusion lead us to the following two questions.
The following illustration will provide the answers. The strength of power of each news channel which is obtained from proposed and existing technique is given in Table 21.
It is observed from Table 21 that the consequences of FS common enemy graph and FS common enemy hypergraph are similar. However, the divergence in significant values gives distinct and unique information in both cases. For instance, in fuzzy common enemy graph, the significant values of each news channel tell us the strength of power of news channels just in pair-wise and fail to tell the strength of power of each news channel in group-wise conflicts. However, our proposed model is a key approach to handle this loss of information and give more accurate, precise, and flexibility to the system as compared to the existing methods discussed in literature. Additionally, the final evaluation of our proposed model is that it generalizes the existing model and provides a better illustration of real-world phenomenon regarding fuzziness. This discussion manifests the effectiveness of our proposed model and yields a reason to prefer the proposed model in such decision-making problems.
Comparison with fuzzy common enemy hypergraphs
Fuzzy common enemy hypergraphs [30] play a key role in different domains of technology, social networking, and biological sciences for demonstrating real-world problems using fuzzy models. However, in all these problems, the relations among objects were considered only in one direction. For instance, in Sect. 4, the decision-making problem tackles four parameters at a time, but in fuzzy common enemy hypergraphs, we can deal with only one parameter in a context. Either, we can examine the connection between news channels and different cities for ‘current affairs talk shows’ or ‘news programs’ or ‘interview programs’ or ‘political news & discussion programs’. Now, we check the relationship among news channels and different cities for ‘current affairs talk shows’ and evaluate the conclusions. The fuzzy common enemy hypergraph corresponding to fuzzy ‘current affairs talk shows’ digraph is shown in Fig. 19.
The hyperedge {Fox News, Sky News, MSNBC} of fuzzy common enemy hypergraph \(\mathcal {CEH}(\overrightarrow{\mathcal {G}})\) express that Fox News, Sky News, and MSNBC compete for common city A6. The membership grade of each hyperedge points out the influences of audiences of common cities toward news channels. For example, the membership grade of hyperedge {Fox News, Sky News, MSNBC} is 0.4661 asserts that almost 46\(\%\) residential people of city A6 which like the current affairs talk shows of given news channels. However, FS common enemy hypergraph 16 shows the multiple interest of people including ‘current affairs talk shows’, ‘news programs’, ‘interview programs’, and ‘political news & discussion programs’ in one frame. This technique is incapable to deal with the conflicts, correlations, or communications among objects in the proximity of parameters.
Using fuzzy common enemy hypergraph 18, the strength of power of each news channel is given in Table 22. Moreover, Table 22 indicates that Fox News is the most powerful/dominant news channel among other channels. In other terms, it is the most watchable news channel in different cities.
Comparison with fuzzy common enemy graphs
The existing fuzzy common enemy graph technique is beneficial to evaluate the strength of competition interrelationships among objects. This technique also resolved various problems emerging in crisp methods of evaluation. In this method, the fuzziness was studied only in one direction. Now, we discuss the above-stated application with this technique by taking one parameter ‘current affairs talk shows’ and evaluate the strength of power and observe the divergence in conclusions. The fuzzy common enemy graph corresponding to fuzzy ‘current affairs talk shows’ digraph is shown in Fig. 20.
Now, we calculate the strength of power of each news channel by utilizing this technique. Table 23, depicts that the most powerful/dominant news channel among other channels is Fox News.
The main disadvantages of this technique are:
- \(\blacktriangleright \):
-
The relative attributes of above-stated problem cannot be taken under consideration in this technique.
- \(\blacktriangleright \):
-
The consequences that we attain from this technique only describe competition or conflicts between two objects or entities. These shortcoming flaws can be handled through FS common enemy hypergraph, i.e., our proposed model.
Comparison of strength of powers by applying the proposed technique and existing methods, i.e., FS common enemy hypergraph, fuzzy common enemy hypergraph, and fuzzy common enemy graph, is given in Fig. 21.
The conclusions that we attain through fuzzy common enemy hypergraph and fuzzy common enemy graph exhibit the strength of power relative to ‘current affairs talk shows’ and ignoring the other parameters, because in these existing techniques, we tackle with only one parameter at a time. From above discussion and analysis, we observed that present theories concerning competition lack a lot of crucial facts and hides many errors and flaws. However, our proposed technique has overcome these limitations, permits to handling this diversity, and assists to approach such decision-making problems not only pair-wise but also in group-wise rivalries and relations. These discussions show the validity of our proposed technique.
Conclusion and future directions
In most of the real-world problems, data have uncertain behavior and changes its nature with respect to different parameters which motivates the necessity of fuzzy soft modeling techniques. Fuzzy soft models play a vital in various domains of science and technology and give more accuracy, precision, and flexibility to the system as compared to crisp, fuzzy, and soft models. In this research article, we have introduced a novel framework as extension of competition hypergraphs and fuzzy soft competition hypergraphs by integrating fuzzy soft sets with competition hypergraphs. We have discussed certain types of fuzzy competition hypergraphs to illustrate different competitions in directed fuzzy soft networks. We have also introduced the notions of fuzzy soft k-competition hypergraphs and fuzzy soft neighborhood hypergraphs. We have designed certain algorithms to reduce the calculation procedure while computing these mathematical structures. We have studied the importance of our proposed theory with an application. The proposed model is more effective as it discussed two types of uncertainties in competition networks. On the other hand, it also has some limitations as it increases the calculation complexity with the increase of parameters. This research work can be further extended to 1) neutrosophic soft competition hypergraphs and 2) bipolar fuzzy soft competition hypergraphs.
References
Zadeh LA (1965) Fuzzy sets. Inf Control 8(3):338–353
Kaufmann A (1973) Introduction la thorie des sous-ensembles flous a l’usage des ingnieurs (Fuzzy sets theory). Masson, Paris
Rosenfeld A (1975) Fuzzy graphs. In: Lotfi A. Zadeh (ed) Fuzzy sets and their applications to cognitive and decision processes. Academic Press, New York, p 77–95
Atanassov K (1986) Intuitionistic fuzzy sets. Fuzzy Sets Syst 20:87–96
Atanassov K (1994) Operators over interval valued intuitionistic fuzzy sets. Fuzzy Sets Syst 64(2):159–174
Gau WL, Buehrer DJ (1993) Vague sets. IEEE Trans Syst Man Cybern 23(2):610–614
Gorzalczany MB (1987) A method of inference in approximate reasoning based on interval-valued fuzzy sets. Fuzzy Sets Syst 21(1):1–17
Pawlak Z (1982) Rough sets. Int J Comput Inf Sci 11(5):341–356
Molodtsov D (1999) Soft set theory-first results. Comput Math Appl 37(4–5):19–31
Maji PK, Biswas RK, Roy A (2001) Fuzzy soft sets. J Fuzzy Math 9(3):589–602
Ahmad B, Kharal A (2009) On fuzzy soft sets. Adv Fuzzy Syst 2009:1–6
Feng F, Li C, Davvaz B, Ali MI (2010) Soft sets combined with fuzzy sets and rough sets: a tentative approach. Soft Comput 14(9):899–911
Zadeh LA (1971) Similarity relations and fuzzy orderings. Inf Sci 3(2):177–200
Bhattacharya P (1987) Some remarks on fuzzy graphs. Pattern Recognit Lett 6(5):297–302
Mordeson JN, Nair PS (1998) Fuzzy graphs and hypergraphs. Physica, Heidelberg
Koczy L (1992) Fuzzy graphs in the evaluation and optimization of networks. Fuzzy Sets Syst 46(3):307–319
Mathew S, Sunitha MS (2009) Types of arcs in a fuzzy graph. Inf Sci 179(11):1760–1768
Akram M, Nawaz S (2016) Fuzzy soft graphs with applications. J Intell Fuzzy Syst 30(6):3619–3632
Cohen JE (1968) Interval graphs and food webs: a finding and a problem. RAND Corporation Document 17696-PR, Santa Monica, CA
Lundgren JR (1989) Food webs, competition graphs, competition-common enemy graphs, and niche graphs. Appl Comb Graph Theory Biol Soc Sci 17:221–243
Kim SR, McKee TA, McMorris FR, Roberts FS (1995) p-Competition graphs. Linear Algebra Appl 217:167–178
Brigham RC, McMorris FR, Vitray RP (1995) Tolerance competition graphs. Linear Algebra Appl 217:41–52
Cho HH, Kim SR, Nam Y (2000) The m-step competition graph of a digraph. Discrete Appl Math 105(1–3):115–127
Sonntag M, Teichert HM (2008) Competition hypergraphs of digraphs with certain properties. II. Hamiltonicity. Discussiones Mathematicae. Graph Theory 28(1):23-34
Samanta S, Pal M (2013) Fuzzy k-competition graphs and p-competition fuzzy graphs. Fuzzy Inf Eng 5(2):191–204
Sahoo S, Pal M (2016) Intuitionistic fuzzy competition graphs. J Appl Math Comput 52(1):37–57
Samanta S, Akram M, Pal M (2015) m-Step fuzzy competition graphs. J Appl Math Comput 47(1):461–472
Habib A, Akram M, Farooq A (2019) q-Rung orthopair fuzzy competition graphs with application in the soil ecosystem. Mathematics 7(1):1–33
Akram M, Sattar A, Karaaslan F, Samanta S (2021) Extension of competition graphs under complex fuzzy environment. Complex Intell Syst 7(1):539–558
Sarwar M, Akram M, Alshehri NO (2018) A new method to decision-making with fuzzy competition hypergraphs. Symmetry 10(9):1–22
Nawaz HS, Akram M (2021) Oligopolistic competition among the wireless internet service providers of Malaysia using fuzzy soft graphs. J Appl Math Comput 67:855–890
Shahzadi S, Rasool A, Sarwar M, Akram M (2021) A framework of decision making based on bipolar fuzzy competition hypergraphs. J Intell Fuzzy Syst 41(1):1319–1339
Sarwar M, Akram M, Shahzadi S (2021) Bipolar fuzzy soft information applied to hypergraphs. Soft Comput 25(5):3417–3439
Roy AR, Maji PK (2007) A fuzzy soft set theoretic approach to decision making problems. J Comput Appl Math 203(2):412–418
Lee-Kwang H, Lee KM (1995) Fuzzy hypergraph and fuzzy partition. IEEE Trans Syst Man Cybern 25(1):196–201
Goetschel RH Jr (1995) Introduction to fuzzy hypergraphs and Hebbian structures. Fuzzy Sets Syst 76(1):113–130
Feng F, Fujita H, Ali MI, Yager RR, Liu X (2018) Another view on generalized intuitionistic fuzzy soft sets and related multiattribute decision making methods. IEEE Trans Fuzzy Syst 27(3):474–488
Akram M, Luqman A (2020) Fuzzy hypergraphs and related extensions. Studies in fuzziness and soft computing. Springer, Berlin. https://doi.org/10.1007/978-981-15-2403-5
Sarwar M, Akram M (2017) Novel concepts of bipolar fuzzy competition graphs. J Appl Math Comput 54(1):511–547
Wu SY, Kao YM (1986) The compositions of fuzzy digraphs. J Res Educ Sci 31:603–628
Sarala N, Tharani S (2017) An introduction to fuzzy soft digraphs. IOSR J Math 13:46–54
Vimala J, Reeta JA, Ilamathi VS (2018) A study on fuzzy soft cardinality in lattice ordered fuzzy soft group and its application in decision making problems. J Intell Fuzzy Syst 34(3):1535–1542
Hudec M, Mináiková E, Mesiar R, Saranti A, Holzinger A (2021) Classification by ordinal sums of conjunctive and disjunctive functions for explainable AI and interpretable machine learning solutions. Knowl Based Syst 220:106916
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest regarding the publication of this research article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Akram, M., Shahzadi, S., Rasool, A. et al. Decision-making methods based on fuzzy soft competition hypergraphs. Complex Intell. Syst. 8, 2325–2348 (2022). https://doi.org/10.1007/s40747-022-00646-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40747-022-00646-4