Abstract
Pythagorean fuzzy graph, a broadly used extension of fuzzy and intuitionistic fuzzy graph, is helpful in representing structural relationships between several objects where the relation between these objects is vague, while the Dombi operators with operational parameters have excellent flexibility. Utilizing these two concepts, this research paper proposes the novel concept of Pythagorean Dombi fuzzy graphs (PDFGs). Basically, graph terminology is employed for introducing Pythagorean fuzzy analogs of various fundamental graphical ideas using Dombi operator. Further, under Pythagorean Dombi fuzzy environment, regular, totally regular, strongly regular and biregular graphs are defined with appropriate illustration and some of their crucial properties are examined. Meanwhile, the notion of edge regularity of PDFG is also initiated with substantial characteristics. Finally, a numerical example related to evaluation of appropriate ETL software for a business intelligence project is presented to better understand PDFGs.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Introduction
In the past few years, many operators were initiated and the most important among them appeared in numerous monographs concerning with fuzzy logic. Particularly, it includes min-max, Einstein, Hamacher, Frank, product, Lukasiewicz, Azcel-Alsina and Dombi operators. The product and Einstein operators are the special cases of Hamacher operator. From practical perspectives, these parametrical families hold one’s attention because by considering different value of parameter a distinct argument can be formed.
Zadeh [1] recommended to utilize the product and the minimum operator for defining fuzzy set. Hamacher [2] emphasised that by taking the solution of associativity operational equality, these operators can be created. Later, he obtained the rational structure of disjunctive and conjunctive operators in accordance with Kuwagaki’s results [3]. From that moment on, the researchers working in the field of fuzzy theory proposed a more general form, i.e., triangular norms (t-norms) and triangular conorms (t-conorms). Menger [4] introduced t-norms and t-conorms within probabilistic metric framework, where numbers are employed to narrate the distance between two objects of the space. Schweizer and Sklar [5] presented many axioms and results related to t-norms and t-conorms that showed the rapid progress of this field. Furthermore, these norms are certified as standard models for union and intersection of fuzzy sets by Alsina et al. [6]. Several extensions and summarizations of beneficial outcomes of \(\mathcal {T}\)-operators for the similar cause can be seen in Klement et al. [7] and [8], respectively. In every fuzzy logic application, specifically fuzzy graph theory and decision-making procedures, Zadeh’s min and max operators have been extensively applied. From experimental and theoretical point of view, other \(\mathcal {T}\)-operators may perform better in some cases, especially in decision-making problems, such as product operator may tend to choose over min operator [9]. One has to observe and examine the characteristics of \(\mathcal {T}\)-operators like suitability of the model, simplicity and implementation of hardware and software before the appropriate selection of these operators for a stated application. Since the study and work on these operators has broadened, multiple choices are available for choosing \(\mathcal {T}\)-operators that may be preferable for given research.
A pictorial representation that bonds the items together is known as ‘graph’. But if in the bonding there occurs haziness, then the graph can be considered as fuzzy graph. Rosenfeld [10] established the layout of fuzzy graphs by taking into account fuzzy relations on fuzzy sets (FSs) with min and max operators. As the hesitancy part was not characterized explicitly, Atanassov [11] extended fuzzy sets to intuitionistic fuzzy sets (IFSs) by allocating membership \(\mu \) and non-membership grade \(\nu \) to the items, satisfying the constrain \(\mu + \nu \le 1\) with hesitancy part \(\pi = 1 - \mu - \nu \). At that time graph theory was widely applied in almost every field of real life; hence Shannon and Atanassov [12] put forward the idea of intuitionistic fuzzy graphs by considering intuitionistic fuzzy relations on IFSs. Yager [13,14,15] inaugurated Pythagorean fuzzy sets (PFSs), a new extension of IFSs, to manage the complex uncertainty and impreciseness with constrain \(\mu ^2 + \nu ^2 \le 1\), where \(\mu \) and \(\nu \) represent membership and non-membership grade, respectively. Afterward, for explicating the dual features of an item, Zhang and Xu [16] proposed the notion of Pythagorean fuzzy number (PFN). The motivation of PFSs can be described as follows: in a decision-making environment, a specialist gives the preference information about an alternative with the membership grade 0.6 and the non-membership grade 0.5; it is noted that the intuitionistic fuzzy number (IFN) fails to address this situation, as \(0.6 + 0.5 > 1\). But \((0.6)^2 + (0.5)^2 \le 1.\) Hence PFSs comprise and accommodate greater amount of vagueness than IFSs. The comparison between IFN space and PFN space is shown in Fig. 1. It has been successfully applied in numerous areas, including the internet stocks investment [16], the service quality of domestic airline [17] and the governor selection of the Asian Investment Bank [18]. In the practical multi-criteria group decision-making problems, Akram et al. [19] showed that PFS has much stronger ability to model fuzziness. Under PF environment, many researchers have initiated work in different directions and acquired various eminent results [17]. Some operations on PFSs [20] and Pythagorean fuzzy TODIM approach to multi-criteria decision making [18] have been discussed. Furthermore, the PFS has been investigated from different perspectives, including aggregation operators [21, 22]. Garg [23,24,25,26] explored applications of Pythagorean fuzzy sets in decision-making problems. Graph theory has several applications, including cluster analysis and optimization of networks. Hence on the basis of its applications, Naz et al. [27] proffered the idea of Pythagorean fuzzy graphs (PFGs) using min and max operators and holding Pythagorean fuzzy relations on PFSs. Verma et al. [28] opened up the concept of strong Pythagorean fuzzy graphs and defined complement as well. Energy under Pythagorean fuzzy environment was discussed by Akram and Naz [29]. Akram et al. [19, 30,31,32] proposed certain graphs and explored their crucial properties under Pythagorean fuzzy circumstances. Recently, Akram and Habib [33] discussed regularity of q-rung picture fuzzy graphs with applications. Habib et al. [34] presented the notion of q-Rung orthopair fuzzy competition graphs by considering the most wide spread max and min operators and gave an application in the soil ecosystem.
Dombi [35] inaugurated Dombi operator with flexible operational parameter in 1982. This operator is exceptional as the sign of the parameter discovers whether the operator type is disjunctive or conjunctive. In decision-making problems, it is very useful as by taking distinct values of operational parameters, different arguments can be made depending upon the requirement or one’s need. For this precedence, Chen and Ye [36], Jana et al. [37], Shi and Ye [38] used Dombi operations and presented MCDM problem in single-valued neutrosophic, neutrosophic cubic and bipolar fuzzy environment, respectively. Liu et al. [39] proffered MCGDM problem utilizing Dombi Bonferroni mean operator on IFSs. He [40] investigated typhoon disaster assessment by considering Dombi operations in hesitant fuzzy environment. From the existing studies, it is observed that Dombi operational parameters have flexible nature in decision-making areas. Fuzzy graph theory can easily structure and model decision-making problems with uncertainty. A very limited effort is made for using Dombi operator in the field of graph theory. Hence on the basis of it, Ashraf et al. [41] presented the idea of Dombi fuzzy graph (DFG). As Pythagorean fuzzy graph is more powerful and more practical tool having the capability to deal with imprecise and incomplete information in different decision-making disciplines, such as engineering, mathematics, statistics, artificial intelligence, medical and social sciences than fuzzy graphs. Therefore, the main objective of this research article was to emphasize on the fact that for generalizing the classical graphs to Pythagorean fuzzy graphs, the min and max operators are not preferable to model certain real-world situations. Further, our aim was to assemble the development introduced by Klement, Alsina, Hamachar and other founders in the field of Pythagorean fuzzy graph theory. The paper is accumulated to demonstrate the usage of a \(\mathcal {T}\)-operator, especially the Dombi operator. As Dombi operators with operational parameters, have excellent flexibility and have not yet been applied for Pythagorean fuzzy graphs, hence motivated from these operators, this paper introduces the notion of PDFGs as a generalization of Dombi fuzzy graphs. Further, some substantial characteristics like strongness, completeness, vertex and edge regularity are inspected as they are extensively applied in designing reliable computer networks and matrix representations.
The presented research article is structured as follows: Sect. 2 describes the basic notions and terminologies which will be utilized in the rest of sections. In Sect. 3, we propose the novel concept of Pythagorean Dombi fuzzy graphs and define the complement, homomorphism, isomorphism, completeness and strongness with appropriate illustration. In Sect. 4, we introduce regular, totally regular, strongly regular, biregular, edge regular, totally edge regular Pythagorean Dombi fuzzy graphs and examine some of their crucial characteristics. Section 5 presents a decision-making algorithm in Pythagorean Dombi fuzzy environment and solves a numerical example to illustrate the developed method. Section 6 contains concluding remarks and points out directions for future work.
Preliminaries
In this section, some prerequisite notations and terminologies have been stated for better understating.
In crisp sense, a graph is an ordered pair \({G^*}=(\mathscr {V},E),\) where \(\mathscr {V}\) is a vertex set and E is the edge set of \({G^*}.\) A vertex connected by an edge to a vertex y is called a neighbor of y. The number of edges incident to a vertex y is called the degree of that vertex. A graph without loops and multiple edges is called simple graph, whereas a graph in which each pair of graph vertices is connected by an edge is known as complete graph. The complement \(\overline{G^*}\) of a graph, \({G^*}\), is a graph having vertex set same as in \({G^*}\), in which two vertices are incident if and only if they are not incident in \({G^*}.\) If there occurs a one-one correspondence between the vertices of two graphs \({G_1^*}=(\mathscr {V}_{1},E_1) = (\mathscr {V}({G_1^*}), E({G_1^*}))\) and \({G_2^*}=(\mathscr {V}_{2},E_2) = (\mathscr {V}({G_2^*}), E({G_2^*}))\) which preserves adjacency, then the graphs \({G_1^*}\) and \({G_2^*}\) are called isomorphic. A self-complementary graph is a graph which is isomorphic to its complement. A regular and biregular graph is a graph, where each vertex has the same number of neighbors and each two vertices on the same side of the given bipartition have the same degree as each other, respectively. A graph with direction is called directed graph, where without direction is known as undirected graph.
Definition 1
[1] A fuzzy set (FS) on a universe \(\mathscr {X}\) is an object of the following form:
where \(\mu _{\mathscr {A}} : \mathscr {X} \longrightarrow [0,1] \) represents the membership grades of \(\mathscr {A}.\)
Definition 2
[10] A fuzzy set on \(\mathscr {X}\times \mathscr {X}\) is said to be a fuzzy relation (FR) on \(\mathscr {X},\) denoted by
where \({\mu _{\mathscr {B}}} : \mathscr {X}\times \mathscr {X} \longrightarrow [0,1]\) represents the membership grades of \(\mathscr {A}.\)
Definition 3
[10] A fuzzy graph on a non-empty set \(\mathscr {X}\) is a pair \(\mathscr {G}=(\mathscr {A},\mathscr {B})\) with \(\mathscr {A}\) a FS on \(\mathscr {X}\) and \(\mathscr {B}\) a FR on \(\mathscr {X}\) such that
for all \(s, t \in \mathscr {X}\), where \({\mathscr {A}} : \mathscr {X} \longrightarrow [0,1] \) and \({\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1].\)
Definition 4
[11] An intuitionistic fuzzy set (IFS) on a universe \(\mathscr {X}\) is an object of the form
where \(\mu _{\mathscr {A}} : \mathscr {X} \longrightarrow [0,1] \) and \(\nu _{\mathscr {A}} : \mathscr {X} \longrightarrow [0,1]\) represent the membership and non-membership grades of \(\mathscr {A},\) and \(\mu _{\mathscr {A}}\), \(\nu _{\mathscr {A}}\) satisfies the condition \(0 \le \mu _{\mathscr {A}}({s}) + \nu _{\mathscr {A}}({s}) \le 1\) for all \(s \in \mathscr {X}.\)
Definition 5
[12] An intuitionistic fuzzy set on \(\mathscr {X}\times \mathscr {X}\) is said to be an intuitionistic fuzzy relation (IFR) on \(\mathscr {X},\) denoted by
where \(\mu _{\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1] \) and \(\nu _{\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1]\) represent the membership and non-membership grades of \(\mathscr {B}\), respectively, such that \(0 \le \mu _{\mathscr {B}}({s}{t}) + \nu _{\mathscr {B}}({s}{t}) \le 1\) for all \(s, t \in \mathscr {X}.\)
Definition 6
[12] An intuitionistic fuzzy graph (IFG) on a non-empty set \(\mathscr {X}\) is a pair \(\mathscr {G}=(\mathscr {A},\mathscr {B})\) with \(\mathscr {A}\) an IFS on \(\mathscr {X}\) and \(\mathscr {B}\) an IFR on \(\mathscr {X}\) such that
and \(0 \le \mu _{\mathscr {B}}({s}{t}) + \nu _{\mathscr {B}}({s}{t}) \le 1\) for all \(s, t \in \mathscr {X}\), where \(\mu _{\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1] \) and \(\nu _{\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1]\) represent the membership and non-membership grades of \(\mathscr {B}\), respectively.
Definition 7
[13] A Pythagorean fuzzy set (PFS) on a universe \(\mathscr {X}\) is an object of the form
where \(\mu _{\mathscr {A}} : \mathscr {X} \longrightarrow [0,1]\) and \(\nu _{\mathscr {A}} : \mathscr {X} \longrightarrow [0,1]\) represent the membership and non-membership grades of \(\mathscr {A},\) and \(\mu _{\mathscr {A}}\), \(\nu _{\mathscr {A}}\) satisfies the condition \(0 \le \mu _{\mathscr {A}}^2({s}) + \nu _{\mathscr {A}}^2({s}) \le 1\) for all \(s \in \mathscr {X}.\)
Definition 8
[27] A Pythagorean fuzzy set on \(\mathscr {X}\times \mathscr {X}\) is said to be a Pythagorean fuzzy relation (PFR) on \(\mathscr {X},\) denoted by
where \(\mu _{\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1] \) and \(\nu _{\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1]\) represent the membership and non-membership grades of \(\mathscr {B}\), respectively, such that \(0 \le \mu _{\mathscr {B}}^2({st}) + \nu _{\mathscr {B}}^2({st}) \le 1\) for all \(s, t \in \mathscr {X}.\)
Definition 9
[27] A Pythagorean fuzzy graph (PFG) on a non-empty set \(\mathscr {X}\) is a pair \(\mathscr {G}=(\mathscr {A},\mathscr {B})\) with \(\mathscr {A}\) a PFS on \(\mathscr {X}\) and \(\mathscr {B}\) a PFR on \(\mathscr {X}\) such that
and \(0 \le \mu _{\mathscr {B}}^2({st}) + \nu _{\mathscr {B}}^2({st}) \le 1\) for all \(s, t \in \mathscr {X}\), where \(\mu _{\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1]\) and \(\nu _{\mathscr {B}} : \mathscr {X} \times \mathscr {X} \longrightarrow [0,1]\) represent the membership and non-membership grades of \(\mathscr {B}\), respectively.
Definition 10
[7] A binary function \(\mathcal {T}: [0, 1]\times [0,1]\rightarrow [0, 1]\) is known as t-norm if for all \(s,t,u\in [0,1]\), it satisfies the following:
- 1.
\(\mathcal {T}(s,1)=s\) (boundary condition or neutral property),
- 2.
\(\mathcal {T}(s, t) = \mathcal {T}(t, s)\) (commutativity),
- 3.
\(\mathcal {T}(s, \mathcal {T}(t, u)) =\mathcal {T}(\mathcal {T}(s, t), u)\) (associativity),
- 4.
\(\mathcal {T}(s, t) \le \mathcal {T}(u, v)\) if \(s \le u\) and \(t \le v\) (monotonicity).
Replacing 1 by 0 in condition 1, we obtain the concept of dual t-conorm or s-norm.
There are the following common t-norms:
The minimum operator \(\mathscr {M}(s, t) = \min (s, t).\)
The product operator \(\mathscr {P}(s, t) = st.\)
The Dombi’s t-norm \(\dfrac{1}{1+[(\dfrac{1-s}{s})^\gamma +(\dfrac{1-t}{t})^\gamma ]^{\dfrac{1}{\gamma }}}, \gamma > 0.\)
The corresponding t-conorms are as follows:
The maximum operator \(\mathscr {M^*}(s, t) = \max (s, t).\)
The probabilistic sum \(\mathscr {P^*}(s, t) = s+t-st.\)
The Dombi’s t-conorm \(\dfrac{1}{1+[(\dfrac{1-s}{s})^{-\gamma } +(\dfrac{1-t}{t})^{-\gamma }]^{\dfrac{1}{-\gamma }}}, \gamma > 0.\)
One more set of \(\mathcal {T}\)-operators is \(\mathcal {T}(s,t)=\dfrac{st}{s+t-st}\) and \(\mathscr {S}(s,t)=\dfrac{s+t-2st}{1-st},\) which can be acquired by putting \(\gamma =1\) in Dombi’s t-norm and t-conorm. Additionally, \(\mathscr {P}(s, t) \le \dfrac{st}{s+t-st} \le \mathscr {M}(s, t)\) and \(\mathscr {M^*}(s, t) \le \dfrac{s+t-2st}{1-st} \le \mathscr {P^*}(s, t).\)
Definition 11
[41] A Dombi fuzzy graph on underlying set \(\mathscr {V}\) is an ordered pair \(G=(\mathscr {A},\mathscr {B}),\) where \(\mathscr {A}:\mathscr {V}\longrightarrow [0,1]\) is a fuzzy subset in \(\mathscr {V}\) and \(\mathscr {B}:\mathscr {V}\times \mathscr {V} \longrightarrow [0,1]\) is a symmetric fuzzy relation on \(\mathscr {A}\) such that
for all \(s,t \in \mathscr {V},\) where \(\mu _{\mathscr {A}}\) and \(\mu _{\mathscr {B}}\) represent the membership grades of \(\mathscr {A}\) and \(\mathscr {B}\), respectively.
Definition 12
[27] A Pythagorean fuzzy preference relation (PFPR) on the set of alternatives \(\mathscr {X}=\left\{ x_{1},x_{2},\ldots ,x_{n}\right\} \) is represented by a matrix \(\mathscr {Q} =(r_{ij})_{n\times n}\), where \(r_{ij} =( x_{i}x_{j},\mu (x_{i}x_{j}),\nu (x_{i}x_{j}))\) for all \(i, j = 1, 2, \ldots ,n\). For convenience, let \(r_{ij}=(\mu _{ij},\nu _{ij})\) where \(\mu _{ij}\) indicates the degree to which the object \(x_{i}\) is preferred to the object \(x_{j}\), \(\nu _{ij}\) denotes the degree to which the object \(x_{i}\) is not preferred to the object \(x_{j}\) and \(\pi _{ij}=\sqrt{1-\mu ^{2}_{ij}-\nu ^{2}_{ij}}\) is interpreted as a hesitancy degree, with the following conditions:
For other applications and prerequisite terminologies, the readers are referred to [42,43,44,45,46,47,48].
Pythagorean Dombi fuzzy graphs
Definition 13
A Pythagorean Dombi fuzzy graph (PDFG) on underlying set \(\mathscr {V}\) is an ordered pair \(G=(\mathscr {A},\mathscr {B}),\) where \(\mathscr {A}=(\mu _{\mathscr {A}}, \nu _{\mathscr {A}}):\mathscr {V}\longrightarrow [0,1]\) is a Pythagorean fuzzy subset in \(\mathscr {V}\) and \(\mathscr {B}=(\mu _{\mathscr {B}}, \nu _{\mathscr {B}}):\mathscr {V}\times \mathscr {V} \longrightarrow [0,1]\) is a symmetric Pythagorean fuzzy relation on \(\mathscr {A}\) such that
and \(0 \le \mu _{\mathscr {B}}^2({s}{t}) +\nu _{\mathscr {B}}^2({s}{t}) \le 1\) for all \(s,t \in \mathscr {V},\) where \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) represent the membership and non-membership grades of \(\mathscr {B}\), respectively.
Remark 1
We call \(\mathscr {A}\) the Pythagorean Dombi fuzzy vertex set of G and \(\mathscr {B}\) the Pythagorean Dombi fuzzy edge set of G.
If \(\mathscr {B}\) is symmetric on \(\mathscr {A},\) then \(G=(\mathscr {A},\mathscr {B})\) is called PDFG.
If \(\mathscr {B}\) is not symmetric on \(\mathscr {A},\) then \(\mathcal {D}=(\mathscr {A},\mathscr {\overrightarrow{\mathscr {B}}})\) is called Pythagorean Dombi fuzzy digraph.
Example 1
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} = \{t_1,t_2,t_3,t_4,t_5,t_6\}\) and \(E = \{t_1t_2,t_1t_4,t_1t_6,t_2t_3,t_2t_5,t_3t_6,t_3t_4,t_4t_5,t_5t_6\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
By routine computations, one can see from Fig. 2 that \(G=(\mathscr {A},\mathscr {B})\) is a PDFG.
Definition 14
Let \(\mathscr {B}=\{(st,\mu _{\mathscr {B}}(st), \nu _{\mathscr {B}}(st))|st \in E\}\) be a Pythagorean Dombi fuzzy edge set in PDFG G; then
The order of G is symbolized by \(\mathscr {O}{(G)}\) and given by \( \mathscr {O}{(G)}= (\sum _{t \in \mathscr {V}}\mu _{\mathscr {A}}(t),\sum _{t \in \mathscr {V}}\nu _{\mathscr {A}}(t)).\)
The size of G is symbolized by \(\mathscr {S}{(G)}\) and given by \( \mathscr {S}{(G)}= (\sum _{st\in E}\mu _{\mathscr {B}}(st),\sum _{st\in E}\nu _{\mathscr {B}}(st)).\)
Example 2
From Example 1, we have
The order of G\(\mathscr {O}({G})=(\sum _{t \in \mathscr {V}} \mu _{\mathscr {A}}(t),\sum _{t \in \mathscr {V}}\nu _{\mathscr {A}}(t))=(3.5,3.5).\)
The size of G\(\mathscr {S}({G})=(\sum _{st\in E}\mu _{\mathscr {B}}(st),\sum _{st\in E}\nu _{\mathscr {B}}(st))=(3.14,6.75).\)
Definition 15
Let \(\mathscr {B}=\{(st,\mu _{\mathscr {B}}(st), \nu _{\mathscr {B}}(st))|st \in E\}\) be a Pythagorean Dombi fuzzy edge set in PDFG G; then
The degree of vertex \(s \in \mathscr {V}\) is symbolized by \((\mathscr {D})_{G}(s)\) and defined by \( (\mathscr {D})_{G}(s) =((\mathscr {D})_\mu (s),(\mathscr {D})_\nu (s)),\) where
$$\begin{aligned} (\mathscr {D})_\mu (s)= & {} \sum _{s,t\ne s \in \mathscr {V}}\mu _{\mathscr {B}}(st)\\= & {} \sum _{s,t\ne s \in \mathscr {V}} \dfrac{{\mu _{\mathscr {A}}({s})} {\mu _{\mathscr {A}}({t})}}{{\mu _{\mathscr {A}}({s})}+{\mu _{\mathscr {A}}({t})} -{\mu _{\mathscr {A}}({s})}{\mu _{\mathscr {A}}({t})}},\\ (\mathscr {D})_\nu (s)= & {} \sum _{s,t\ne s \in \mathscr {V}}\nu _{\mathscr {B}}(st)\\= & {} \sum _{s,t\ne s \in \mathscr {V}} \dfrac{{\nu _{\mathscr {A}}({s})} +{\nu _{\mathscr {A}}({t})}-2{\nu _{\mathscr {A}}({s})} {\nu _{\mathscr {A}}({t})}}{1-{\nu _{\mathscr {A}}({s})} {\nu _{\mathscr {A}}({t})}}. \end{aligned}$$The total degree of vertex \(s \in \mathscr {V}\) is symbolized by \((\mathscr {TD})_{G}(s)\) and defined by \((\mathscr {TD})_{G}(s) =((\mathscr {TD})_\mu (s)\), \((\mathscr {TD})_\nu (s)),\) where
$$\begin{aligned} (\mathscr {TD})_\mu (s)= & {} \sum _{s,t\ne s \in \mathscr {V}}\mu _{\mathscr {B}}(st)+\mu _{\mathscr {A}}(s)\\= & {} \sum _{s,t\ne s \in \mathscr {V}} \dfrac{{\mu _{\mathscr {A}}({s})} {\mu _{\mathscr {A}}({t})}}{{\mu _{\mathscr {A}}({s})} +{\mu _{\mathscr {A}}({t})}-{\mu _{\mathscr {A}}({s})} {\mu _{\mathscr {A}}({t})}}\\&+\mu _{\mathscr {A}}(s),\\ (\mathscr {TD})_\nu (s)= & {} \sum _{s,t\ne s \in \mathscr {V}}\nu _{\mathscr {B}}(st)+\nu _{\mathscr {A}}(s)\\= & {} \sum _{s,t\ne s \in \mathscr {V}} \dfrac{{\nu _{\mathscr {A}}({s})} +{\nu _{\mathscr {A}}({t})}-2{\nu _{\mathscr {A}}({s})} {\nu _{\mathscr {A}}({t})}}{1-{\nu _{\mathscr {A}}({s})} {\nu _{\mathscr {A}}({t})}}\\&+\nu _{\mathscr {A}}(s). \end{aligned}$$
Example 3
From Example 1, we have
The degree of the vertices in G are as follows:
\((\mathscr {D})_{G}(t_1)=(0.95,2.26)\), \((\mathscr {D})_{G}(t_2)=(1.15,2.26)\), \((\mathscr {D})_{G}(t_3)=(1.35,2.08)\), \((\mathscr {D})_{G}(t_4)=(1.55,1.77)\), \((\mathscr {D})_{G}(t_5)=(0.84,2.41)\), \((\mathscr {D})_{G}(t_6)=(0.44,2.72)\).
The total degree of the vertices in G are as follows:
\((\mathscr {TD})_{G}(t_1)=(1.45,2.86)\), \((\mathscr {TD})_{G}(t_2)=(1.75,2.96)\), \((\mathscr {TD})_{G}(t_3)=(2.15,2.48)\), \((\mathscr {TD})_{G}(t_4)=(2.45,1.97)\), \((\mathscr {TD})_{G}(t_5)=(1.34,3.11)\), \((\mathscr {TD})_{G}(t_6)=(0.64,3.62)\).
Definition 16
The complement of a PDFG \(G=(\mathscr {A},\mathscr {B})\) on an underlying graph \(G^*=(\mathscr {V},E)\) is a PDFG \(\overline{G}=(\overline{\mathscr {A}},\overline{\mathscr {B}})\) which is defined by
- 1.
\(\overline{\mu _{\mathscr {A}}(s)}=\mu _{\mathscr {A}}(s)\) and \(\overline{\nu _{\mathscr {A}}(s)}=\nu _{\mathscr {A}}(s).\)
- 2.
\(\overline{\mu _{\mathscr {B}}(st)}=\left\{ \begin{array}{ll} \dfrac{{\mu _{\mathscr {A}}({s})}{\mu _{\mathscr {A}}({t})}}{{\mu _{\mathscr {A}}({s})}+{\mu _{\mathscr {A}}({t})} -{\mu _{\mathscr {A}}({s})}{\mu _{\mathscr {A}}({t})}}, ~~~~~~~~~~~~~~~~~~ \mathrm{if} ~\mu _{\mathscr {B}}(st)=0,\\ \\ \dfrac{{\mu _{\mathscr {A}}({s})}{\mu _{\mathscr {A}}({t})}}{{\mu _{\mathscr {A}}({s})}+{\mu _{\mathscr {A}}({t})} -{\mu _{\mathscr {A}}({s})}{\mu _{\mathscr {A}}({t})}} -\mu _{\mathscr {B}}(st),~~~~~\mathrm{if} ~0 < \mu _{\mathscr {B}}(st) \le 1. \end{array}\right. \)
\(\overline{\nu _{\mathscr {B}}(st)}=\left\{ \begin{array}{ll} \dfrac{{\nu _{\mathscr {A}}({s})}+{\nu _{\mathscr {A}}({t})} -2{\nu _{\mathscr {A}}({s})}{\nu _{\mathscr {A}}({t})}}{1-{\nu _{\mathscr {A}}({s})}{\nu _{\mathscr {A}}({t})}}, ~~~~~~~~~~~~~~~~~~ \mathrm{if} ~\nu _{\mathscr {B}}(st)=0,\\ \\ \dfrac{{\nu _{\mathscr {A}}({s})}+{\nu _{\mathscr {A}}({t})} -2{\nu _{\mathscr {A}}({s})}{\nu _{\mathscr {A}}({t})}}{1-{\nu _{\mathscr {A}}({s})}{\nu _{\mathscr {A}}({t})}} -\nu _{\mathscr {B}}(st),~~~~~~\mathrm{if} ~0 < \nu _{\mathscr {B}}(st) \le 1. \end{array}\right. \)
Example 4
Consider a PDFG G over \(\mathscr {V}=\{t_1,t_2,t_3,t_4\}\) as displayed in Fig. 3 and defined by
By using Definition 16, one can obtain complement of PDFG as presented in Fig. 4 and defined by
By routine computations, one can see from Fig. 4 that \(\overline{G}=(\overline{\mathscr {A}},\overline{\mathscr {B}})\) is a PDFG.
Theorem 1
If \(G=(\mathscr {A},\mathscr {B})\) is a PDFG, then \(\overline{\overline{G}}=G.\)
Proof
Suppose that G is a PDFG. Then by definition of complement of PDFG, we have
If \(\mu _{\mathscr {B}}(st)=0\) and \(\nu _{\mathscr {B}}(st)=0\), then
If \(0 < \mu _{\mathscr {B}}(st), \nu _{\mathscr {B}}(st) \le 1\), then
for all \( s,t \in \mathscr {V}.\) Hence the complement of a complement PDFG is a PDFG itself.
Definition 17
A homomorphism \(\mathscr {H}:{G_{1}} \rightarrow {G_{2}}\) of two PDFGs \(G_{1}=(\mathscr {A}_{1},\mathscr {B}_{1})\) and \(G_{2}=(\mathscr {A}_{2},\mathscr {B}_{2})\) is a mapping \(\mathscr {H}:{\mathscr {V}_{1}} \rightarrow {\mathscr {V}_{2}}\) satisfying
- 1.
\(\mu _{\mathscr {A}_{1}}(s) \le \mu _{\mathscr {A}_{2}}(\mathscr {H}(s)), \nu _{\mathscr {A}_{1}}(s) \le \nu _{\mathscr {A}_{2}}(\mathscr {H}(s))\),
- 2.
\(\mu _{\mathscr {B}_{1}}(st) \le \mu _{\mathscr {B}_{2}}(\mathscr {H}(s)\mathscr {H}(t)), \nu _{\mathscr {B}_{1}}(st) \le \nu _{\mathscr {B}_{2}} (\mathscr {H}(r)\mathscr {H}(s)) ~\mathrm{for}~\mathrm{all}~ s \in \mathscr {V}_{1}, st \in E_{1}\).
Definition 18
An isomorphism \(\mathscr {H}:{G_{1}} \rightarrow {G_{2}}\) of two PDFGs \({G_{1}=(\mathscr {A}_{1},\mathscr {B}_{1})}\) and \({G_{2}=(\mathscr {A}_{2},\mathscr {B}_{2})}\) is a bijective mapping \(\mathscr {H}:{\mathscr {V}_{1}} \rightarrow {\mathscr {V}_{2}}\) satisfying
- 1.
\(\mu _{\mathscr {A}_{1}}(s) =\mu _{\mathscr {A}_{2}}(\mathscr {H}(s)), \nu _{\mathscr {A}_{1}}(s) =\nu _{\mathscr {A}_{2}}(\mathscr {H}(s)),\)
- 2.
\(\mu _{\mathscr {B}_{1}}(st) =\mu _{\mathscr {B}_{2}}(\mathscr {H}(s)\mathscr {H}(t)), \nu _{\mathscr {B}_{1}}(st) {=}\nu _{\mathscr {B}_{2}}(\mathscr {H}(s)\mathscr {H}(t)) \mathrm{for}~\mathrm{all}~s \in \mathscr {V}_{1}, st \in E_{1}\).
Definition 19
A weak isomorphism \(\mathscr {H}:{G_{1}} \rightarrow {G_{2}}\) of two PDFGs \({G_{1}=(\mathscr {A}_{1},\mathscr {B}_{1})}\) and \({G_{2}=(\mathscr {A}_{2},\mathscr {B}_{2})}\) is a bijective mapping \(\mathscr {H}:{\mathscr {V}_{1}} \rightarrow {\mathscr {V}_{2}}\) satisfying
- 1.
\(\mathscr {H}\) is a homomorphism,
- 2.
\(\mu _{\mathscr {A}_{1}}(s) = \mu _{\mathscr {A}_{2}} (\mathscr {H}(s)), \nu _{\mathscr {A}_{1}}(s) = \nu _{\mathscr {A}_{2}} (\mathscr {H}(s))\mathrm{~for~ all~}s \in \mathscr {V}_{1}\).
Definition 20
A co-weak isomorphism \(\mathscr {H}:{G_{1}} \rightarrow {G_{2}}\) of two PDFGs \({G_{1}=(\mathscr {A}_{1},\mathscr {B}_{1})}\) and \({G_{2}=(\mathscr {A}_{2},\mathscr {B}_{2})}\) is a bijective mapping \(\mathscr {H}:{\mathscr {V}_{1}} \rightarrow {\mathscr {V}_{2}}\) satisfying
- 1.
\(\mathscr {H}\) is a homomorphism,
- 2.
\(\mu _{\mathscr {B}_{1}}(st) = \mu _{\mathscr {B}_{2}} (\mathscr {H}(s)\mathscr {H}(t)), \nu _{\mathscr {B}_{1}}(st) = \nu _{\mathscr {B}_{2}}(\mathscr {H}(s)\mathscr {H}(t)) ~\mathrm{for}~\mathrm{all}~st \in E_{1}.\)
Definition 21
A PDFG \({G=(\mathscr {A},\mathscr {B})}\) is called self-complementary if \(\overline{G}\cong G\).
Proposition 1
If \(G=(\mathscr {A},\mathscr {B})\) is a self-complementary PDFG, then
Proof
Assume that G is a self-complementary PDFG; then there occurs an isomorphism \(\mathscr {H}:\mathscr {V}\longrightarrow \mathscr {V}\) such that
Using the definition of complement of G, we have
Likewise, for non-membership grade, we have
This completes the proof. \(\square \)
Proposition 2
Let \(G=(\mathscr {A},\mathscr {B})\) be the PDFG on underlying graph \(G^*=(\mathscr {V},E).\) If
for all \(s,t \in \mathscr {V},\) then G is self-complementary.
Proof
Assume that G is the PDFG that satisfies
for all \(s,t \in \mathscr {V},\) then the identity mapping \(\mathrm {I}:\mathscr {V}\longrightarrow \mathscr {V}\) is an isomorphism from G to \(\overline{G}\) that satisfies the following conditions:
Since the membership grade of an edge st is given by
we have
Likewise, the non-membership grade of an edge st is given by
so we have
Since the conditions of isomorphism \(\overline{\mu _{\mathscr {B}} (\mathrm {I}(s)\mathrm {I}(t))} = \mu _{\mathscr {B}}(st)\) and \(\overline{\nu _{\mathscr {B}}(\mathrm {I}(s)\mathrm {I}(t))} =\nu _{\mathscr {B}}(st)\) are satisfied by \(\mathrm {I},\)\(G=(\mathscr {A},\mathscr {B})\) is self-complementary. \(\square \)
Proposition 3
If \(G_{1}=(\mathscr {A}_{1},\mathscr {B}_{1})\) and \(G_{2}=(\mathscr {A}_{2},\mathscr {B}_{2})\) are two isomorphic PDFGs, then the complement of \(G_{1}\) and \(G_{2}\) are also isomorphic to each other and conversely.
Proof
Assume that \(G_{1}\) and \(G_{2}\) are two isomorphic PDFGs. Then by definition of isomorphism, there occurs a bijective mapping \(\mathscr {H}:\mathscr {V}_{1}\longrightarrow \mathscr {V}_{2}\) that satisfies
By using the definition of complement of PDFG, the membership grade of an edge st is
Also, the non-membership grade of an edge st is
Hence the complement of \(G_{1}\) is isomorphic to the complement of \(G_{2}\). Likewise, the converse part can be proved. \(\square \)
Proposition 4
If \(G_{1}=(\mathscr {A}_{1},\mathscr {B}_{1})\) and \(G_{2}=(\mathscr {A}_{2},\mathscr {B}_{2})\) are two weak isomorphic PDFGs, then the complement of \(G_{1}\) and \(G_{2}\) are also weak isomorphic.
Proof
Assume that \(G_{1}\) and \(G_{2}\) are two weak isomorphic PDFGs. Then by definition of weak isomorphism, there occurs a bijective mapping \(\mathscr {H}:\mathscr {V}_{1}\longrightarrow \mathscr {V}_{2}\) that satisfies
Consider the membership condition of an edge; then we have
Now take the non-membership condition of an edge; then we have
Hence we conclude that \(\overline{G_{1}}\) and \(\overline{G_{2}}\) are weak isomorphic. \(\square \)
We state the following proposition without proof:
Proposition 5
If \(G_{1}=(\mathscr {A}_{1},\mathscr {B}_{1})\) and \(G_{2}=(\mathscr {A}_{2},\mathscr {B}_{2})\) are two co-weak isomorphic PDFGs, then the complement of \(G_{1}\) and \(G_{2}\) are homomorphic.
Definition 22
A PDFG is said to be complete if
Example 5
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4\}\) and \(E =\{t_1t_2,t_1t_3,t_1t_4,t_2t_3, t_2t_4,t_3t_4\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
By routine computations, one can see from Fig. 5 that \(G=(\mathscr {A},\mathscr {B})\) is a complete PDFG.
Definition 23
A PDFG is said to be strong if
Example 6
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4,t_5\}\) and \(E =\{t_1t_2,t_1t_4,t_1t_5,t_2t_3, t_2t_4,t_3t_4,t_4t_5\}\). Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
By routine computations, one can see from Fig. 6 that \(G=(\mathscr {A},\mathscr {B})\) is a strong PDFG.
Remark 2
Every complete PDFG is strong; one can easily see from Example 5.
Definition 24
The complement of a strong PDFG \(G=(\mathscr {A},\mathscr {B})\) on an underlying graph \(G^*=(\mathscr {V},E)\) is a PDFG \(\overline{G} =(\mathscr {\overline{A}},\mathscr {\overline{B}})\) defined by
- 1.
\(\overline{\mu _{\mathscr {A}}(s)} =\mu _{\mathscr {A}}(s)\) and \(\overline{\nu _{\mathscr {A}}(s)} =\nu _{\mathscr {A}}(s) ~\mathrm{for}~\mathrm{all}~ s\in \mathscr {V}.\)
- 2.
\(\overline{\mu _{\mathscr {B}}(st)}=\left\{ \begin{array}{ll} \dfrac{{\mu _{\mathscr {A}}({s})}{\mu _{\mathscr {A}}({t})}}{{\mu _{\mathscr {A}}({s})}+{\mu _{\mathscr {A}}({t})} -{\mu _{\mathscr {A}}({s})}{\mu _{\mathscr {A}}({t})}}, ~~~~~~~~~~~~~ \mathrm{if} ~\mu _{\mathscr {B}}(st)=0,\\ \\ 0,~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\mathrm{if} ~0 < \mu _{\mathscr {B}}(st) \le 1. \end{array}\right. \)
\(\overline{\nu _{\mathscr {B}}(st)}=\left\{ \begin{array}{ll} \dfrac{{\nu _{\mathscr {A}}({s})}+{\nu _{\mathscr {A}}({t})} -2{\nu _{\mathscr {A}}({s})}{\nu _{\mathscr {A}}({t})}}{1-{\nu _{\mathscr {A}}({s})}{\nu _{\mathscr {A}}({t})}}, ~~~~~~~~~~~~~ \mathrm{if} ~\nu _{\mathscr {B}}(st)=0,\\ \\ 0,~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\mathrm{if} ~0 < \nu _{\mathscr {B}}(st) \le 1. \end{array}\right. \)
Example 7
Consider a strong PDFG \(G=(\mathscr {A},\mathscr {B})\) as displayed in Fig. 6. Then by using the Definition 24, one can obtain complement of a strong PDFG as presented in Fig. 7.
By routine computations, one can see from Fig. 7 that \(\overline{G}\) is a PDFG.
Regularity of Pythagorean Dombi fuzzy graphs
In this section, we introduce the concept of regularity of Pythagorean Dombi fuzzy graphs that can be helpful in real scientific applications.
Definition 25
A PDFG \(G=(\mathscr {A},\mathscr {B})\) on crisp graph \(G^*=(\mathscr {V},E)\) is said to be regular of degree \((\mathscr {R}_{1},\mathscr {R}_{2})\) or \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. If
Example 8
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4\}\) and \(E = \{t_1t_2,t_1t_4,t_2t_3,t_3t_4\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
Since \((\mathscr {D})_{G}(t_1)=(\mathscr {D})_{G}(t_2)=(\mathscr {D})_{G}(t_3)=(\mathscr {D})_{G}(t_4)=(0.82,0.92),\)\(G=(\mathscr {A},\mathscr {B})\), presented in Fig. 8, is (0.82, 0.92)-regular PDFG.
Definition 26
A PDFG \(G=(\mathscr {A},\mathscr {B})\) on crisp graph \(G^*=(\mathscr {V},E)\) is said to be totally regular of degree \((\mathscr {K}_{1},\mathscr {K}_{2})\) or \((\mathscr {K}_{1},\mathscr {K}_{2})\)-totally regular. If
Example 9
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4\}\) and \(E = \{t_1t_3,t_1t_4,t_2t_3,t_2t_4\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
Since \((\mathscr {TD})_{G}(t_1)=(\mathscr {TD})_{G}(t_2) =(\mathscr {TD})_{G}(t_3)=(\mathscr {TD})_{G}(t_4)=(1.08,2.04)\), \(G=(\mathscr {A},\mathscr {B})\), presented in Fig. 9, is (1.08, 2.04)-totally regular PDFG.
Theorem 2
Let \(G=(\mathscr {A},\mathscr {B})\) be a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular PDFG. Then the size \(\mathscr {S}(G)=(\dfrac{n\mathscr {R}_{1}}{2},\dfrac{n\mathscr {R}_{2}}{2}),\) where \(|\mathscr {V}|=n.\)
Proof
Assume that G is a PDFG with size given by
Since G is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular, the degree of the vertex
Since each edge is double times counted, one time for vertex s and one time for t, we have
This completes the proof. \(\square \)
Theorem 3
Let \(G=(\mathscr {A},\mathscr {B})\) be a \((\mathscr {K}_{1}, \mathscr {K}_{2})\)-totally regular PDFG. Then \(2\mathscr {S}(G) +\mathscr {O}(G)=(n{\mathscr {K}_{1}},n{\mathscr {K}_{2}}),\) where \(|\mathscr {V}|=n.\)
Proof
Assume that G is a PDFG; then the total degree is given by
Since G is \((\mathscr {K}_{1},\mathscr {K}_{2})\)-totally regular,
Since each edge is double times counted, one time for vertex s and one time for t, we have
This completes the proof. \(\square \)
Corollary 1
Let \(G=(\mathscr {A},\mathscr {B})\) be a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular and \((\mathscr {K}_{1},\mathscr {K}_{2})\)-totally regular PDFG. Then \(\mathscr {O}(G)=n\{({\mathscr {K}_{1}},{\mathscr {K}_{2}}) -({\mathscr {R}_{1}},{\mathscr {R}_{2}})\}\ (~\mathrm{or}~ n\{({\mathscr {K}_{1}}-{\mathscr {R}_{1}})+({\mathscr {K}_{2}} -{\mathscr {R}_{2}})\}).\)
Proof
Assume that G is a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular PDFG. Then the size of G is
As G is a \((\mathscr {K}_{1},\mathscr {K}_{2})\)-totally regular PDFG, from Theorem 3, we must have
This completes the proof. \(\square \)
Theorem 4
Consider \(G_{1}=(\mathscr {A}_{1},\mathscr {B}_{1})\) is isomorphic to \(G_{2}=(\mathscr {A}_{2},\mathscr {B}_{2})\):
- 1.
If \(G_{1}\) is regular PDFG, then \(G_{2}\) is also regular PDFG.
- 2.
If \(G_{1}\) is totally regular PDFG, then \(G_{2}\) is also totally regular PDFG.
Proof
1. Assume that \(G_{1}\) is isomorphic to \(G_{2}\) and \(G_{1}\) is \(({\mathscr {R}_{1}},{\mathscr {R}_{2}})\)-regular PDFG; then the degree of each vertex in \(G_{1}\) is given by
Since \(G_{1} \cong G_{2}\), we must have
Therefore, \(G_{2}\) is a \(({\mathscr {R}_{1}}, {\mathscr {R}_{2}})\)-regular PDFG. em Assume that \(G_{1}\) is isomorphic to \(G_{2}\) and \(G_{1}\) is \(({\mathscr {K}_{1}}, {\mathscr {K}_{2}})\)-totally regular PDFG, then the total degree of each vertex in \(G_{1}\) is given by
Since \(G_{1} \cong G_{2}\), we must have
Therefore, \(G_{2}\) is a \(({\mathscr {K}_{1}}, {\mathscr {K}_{2}})\)-totally regular PDFG. \(\square \)
Theorem 5
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG on underlying graph \(G^*=(\mathscr {V},E).\) If \(\mu _{\mathscr {A}}\) and \(\nu _{\mathscr {A}}\) are constant functions, then following statements are equal:
- 1.
\(G=(\mathscr {A},\mathscr {B})\) is a regular PDFG.
- 2.
\(G=(\mathscr {A},\mathscr {B})\) is a totally regular PDFG.
Proof
Assume that \(\mu _{\mathscr {A}}\) and \(\nu _{\mathscr {A}}\) are constant functions such that \(\mu _{\mathscr {A}}(s)=\textit{C}_{1}\) and \(\nu _{\mathscr {A}}(s)=\textit{C}_{2}\) for all \(s \in \mathscr {V}.\) Further, suppose that G is a \(({\mathscr {R}_{1}}, {\mathscr {R}_{2}})\)-regular PDFG, then
So the total degree of vertex is given by
Hence G is a regular PDFG. Therefore, \((1)\Rightarrow (2)\) is proved.
Now suppose that G is a \(({\mathscr {K}_{1}},{\mathscr {K}_{2}})\)-totally regular PDFG, then
Likewise, for non-membership grade
So G is a totally regular PDFG. Therefore, \((2)\Rightarrow (1)\) is proved. Hence we conclude that (1) and (2) are equal. \(\square \)
Theorem 6
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG on underlying graph \(G^*=(\mathscr {V},E).\) If G is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular as well as \((\mathscr {K}_{1},\mathscr {K}_{2})\)-totally regular PDFG, then \(\mu _{\mathscr {A}}\) and \(\nu _{\mathscr {A}}\) are constant functions.
Proof
Assume that G is a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular and \((\mathscr {K}_{1},\mathscr {K}_{2})\)-totally regular PDFG. Then the degree of vertex is
and the total degree of vertex is
Further, it follows that
Likewise, for non-membership grade
Hence we conclude that \(\mu _{\mathscr {A}}=\mathscr {K}_{1} -\mathscr {R}_{1}\) and \(\nu _{\mathscr {A}}=\mathscr {K}_{2} -\mathscr {R}_{2}\) are constant functions. \(\square \)
Remark 3
Converse of the Theorem 6 need not to be true as seen in the following example:
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3\}\) and \(E = \{t_1t_2,t_2t_3\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
Since \(\mu _{\mathscr {A}}(t_i)\) and \(\nu _{\mathscr {A}}(t_i)\) are constant functions, where \(i=1,2,3.\) But \((\mathscr {D})_{G}(t_2)=(0.32,0.70) \ne (0.30,0.75) =(\mathscr {D})_{G}(t_3)\) and \((\mathscr {TD})_{G}(t_2)=(0.82,1.30) \ne (0.80,1.35) =(\mathscr {TD})_{G}(t_3).\) Hence \(G=(\mathscr {A},\mathscr {B})\) in Fig. 10 is neither regular nor totally regular PDFG.
Definition 27
A PDFG \(G=(\mathscr {A},\mathscr {B})\) on n vertices is said to be strongly regular if the following properties are satisfied:
- 1.
G is regular of degree \(\mathscr {R}=(\mathscr {R}_{1},\mathscr {R}_{2})\);
- 2.
the sum of the membership and non-membership grades of the common neighbouring vertices of any pair of adjoining vertices of G are equal and represented as \(\textit{U}=(\textit{U}_{1},\textit{U}_{2})\);
- 3.
the sum of the membership and non-membership grades of the common neighbouring vertices of any pair of non-adjoining vertices of G are equal and represented as \(\textit{L}=(\textit{L}_{1},\textit{L}_{2}).\)
A strongly regular PDFG \(G=(\mathscr {A},\mathscr {B})\) is represented as \(G=(n,\mathscr {R},\textit{U},\textit{L}).\)
Example 10
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4,t_5,t_6\}\) and \(E =\{t_1t_2,t_1t_3,t_1t_4, t_1t_5,t_2t_3,t_2t_5,t_2t_6\), \(t_3t_4,t_3t_6,t_4t_5,t_4t_6, t_5t_6\}\). Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
Since \((\mathscr {D})_{G}(t_i)=(0.7,2.7)\) for all \(i=1,2,\ldots ,6,\)G is a (0.7, 2.7)-regular PDFG. Meanwhile, the sum of the membership and non-membership grades of the common neighbouring vertices of each pair of the adjoining and non-adjoining vertices of G are equal, i.e., \(\textit{U}=(\textit{U}_{1},\textit{U}_{2}) =(0.8,1)\) and \(\textit{L}=(\textit{L}_{1},\textit{L}_{2})=(1.6,2)\). Hence \(G=(n,\mathscr {R},\textit{U},\textit{L})\) in Fig. 11 is a strongly regular PDFG.
Definition 28
A PDFG \(G=(\mathscr {A},\mathscr {B})\) is known as bipartite if \(\mathscr {V}=\{s_1,s_2,\ldots ,s_n\}\) can be partitioned into two non-empty disjoint sets \(\mathscr {V}_{1}\) and \(\mathscr {V}_{2}\) such that \(\mu _{\mathscr {B}}(s_js_k)=0\) and \(\nu _{\mathscr {B}}(s_js_k)=0\) if \(s_j,s_k \in \mathscr {V}_{1}\) or \(s_j,s_k \in \mathscr {V}_{2}\). Furthermore, if
then \(G=(\mathscr {A},\mathscr {B})\) is known as complete bipartite, represented by \(\mathbb {K}_{{\mathscr {X}_{1}},{\mathscr {X}_{2}}},\) where \(\mathscr {X}_{1}\) and \(\mathscr {X}_{2}\) are the restrictions of \(\mathscr {X}\) to \(\mathscr {V}_{1}\) and \(\mathscr {X}\) to \(\mathscr {V}_{2},\) respectively.
Definition 29
A bipartite PDFG \(G=(\mathscr {A},\mathscr {B})\) is known as biregular if each vertex in \(\mathscr {V}_{1}\) and \(\mathscr {V}_{2}\) have equal degree \({\varPsi }=({\varPsi }_{1},{\varPsi }_{2})\) and \({\varUpsilon }=({\varUpsilon }_{1}, {\varUpsilon }_{2}),\) respectively, where \({\varPsi }\) and \({\varUpsilon }\) are constants. Further, a biregular PDFG is represented by \(G=(n,{\varPsi },{\varUpsilon }).\)
Example 11
Consider a graph \(G^* =(\mathscr {V},E)\) as displayed in Fig. 12, where \(\mathscr {V} = \{t_1,t_2,t_3,t_4,t_5\}\) is partitioned into two non-empty disjoint sets \(\mathscr {V}_{1}=\{t_1,t_2,t_3\}\) and \(\mathscr {V}_{2}=\{t_4,t_5\}\) such that \(E = \{t_1t_4,t_1t_5,t_2t_4,t_2t_5,t_3t_4,t_3t_5\}.\)
Since each vertex in \(\mathscr {V}_{1}\) and \(\mathscr {V}_{2}\) have equal degree \({\varPsi }=({\varPsi }_{1},{\varPsi }_{2})=(0.55,1.48)\) and \({\varUpsilon }=({\varUpsilon }_{1},{\varUpsilon }_{2})=(0.83,2.22),\) respectively, \(G=(n,{\varPsi },{\varUpsilon })\) in Fig. 12, is a biregular PDFG.
Theorem 7
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG. If G is complete with \(\mu _{\mathscr {A}},\)\(\nu _{\mathscr {A}},\)\(\mu _{\mathscr {B}},\)\(\nu _{\mathscr {B}}\) as constant functions, then \(G=(\mathscr {A},\mathscr {B})\) is strongly regular PDFG.
Proof
Assume that G is a complete PDFG with \(\mathscr {V}=\{s_1,s_2,\ldots s_n\}.\) As \(\mu _{\mathscr {A}},\)\(\nu _{\mathscr {A}},\)\(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions, \(\mu _{\mathscr {A}}(s_j)=\textit{C}_{1},\)\(\nu _{\mathscr {A}}(s_j)=\textit{C}_{2}\) for all \(s_j \in \mathscr {V}\) and \(\mu _{\mathscr {B}}(s_js_k)=\textit{C}_{3},\)\(\nu _{\mathscr {B}}(s_js_k)=\textit{C}_{4}\) for all \(s_js_k \in E.\) To prove that \(G=(\mathscr {A},\mathscr {B})\) is a strongly regular PDFG, we must show that G is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. Further, the adjoining and non-adjoining vertices have equal common neighbourhood \(\textit{U}=(\textit{U}_{1},\textit{U}_{2})\) and \(\textit{L}=(\textit{L}_{1},\textit{L}_{2}),\) respectively.
As G is a complete PDFG, we must have
Hence G is a \(((n-1)\textit{C}_{3},(n-1)\textit{C}_{4})\)-regular PDFG. Further, the sum of the membership and non-membership grades of the common neighbouring vertices of any pair of adjoining vertices \(\textit{U}=(\textit{U}_{1},\textit{U}_{2})=((n-2)\textit{C}_{1}, (n-2)\textit{C}_{2})\) are equal. As G is complete, the sum of the membership and non-membership grades of the common neighbouring vertices of any pair of non-adjoining vertices \(\textit{L} =(\textit{L}_{1},\textit{L}_{2})=(0,0)\) are equal. Since all the properties are satisfied, we conclude that \(G=(\mathscr {A}, \mathscr {B})\) is a strongly regular PDFG. \(\square \)
Remark 4
If \(G=(\mathscr {A},\mathscr {B})\) is a strongly regular disconnected PDFG, then the sum of the membership and non-membership grades of the common neighbouring vertices of any pair of non-adjoining vertices is \(\textit{L}=(\textit{L}_{1},\textit{L}_{2})=(0,0)\).
Remark 5
If \(G=(\mathscr {A},\mathscr {B})\) is a strongly regular complete bipartite PDFG with equal bipartition, then the sum of the membership and non-membership grades of the common neighbouring vertices of any pair of non-adjoining vertices is \(\textit{L}=(\textit{L}_{1},\textit{L}_{2})=(0,0).\)
Theorem 8
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG. If G is strongly regular and strong, then \(\overline{G}\) is a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular PDFG.
Proof
Assume that G is strongly regular PDFG; then by definition G is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. Further, as G is strong, then \(\overline{G}\) is also strong. Therefore, we must have
In \(\overline{G}\), the degree of a vertex \(s_j\) is defined by
As \((\mathscr {D})_{\overline{G}}(s_j) =(\mathscr {R}_{1},\mathscr {R}_{2}),\)\(\overline{G}\) is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular PDFG. \(\square \)
Corollary 2
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG. If \(\overline{G}\) is strongly regular and strong, then G is a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular PDFG.
Theorem 9
Consider \(G=(\mathscr {A},\mathscr {B})\) be a strong PDFG; then G is a strongly regular PDFG if and only if \(\overline{G}\) is a strongly regular PDFG.
Proof
Suppose that G is a strongly regular PDFG; then by definition, G is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. Further, the adjoining and non-adjoining vertices have equal common neighbourhood \(\textit{U}=(\textit{U}_{1},\textit{U}_{2})\) and \(\textit{L}=(\textit{L}_{1},\textit{L}_{2}),\) respectively. To prove that \(\overline{G}\) is a strongly regular PDFG, we must show that \(\overline{G}\) is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. Since G is a strongly regular and strong, then by Theorem 8, \(\overline{G}\) is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. Moreover, assume that \(\mathrm {S}_{1}=\{(s_j,s_k)/(s_j,s_k) \in E\}\) and \(\mathrm {S}_{2}=\{(s_j,s_k)/(s_j,s_k) \notin E\}\) be the sets of all adjoining and non-adjoining vertices of G, where \(s_j\) and \(s_k\) have equal common neighbourhood \(\textit{U}=(\textit{U}_{1},\textit{U}_{2})\) and \(\textit{L}=(\textit{L}_{1},\textit{L}_{2}),\) respectively. Then \(\overline{\mathrm {S}_{1}}=\{(s_j,s_k)/(s_j,s_k) \in \overline{E}\}\) and \(\overline{\mathrm {S}_{2}}=\{(s_j,s_k)/(s_j,s_k) \notin \overline{E}\},\) where \(s_j\) and \(s_k\) have equal common neighbourhood \(\textit{L}=(\textit{L}_{1},\textit{L}_{2})\) and \(\textit{U}=(\textit{U}_{1},\textit{U}_{2}),\) respectively. Hence \(\overline{G}\) is strongly regular PDFG.
Conversely, \(\overline{G}\) is a strongly regular PDFG; then by definition, \(\overline{G}\) is \((\mathscr {R}_{1},\mathscr {R}_{2})\)- regular. Further, the adjoining and non-adjoining vertices have equal common neighbourhood \(\textit{L}=(\textit{L}_{1},\textit{L}_{2})\) and \(\textit{U}=(\textit{U}_{1},\textit{U}_{2}),\) respectively. To prove that G is a strongly regular PDFG, we must show that G is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. Since \(\overline{G}\) is a strongly regular and strong, then by Corollary 2, G is \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. Furthermore, assume that \(\overline{\mathrm {S}_{1}}=\{(s_j,s_k)/(s_j,s_k) \in \overline{E}\}\) and \(\overline{\mathrm {S}_{2}}=\{(s_j,s_k)/(s_j,s_k) \notin \overline{E}\}\) be the sets of all adjoining and non-adjoining vertices of \(\overline{G},\) where \(s_j\) and \(s_k\) have equal common neighbourhood: \(\textit{L}=(\textit{L}_{1},\textit{L}_{2})\) and \(\textit{U}=(\textit{U}_{1},\textit{U}_{2}),\) respectively. Then \(\mathrm {S}_{1}=\{(s_j,s_k)/(s_j,s_k) \in E\}\) and \(\mathrm {S}_{2}=\{(s_j,s_k)/(s_j,s_k) \notin E\},\) where \(s_j\) and \(s_k\) have equal common neighbourhood \(\textit{U}=(\textit{U}_{1},\textit{U}_{2})\) and \(\textit{L}=(\textit{L}_{1},\textit{L}_{2}),\) respectively. Hence G is strongly regular PDFG. \(\square \)
Theorem 10
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG such that the underlying graph \(G^*=(\mathscr {V},E)\) is strongly regular graph; then G is strongly regular PDFG if \(\mu _{\mathscr {A}},\)\(\nu _{\mathscr {A}},\)\(\mu _{\mathscr {B}},\) and \(\nu _{\mathscr {B}}\) are constant functions.
Proof
Assume that \(G^*=(n,\mathscr {R},\textit{U},\textit{L})\) is a strongly regular graph. Also, assume that \(\mu _{\mathscr {A}}(s)=\textit{C}_{1},\)\(\nu _{\mathscr {A}}(s)=\textit{C}_{2}\) for all \( s \in \mathscr {V}\) and \(\mu _{\mathscr {B}}(st)=\textit{C}_{3},\)\(\nu _{\mathscr {B}}(st)=\textit{C}_{4}\) for all \( st \in E.\) Then the degree of the vertex s is given by
This implies that \((\mathscr {D})_{G}(s)=((\mathscr {D})_{\mu }(s), (\mathscr {D})_{\nu }(s))=(\mathscr {R}{\textit{C}_{3}}, \mathscr {R}{\textit{C}_{4}}).\) Therefore, G is a \((\mathscr {R}{\textit{C}_{3}},\mathscr {R}{\textit{C}_{4}})\)-regular PDFG. Likewise, since \(\mu _{\mathscr {A}}\) and \(\nu _{\mathscr {A}}\) are constant functions, the parameters are \((\textit{U}{\textit{C}_{1}},\textit{U}{\textit{C}_{2}})\) and \((\textit{L}{\textit{C}_{1}},\textit{L}{\textit{C}_{2}}).\) Hence G is a strongly regular PDFG with parameters \((\mathscr {R}{\textit{C}_{3}}, \mathscr {R}{\textit{C}_{4}})\), \((\textit{U}{\textit{C}_{1}}, \textit{U}{\textit{C}_{2}})\) and \((\textit{L}{\textit{C}_{1}}, \textit{L}{\textit{C}_{2}})\). \(\square \)
Remark 6
Converse of the Theorem 10 need not be true as seen in the example given below:
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4\}\) and \(E = \{t_1t_2,t_1t_3,t_1t_4,t_2t_3, t_2t_4,t_3t_4\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
By routine computations, one can see from Fig. 13 that G is a strongly regular PDFG with parameters \(\mathscr {R}=(0.73,2.19),\)\(\textit{U}=(1,0.12)\) and \(\textit{L}=(0,0).\) Meanwhile, \(G^*\) is a strongly regular graph with parameter (4, 3, 2, 0) and \(\mu _{\mathscr {A}},\)\(\nu _{\mathscr {A}}\) are constant functions. But \(\mu _{\mathscr {B}},\)\(\nu _{\mathscr {B}}\) are not constant functions.
Definition 30
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG and \((\mathscr {D})_{1}, (\mathscr {D})_{2},\ldots ,(\mathscr {D})_{r}\) be the degree of the vertices of G. Then the degree sequence is represented by \(((\mathscr {D})_{1},(\mathscr {D})_{2},\ldots ,(\mathscr {D})_{r}) =((\mathscr {D})_{\mu _{1}},(\mathscr {D})_{\mu _{2}},\ldots , (\mathscr {D})_{\mu _{r}};(\mathscr {D})_{\nu _{1}},(\mathscr {D})_{\nu _{2}}, \ldots ,(\mathscr {D})_{\nu _{r}}),\) where \((\mathscr {D})_{\mu _{1}} \ge (\mathscr {D})_{\mu _{2}} \ge \ldots \ge (\mathscr {D})_{\mu _{r}}\) and \((\mathscr {D})_{\nu _{1}} \ge (\mathscr {D})_{\nu _{2}} \ge \ldots \ge (\mathscr {D})_{\nu _{r}}\).
Definition 31
The set of different positive real values arising in the degree sequence of a PDFG G is known as degree set.
Example 12
Consider a graph \(G^* =(\mathscr {V},E),\) as shown in Fig. 14, where \(\mathscr {V} =\{t_1,t_2,\ldots ,t_6\}\) and \(E=\{t_1t_2,t_1t_6,t_2t_5,t_3t_6, t_3t_4,t_4t_5\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
The degree of the vertices are \((\mathscr {D})_{G}(t_1)=(0.61,0.83),\)\((\mathscr {D})_{G}(t_2){=}(0.38,1.25),\)\((\mathscr {D})_{G}(t_3){=}(1.29,0.40),\)\((\mathscr {D})_{G}(t_4)=(1,0.33),\)\((\mathscr {D})_{G}(t_5)=(0.59,1.50)\) and \((\mathscr {D})_{G}(t_6)=(1,0.33).\) Hence the degree sequence of the membership grades and the non-membership grades in Fig. 14 are (1.29, 1, 1, 0.61, 0.59, 0.38) and \((1.25,1.05,0.83,0.40,0.33,0.33),\) whereas the corresponding degree sets are \(\{1.29,1,0.61,0.59,0.38\}\) and \(\{1.25,1.05,0.83,0.40,0.33\},\) respectively.
Theorem 11
Let G be a \((n,\mathscr {R},\textit{U},\textit{L})\) strongly regular PDFG; then the degree sequence of n elements of G is a constant sequence \((\mathscr {R}_{1},\mathscr {R}_{1},\ldots , \mathscr {R}_{1};\mathscr {R}_{2},\mathscr {R}_{2},\ldots ,\mathscr {R}_{2}).\)
Proof
Assume that G is a \((n,\mathscr {R},\textit{U},\textit{L})\) strongly regular PDFG; then by definition, G is a \((\mathscr {R}_{1}, \mathscr {R}_{2})\)-regular. Thus all the vertices have same degree \((\mathscr {D})_{G}(s_i) =(\mathscr {R}_{1},\mathscr {R}_{2}),\) where \(i=1,2,\ldots ,n.\) Hence we conclude that the degree sequence of G is a constant sequence \((\mathscr {R}_{1},\mathscr {R}_{1}, \ldots , \mathscr {R}_{1};\mathscr {R}_{2},\mathscr {R}_{2},\ldots ,\mathscr {R}_{2})\). \(\square \)
Theorem 12
Let G be a \((n,\mathscr {R},\textit{U},\textit{L})\) strongly regular PDFG; then the degree set of the membership and non-membership grades of G is a singleton set \(\{\mathscr {R}_{1}\}\) and \(\{\mathscr {R}_{2}\},\) respectively.
Proof
Assume that G is a \((n,\mathscr {R},\textit{U},\textit{L})\) strongly regular PDFG; then by definition, G is a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular. Thus all the vertices have same degree \((\mathscr {D})_{G}(s_i)=(\mathscr {R}_{1}, \mathscr {R}_{2}),\) where \(i=1,2,\ldots ,n.\) As the degree sequence of G is a constant sequence \((\mathscr {R}_{1},\mathscr {R}_{1}, \ldots ,\mathscr {R}_{1};\mathscr {R}_{2},\mathscr {R}_{2}, \ldots ,\mathscr {R}_{2}),\) then the corresponding membership and non-membership degree set is \(\{\mathscr {R}_{1}\}\) and \(\{\mathscr {R}_{2}\},\) respectively. \(\square \)
Remark 7
Converse of the Theorems 11 and 12 need not be true as seen in the example given below.
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3\}\) and \(E = \{t_1t_2,t_1t_3,t_2t_3\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
By routine computations, one can see from Fig. 15 that G has constant membership and non-membership degree sequence (0.5, 0.5, 0.5) and (1.3, 1.3, 1.3), respectively, whereas, the corresponding membership and non-membership degree set is \(\{0.5\}\) and \(\{1.3\},\) respectively. But G is not strongly regular PDFG as the sum of the membership and non-membership grades of the common neighbouring vertices of any pair of adjoining vertices of G are not equal.
Definition 32
Let \(\mathscr {B}=\{(st,\mu _{\mathscr {B}}(st), \nu _{\mathscr {B}}(st))|st \in E\}\) be a Pythagorean Dombi fuzzy edge set in PDFG G; then
The degree of an edge \(st \in E\) is symbolized by \((\mathscr {D})_{G}(st)\) and defined by \( (\mathscr {D})_{G}(st) =((\mathscr {D})_\mu (st),(\mathscr {D})_\nu (st)),\) where
$$\begin{aligned} (\mathscr {D})_\mu (st)= & {} \sum _{sr \in E, t \ne r} \mu _{\mathscr {B}}(sr)+\sum _{tr \in E,s \ne r }\mu _{\mathscr {B}}(tr) \\= & {} (\mathscr {D})_{\mu _{\mathscr {A}}}(s) +(\mathscr {D})_{\mu _{\mathscr {A}}}(t)-2\mu _{\mathscr {B}}(st)\\= & {} (\mathscr {D})_{\mu _{\mathscr {A}}}(s) +(\mathscr {D})_{\mu _{\mathscr {A}}}(t)\\&-2\bigg (\dfrac{{\mu _{\mathscr {A}}({s})} {\mu _{\mathscr {A}}({t})}}{{\mu _{\mathscr {A}}({s})} +{\mu _{\mathscr {A}}({t})}-{\mu _{\mathscr {A}}({s})} {\mu _{\mathscr {A}}({t})}}\bigg ),\\ (\mathscr {D})_\nu (st)= & {} \sum _{sr \in E, t \ne r} \nu _{\mathscr {B}}(sr)+\sum _{tr \in E,s \ne r }\nu _{\mathscr {B}}(tr) \\= & {} (\mathscr {D})_{\nu _{\mathscr {A}}}(s) +(\mathscr {D})_{\nu _{\mathscr {A}}}(t)-2\nu _{\mathscr {B}}(st) \\= & {} (\mathscr {D})_{\nu _{\mathscr {A}}}(s) +(\mathscr {D})_{\nu _{\mathscr {A}}}(t)\\&-2\bigg (\dfrac{{\nu _{\mathscr {A}}({s})} +{\nu _{\mathscr {A}}({t})}-2{\nu _{\mathscr {A}}({s})} {\nu _{\mathscr {A}}({t})}}{1-{\nu _{\mathscr {A}}({s})} {\nu _{\mathscr {A}}({t})}}\bigg ). \end{aligned}$$The total degree of an edge \(st \in E\) is symbolised by \((\mathscr {TD})_{G}(st)\) and defined by \((\mathscr {TD})_{G}(st)=((\mathscr {TD})_\mu (st), (\mathscr {TD})_\nu (st)),\) where
$$\begin{aligned} (\mathscr {TD})_\mu (st)= & {} \sum _{sr \in E, t \ne r} \mu _{\mathscr {B}}(sr){+}\sum _{tr \in E,s \ne r } \mu _{\mathscr {B}}(tr){+}\mu _{\mathscr {B}}(st) \\= & {} (\mathscr {D})_{\mu _{\mathscr {A}}}(s) {+}(\mathscr {D})_{\mu _{\mathscr {A}}}(t)-\mu _{\mathscr {B}}(st)\\= & {} (\mathscr {D})_{\mu _{\mathscr {A}}}(s) +(\mathscr {D})_{\mu _{\mathscr {A}}}(t)\\&-\bigg (\dfrac{{\mu _{\mathscr {A}}({s})} {\mu _{\mathscr {A}}({t})}}{{\mu _{\mathscr {A}}({s})} +{\mu _{\mathscr {A}}({t})}-{\mu _{\mathscr {A}}({s})} {\mu _{\mathscr {A}}({t})}}\bigg ),\\ (\mathscr {TD})_\nu (st)= & {} \sum _{sr \in E, t \ne r} \nu _{\mathscr {B}}(sr)+\sum _{tr \in E,s \ne r } \nu _{\mathscr {B}}(tr)+\nu _{\mathscr {B}}(st) \\= & {} (\mathscr {D})_{\nu _{\mathscr {A}}}(s) +(\mathscr {D})_{\nu _{\mathscr {A}}}(t)-\nu _{\mathscr {B}}(st) \\= & {} (\mathscr {D})_{\nu _{\mathscr {A}}}(s) +(\mathscr {D})_{\nu _{\mathscr {A}}}(t)\\&-\bigg (\dfrac{{\nu _{\mathscr {A}}({s})} +{\nu _{\mathscr {A}}({t})}-2{\nu _{\mathscr {A}}({s})} {\nu _{\mathscr {A}}({t})}}{1-{\nu _{\mathscr {A}}({s})} {\nu _{\mathscr {A}}({t})}}\bigg ). \end{aligned}$$
Example 13
Consider a PDFG G over \(\mathscr {V}=\{t_1,t_2,\ldots ,t_{13}\}\) as displayed in Fig. 16.
Then the degree of an edge \(t_7t_8\) is \((\mathscr {D})_{G}(t_7t_8)=((\mathscr {D})_{\mu _{\mathscr {A}}}(t_7) +(\mathscr {D})_{\mu _{\mathscr {A}}}(t_8)-2(\mathscr {D})_{\mu _{\mathscr {B}}} (t_7t_8),(\mathscr {D})_{\nu _{\mathscr {A}}}(t_7) +(\mathscr {D})_{\nu _{\mathscr {A}}}(t_8)-2(\mathscr {D})_{\nu _{\mathscr {B}}} (t_7t_8))=(0.44,1.72).\) Meanwhile, the total degree of an edge \(t_7t_8\) is \((\mathscr {TD})_{G}(t_7t_8) =((\mathscr {D})_{\mu _{\mathscr {A}}} (t_7) +(\mathscr {D})_{\mu _{\mathscr {A}}}(t_8)-(\mathscr {D})_{\mu _{\mathscr {B}}} (t_7t_8),(\mathscr {D})_{\nu _{\mathscr {A}}}(t_7) +(\mathscr {D})_{\nu _{\mathscr {A}}}(t_8)-(\mathscr {D})_{\nu _{\mathscr {B}}} (t_7t_8))=(0.89,2.22).\) Likewise, one can obtain the degree and total degree of all remaining edges in G.
Remark 8
If \(G=(\mathscr {A},\mathscr {B})\) is a strongly regular PDFG, then the membership and non-membership degree sequence of edge need not to be constant sequence as seen in the example given below:
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4\}\) and \(E = \{t_1t_2,t_1t_4,t_2t_3,t_3t_4\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
By routine computations, one can see from Fig. 17 that G is a strongly regular PDFG with parameters \(\mathscr {R}=(0.63,1.43),\)\(\textit{U}=(0,0)\) and \(\textit{L}=(1,1.2).\) The edge degree sequence of the membership grades and the non-membership grades is (0.66, 0.66, 0.60, 0.60) and (1.46, 1.46, 1.4, 1.4), respectively, whereas the corresponding edge degree sets \(\{0.66,0.60\}\) and \(\{1.46,1.4\}\) are not constant sequence.
Theorem 13
Let \(G=(\mathscr {A},\mathscr {B})\) be a strongly regular PDFG with \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) as constant functions; then the edge degree sequence and edge degree set are constant sequence and singleton set, respectively.
Proof
Assume that \(\mu _{\mathscr {B}}=\textit{C}_{1}\) and \(\nu _{\mathscr {B}}=\textit{C}_{2}.\) Also, suppose that G is a strongly regular PDFG; then by definition, G is \(({\mathscr {R}_{1}},{\mathscr {R}_{2}})\)-regular such that
Therefore, the degree of edge is \((\mathscr {D})_{G}(st) =((\mathscr {D})_{\mu }(st),(\mathscr {D})_{\nu }(st)),\) whereas
Hence the edge degree sequence of membership and non-membership grades are constant sequence and its corresponding edge degree set \(\{2(\mathscr {R}_{1}-\textit{C}_{1})\}\) and \(\{2(\mathscr {R}_{2} -\textit{C}_{2})\}\) are singleton sets. \(\square \)
Definition 33
A PDFG \(G=(\mathscr {A},\mathscr {B})\) on crisp graph \(G^*=(\mathscr {V},E)\) is said to be edge regular of degree \((\mathrm {R}_{1},\mathrm {R}_{2})\) or \((\mathrm {R}_{1},\mathrm {R}_{2})\)-edge regular. If
\(\hbox {for all st} \in \hbox {E}\).
Example 14
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4\}\) and \(E = \{t_1t_2,t_1t_4,t_2t_3,t_3t_4\}\). Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
Since the degree of each edge \((\mathscr {D})_{G}(s_js_k)=(0.33,1.3)\) for all \(j,k=1,2,3,4\), G in Fig. 18, is (0.33, 1.3)-edge regular PDFG.
Definition 34
A PDFG \(G=(\mathscr {A},\mathscr {B})\) on crisp graph \(G^*=(\mathscr {V},E)\) is said to be totally edge regular of degree \((\mathrm {K}_{1},\mathrm {K}_{2})\) or \((\mathrm {K}_{1},\mathrm {K}_{2})\)-totally edge regular. If
\(\hbox {for all st}\ \in \hbox {E}\).
Example 15
Consider a graph \(G^* =(\mathscr {V},E),\) where \(\mathscr {V} =\{t_1,t_2,t_3,t_4\}\) and \(E = \{t_1t_2,t_1t_3,t_1t_4,t_2t_3, t_2t_4,t_3t_4\}.\) Let \(\mathscr {A}\) and \(\mathscr {B}\) be Pythagorean Dombi fuzzy vertex set and Pythagorean Dombi fuzzy edge set defined on \(\mathscr {V}\) and E, respectively.
Since the total degree of each edge \((\mathscr {TD})_{G}(s_js_k) =(0.20,2.35)\) for all \(j,k=1,2,3,4\), G in Fig. 19, is (0.20, 2.35)-totally edge regular PDFG.
Theorem 14
Let \(G=(\mathscr {A},\mathscr {B})\) be a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular PDFG such that \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions; then G is \((\mathrm {R}_{1},\mathrm {R}_{2})\)-edge regular PDFG.
Proof
Assume that G is a \((\mathscr {R}_{1},\mathscr {R}_{2})\)-regular PDFG such that
As \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions, \(\mu _{\mathscr {B}}(s_js_k)=\textit{C}_{1}\) and \(\nu _{\mathscr {B}}(s_js_k)=\textit{C}_{2}\) for all \(s_js_k \in E\). By using the definition of edge degree \((\mathscr {D})_{G}(s_js_k) =((\mathscr {D})_{\mu }(s_js_k),(\mathscr {D})_{\nu }(s_js_k)),\) whereas
Hence we conclude that G is a \((\mathrm {R}_{1}, \mathrm {R}_{2})\)-edge regular PDFG. \(\square \)
Theorem 15
Let \(G=(\mathscr {A},\mathscr {B})\) be both \((\mathrm {R}_{1},\mathrm {R}_{2})\)-edge regular and \((\mathrm {K}_{1},\mathrm {K}_{2})\)-totally edge regular PDFG; then \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions.
Proof
Assume that G is a \((\mathrm {R}_{1},\mathrm {R}_{2})\)-edge regular and \((\mathrm {K}_{1},\mathrm {K}_{2})\)-totally edge regular PDFG. Then the degree of edge is
and the total degree of edge is
Further, it follows that
Likewise, for non-membership grade
Hence we conclude that \(\mu _{\mathscr {B}}=\mathrm {K}_{1} -\mathrm {R}_{1}\) and \(\nu _{\mathscr {B}}=\mathrm {K}_{2} -\mathrm {R}_{2}\) are constant functions. \(\square \)
Theorem 16
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG on a regular crisp graph \(G^*=(\mathscr {V},E).\) Then \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions if and only if \(G=(\mathscr {A},\mathscr {B})\) is both \(({\mathscr {R}_{1}},{\mathscr {R}_{2}})\)-regular and \(({\mathrm {K}_{1}},{\mathrm {K}_{2}})\)-totally edge regular PDFG.
Proof
Assume that G is a PDFG on a regular crisp graph \(G^*\). Also, suppose that \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions; then \(\mu _{\mathscr {B}}(s_js_k)=\textit{C}_{1}\) and \(\nu _{\mathscr {B}}(s_js_k)=\textit{C}_{2}\) for all \(s_js_k \in E.\) By using the definition of vertex degree \((\mathscr {D})_{G}(s_j)=((\mathscr {D})_{\mu }(s_j), (\mathscr {D})_{\nu }(s_j)),\) we must have
Therefore, \(G=(\mathscr {A},\mathscr {B})\) is a \(({\mathscr {R}_{1}},{\mathscr {R}_{2}})\)-regular PDFG.
Further, by definition of total degree of edge, we have
In the similar manner, we can easily show that \((\mathscr {TD})_\nu (s_js_k)=\mathrm {K}_{2}\) for all \(s_js_k \in E.\) Hence we conclude that \(G=(\mathscr {A},\mathscr {B})\) is both \(({\mathscr {R}_{1}},{\mathscr {R}_{2}})\)-regular and \(({\mathrm {K}_{1}},{\mathrm {K}_{2}})\)-totally edge regular PDFG.
Conversely, assume that G is both \(({\mathscr {R}_{1}},{\mathscr {R}_{2}})\)-regular and \(({\mathrm {K}_{1}},{\mathrm {K}_{2}})\)-totally edge regular PDFG. To prove that \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions, consider the definition of total degree of edge, we have
In the similar manner, we can easily show that \(\mu _{\mathscr {B}}({s_js_k})=2\mathscr {R}_{2}-\mathrm {K}_{2}\) for all \(s_js_k \in E.\) Hence \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions. \(\square \)
Theorem 17
Let \(G=(\mathscr {A},\mathscr {B})\) be a PDFG on a crisp graph \(G^*=(\mathscr {V},E).\) If \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions, then G is \((\mathrm {R}_{1},\mathrm {R}_{2})\)-edge regular if and only if \(G^*\) is an edge regular graph.
Proof
Suppose that \(\mu _{\mathscr {B}}\) and \(\nu _{\mathscr {B}}\) are constant functions such that \(\mu _{\mathscr {B}}(s_js_k) =\textit{C}_{1}\) and \(\nu _{\mathscr {B}}(s_js_k)=\textit{C}_{2}\) for all \(s_js_k \in E.\) Assume that G is \((\mathrm {R}_{1}, \mathrm {R}_{2})\)-edge regular. To prove that \(G^*\) is an edge regular graph, we suppose on contrary that \(G^*\) is not an edge regular graph, i.e., \((\mathscr {D})_{G^*}(s_js_k) \ne (\mathscr {D})_{G^*}(s_ls_n)\) for at least one pair of \(s_js_k, s_ls_n \in E.\) By definition of degree of edge of PDFG, we have
Likewise, we can easily show that \((\mathscr {D})_{\nu }(s_js_k)=\textit{C}_{2}(\mathscr {D})_{G^*}(s_js_k)\) for all \(s_js_k \in E.\) Therefore, \((\mathscr {D})_{G}(s_js_k)=(\textit{C}_{1}(\mathscr {D})_{G^*}(s_js_k)\), \(\textit{C}_{2}(\mathscr {D})_{G^*}(s_js_k))\) and \((\mathscr {D})_{G}(s_ls_n)=(\textit{C}_{1}(\mathscr {D})_{G^*} (s_ls_n),{} \textit{C}_{2}(\mathscr {D})_{G^*}(s_ls_n)).\) As \((\mathscr {D})_{G^*}(s_js_k)\ne (\mathscr {D})_{G^*}(s_ls_n),\) thus \((\mathscr {D})_{G}(s_js_k)\ne (\mathscr {D})_{G}(s_ls_n),\) Therefore, G is not \((\mathrm {R}_{1},\mathrm {R}_{2})\)-edge regular PDFG, a contradiction. Hence we conclude that \(G^*\) is an edge regular graph.
Conversely, assume that \(G^*\) is an edge regular graph. To show that G is \((\mathrm {R}_{1},\mathrm {R}_{2})\)-edge regular PDFG, we suppose on the contrary that G is not \((\mathrm {R}_{1},\mathrm {R}_{2})\)-edge regular PDFG, i.e., \((\mathscr {D})_{G}(s_js_k)\ne (\mathscr {D})_{G}(s_ls_n)\) for at least one pair of \(s_js_k, s_ls_n \in E\), \(((\mathscr {D})_{\mu } (s_js_k),(\mathscr {D})_{\nu }(s_js_k))\ne ((\mathscr {D})_{\mu } (s_ls_n),(\mathscr {D})_{\nu }(s_ls_n))\).
Now \((\mathscr {D})_{\mu }(s_js_k)\ne (\mathscr {D})_{\mu }(s_ls_n)\) implies that
As \(\mu _{\mathscr {B}}\) is a constant function, we have \((\mathscr {D})_{G^*}(s_js_k)\ne (\mathscr {D})_{G^*}(s_ls_n)\), a contradiction. Hence we conclude that G is a \((\mathrm {R}_{1}, \mathrm {R}_{2})\)-edge regular PDFG. \(\square \)
Numerical example to decision-making
In this section, a decision-making problem concerning the evaluation of appropriate ETL (Extract, Transform and Load) software for a Business Intelligence (BI) project (adopted from [47]) is solved to illustrate the applicability of the proposed concept of PDFGs in realistic scenario. The algorithm for the evaluation of appropriate ETL software for a BI project within the framework of Pythagorean fuzzy preference relation (PFPR) [27] is outlined in Algorithm 1.
Evaluation of appropriate ETL software for a BI project
Business Intelligence, a field of information systems architecture, allows implementation that includes collection, transformation and restoring of data for assisting the decision-making experts in enterprises. The central part of BI is established on data warehouses powered by ETL. With the gradual development of BI usage, ETL, the initial point of the project, has become a key factor that affects the failure or success of the BI project. The main task of BI project is the evaluation of most appropriate and suitable ETL software which maximizes the profits, limits the costs, performs well and is flexible to accommodate future advancements in the project. A number of ETL software are available in the market. Each software has its own technique for extracting, loading and transforming of data. A decision-making expert is hired that pairwise compares the five ETL softwares \(\mathscr {S}_{l}\)\((l=1,2,\ldots ,5)\) for a new BI project on the basis of the criterion ‘functionality and reliability’ and provides his preference information in the form of PFPR \(\mathscr {Q}=(q_{lp})_{5 \times 5},\) where \(q_{lp}=(\mu _{lp},\nu _{lp})\) is the Pythagorean fuzzy element assigned by the decision-making expert with \(\mu _{lp}\) as the degree to which the ETL software \(\mathscr {S}_{l}\) is preferred over the ETL software \(\mathscr {S}_{p}\) with respect to the given criterion and \(\nu _{lp}\) as the degree to which the ETL software \(\mathscr {S}_{l}\) is not preferred over the ETL software \(\mathscr {S}_{p}\) with respect to the given criterion. The PFPR \(\mathscr {Q}=(q_{lp})_{5 \times 5}\) is expressed in the following tabular form (Table 1).
The Pythagorean fuzzy directed network \(\mathscr {D}\) corresponding to PFPR \(\mathscr {Q}\) given in Table 1, is presented in Fig. 20.
In order to compute the clumped PFE \(q_{lp}=(\mu _{lp},\nu _{lp})\)\((l,p=1,2,\ldots ,5)\) of the ETL software \(\mathscr {S}_{l}\), over all the other ETL softwares, we utilize Pythagorean Dombi fuzzy arithmetic averaging (PDFAA) operator [48] given in Equation 1
As in Dombi’s t-norm and t-conorm, we have taken \(\gamma =1.\) Therefore, in Equation 1, \(\gamma =1\) is considered to obtain the combined overall preference value \({q}_{l}\)\((l= 1, 2,\ldots , 5),\) which is given below:
The score functions \(\mathbb {S}(q_{l})\) of the combined overall preference value \({q}_{l}\)\((l= 1, 2,\ldots , 5)\) is calculated by utilizing \(\mathbb {S}(q_{l})=\mu ^{2}_{l}-\nu ^{2}_{l}\) [16], which is shown below:
On the basis of score functions, we get the ranking of the ETL softwares \(\mathscr {S}_{l},~l=1,2,\ldots ,5\) as follows:
According to the ranking, it is concluded that \(\mathscr {S}_{3}\) is the most appropriate ETL software for a new project among all.
If Pythagorean Dombi fuzzy geometric averaging (PDFGA) operator [48] is applied instead of PDFAA operator, then the clumped PFE \(q_{lp}=(\mu _{lp},\nu _{lp})\)\((l,p=1,2,\ldots ,5)\) of the ETL software \(\mathscr {S}_{l}\), over all the other ETL softwares, is obtained by using Eq. 2:
For \(\gamma =1,\) we obtain
The score functions \(\mathbb {S}(q_{l})\) of the combined overall preference value \({q}_{l}(l= 1, 2,\ldots , 5)\) is calculated by utilizing \(\mathbb {S}(q_{l})=\mu ^{2}_{l}-\nu ^{2}_{l}\) [16], which is shown below:
On the basis of score functions, we get the ranking of the ETL softwares \(\mathscr {S}_{l},~l=1,2,\ldots ,5\) as follows:
According to the ranking, it is concluded that \(\mathscr {S}_{3}\) is the most appropriate ETL software for a new project among all
We present our proposed method for decision-making in the following Algorithm 1:
The results computed in this section are compared (given in Table 2) with the decision results in [47], where the problem related to evaluation of ETL software is solved by AHP-TOPSIS method. Table 2 exhibits that the decision results of [47] are consistent with our proposed PDFAA and PDFGA method, which interprets the authenticity of the method.
Conclusions
Graphs are the wide-ranging models found almost everywhere in the human made and natural structures such as, for modeling+ relationships and process dynamics in social, biological and physical systems. Pythagorean fuzzy models are more practical and useful than fuzzy and intuitionistic fuzzy models as it provide additional spaces between membership and non-membership grades, for representing imprecise and incomplete information which occur in real world scenarios. In this paper, we have observed the excellent flexibility of Dombi operators with operational parameters in graph theoretical concepts under Pythagorean fuzzy environment. Further, we have inspected some substantial characteristics like strongness, completeness, vertex and edge regularity. As vertex and edge regularity, particularly regular, totally regular, strongly regular and biregular graphs are extensively applied in designing reliable computer networks and matrix representations, they led many developments in structural theory of graphs. Some necessary and sufficient conditions have been initiated to justify above indicated characteristics. By taking distinct values of operational parameters, many decision-making problems can be easily handled. Our work has adopted an incentive approach towards a decision-making problem concerning the evaluation of appropriate ETL software for a business intelligence project. Further work will pay particular attention on (1) Interval-valued Pythagorean fuzzy graphs; (2) Simplified interval-valued Pythagorean fuzzy graphs and (3) Hesitant Pythagorean fuzzy graphs.
References
Zadeh LA (1965) Fuzzy sets. Inf Control 8(3):338–353
Hamacher H (1978) On logical aggregations of non-binar explicit decision criteria. Rita G. Fischer Verlag, Frankfurt
Kuwagaki A (1952) On the rational functional equation of function unknown of two variables. Memoirs of the College of Science 28(2)
Menger K (1942) Statistical metrics. J Natl Acad Sci 28(12):535–537
Schweizer B, Sklar S (1983) Probabilistic metric spaces. Probability and Applied Mathematics
Alsina C, Trillas E, Valverde L (1983) On some logical connectives for fuzzy sets theory. J Math Anal Appl 93(1):15–26
Klement PE, Mesiar R, Pap E (2000) Triangular norms. Kluwer Academic, Dordrecht
Hamacher H (1978) Logical combinations of fuzzy statements and their relative valuation functions. Cybern Syst Res 3:276–288
Dubois D, Ostasiewicz W, Prade H (2000) Fuzzy sets: history and basic notions. Handbook of fuzzy sets and possibility theory. Springer, New York, pp 121–124
Rosenfeld A (1975) Fuzzy graphs. In: Zadeh LA, Fu KS, Shimura M (eds) Fuzzy sets and their applications to cognitive and decision processes. Academic Press, Cambridge, pp 77–95
Atanassov KT (1986) Intuitionistic fuzzy sets. Fuzzy Sets Syst 20(1):87–96
Shannon A, Atanassov KT (1994) A first step to a theory of intuitioistic fuzzy graphs. In: Lakov D (ed) Proceedings of Fuzzy Based Expert Systems. Sofia, pp 59–61
Yager RR (2013) Pythagorean fuzzy subsets. Joint IFSA World Congress and NAFIPS Annual Meeting, pp 57–61
Yager RR, Abbasov AM (2013) Pythagorean membership grades, complex numbers and decision making. Int J Intell Syst 28(5):436–452
Yager RR (2014) Pythagorean membership grades in multi-criteria decision making. IEEE Trans Fuzzy Syst 22(4):958–965
Zhang X, Xu Z (2014) Extension of TOPSIS to multiple criteria decision making with Pythagorean fuzzy sets. Int J Intell Syst 29(12):1061–1078
Peng X, Yang Y (2015) Some results for Pythagorean fuzzy sets. Int J Intell Syst 30(11):1133–1160
Ren P, Xu Z, Gou X (2016) Pythagorean fuzzy TODIM approach to multi-criteria decision making. Appl Soft Comput 42:246–259
Akram M, Dudek WA, Ilyas F (2019) Group decision-making based on pythagorean fuzzy TOPSIS method. International Journal of Intelligent Systems. https://doi.org/10.1002/int.22103
Rangasamy P, Palaniappan N (2003) Some operations on intuitionistic fuzzy sets of second type. Intuitionistic Fuzzy Sets 10(2):1–19
Peng X, Selvachandran G (2017) Pythagorean fuzzy set: state of the art and future directions. Artifical Intelligence (Artif Intell Rev) https://doi.org/10.1007/s10462-017-9596-9
Garg H (2018) A new exponential operational laws and their aggregation operators of interval-valued Pythagorean fuzzy information. Int J Intell Syst 33(3):653–683
Garg H (2018) Some methods for strategic decision-making problems with immediate probabilities in Pythagorean fuzzy environment. Int J Intell Syst 33(4):687–712
Garg H (2018) Linguistic Pythagorean fuzzy sets and its applications in multi attribute decision making process. Int J Intell Syst 33(6):1234–1263
Garg H (2018) Hesitant Pythagorean fuzzy sets and their aggregation operators in multiple-attribute decision-making. Int J Uncertain Quantif 8(3):267–289
Garg H (2016) A novel correlation coefficients between Pythagorean fuzzy sets and its applications to decision-making processes. Int J Intell Syst 31(12):1234–1253
Naz S, Ashraf S, Akram M (2018) A novel approach to decision-making with Pythagorean fuzzy information. Mathematics 6(6):95. https://doi.org/10.3390/math6060095
Verma R, Merigo JM, Sahni M Pythagorean fuzzy graphs: some results. arXiv:1806.06721v1
Akram M, Naz S (2018) Energy of Pythagorean fuzzy graphs with applications. Mathematics 6(8):136. https://doi.org/10.3390/math6080136
Akram M, Habib A, Ilyas F, Dar, JM (2018) Specific types of Pythagorean fyzzy graphs and application to decision-making. Mathematical and Computational Application 23(42). https://doi.org/10.3390/mca23030042.
Akram M, Dar JM, Naz S (2019) Certain graphs under pythagorean fuzzy environment. Complex and Intelligent Systems 1–18. https://doi.org/10.1007/s40747-018-0089-5
Akram M, Dar JM, Farooq A (2018) Planar graphs under Pythagorean fuzzy environment. Mathematics 6(12):278. https://doi.org/10.3390/math6120278
Akram M, Habib A (2019) \(q\)-Rung picture fuzzy graphs: a creative view on regularity with applications. J Appl Math Comput. https://doi.org/10.1007/s12190-019-01249-y
Habib A, Akram M, Farooq A (2019) \(q\)-rung orthopair fuzzy competition graphs with application in the soil Ecosystem. Mathematics 7(1) https://doi.org/10.3390/math7010091
Dombi J (1982) A general class of fuzzy operators, the De Morgan class of fuzzy operators and fuzziness measures induced by fuzzy operators. Fuzzy Sets Syst 8(2):149–163
Chen J, Ye J (2017) Some Single-Valued Neutrosophic Dombi weighted aggregation operators for multiple attribute decision-making. Symmetry 9(6). https://doi.org/10.3390/sym9060082
Jana C, Pal M, Wang J (2018) Bipolar fuzzy Dombi aggregation operators and its application in multiple-attribute decision-making process. J Ambient Intell Hum Comput 1–17
Shi L, Ye J (2018) Dombi Aggregation operators of neutrosophic cubic sets for multiple attribute decision-making. Algorithms 11(29). https://doi.org/10.3390/a11030029.
Liu PD, Liu JL, Chen SM (2018) Some intuitionistic fuzzy Dombi Bonferroni mean operators and their application to multi-attribute group decision making. J Oper Res Soc 69(1):1–24
He X (2018) Typhoon disaster assessment based on Dombi hesitant fuzzy information aggregation operators. Nat Haz 90(3):1153–1175
Ashraf S, Naz S, Kerre EE (2018) Dombi fuzzy graphs. Fuzzy Inf Eng 10(1):58–79
Harary F (1972) Graph theory, 3rd edn. Addison-Wesley, Reading
Nagoor Gani A, Radha K (2008) On regular fuzzy graphs. J Phys Sci 12:33–44
Radha K, Kumaravel N (2014) On edge regular fuzzy graphs. Int J Math Arch 5(9):100–112
Radha K, Rosemine A (2017) Strongly regular fuzzy graph. International Journal of Scintific and Reasearch Publications 7(7)
Karunambogai MG, Sivasankar S, Palanivel K (2015) Some properties of a regular intuitionistic fuzzy graph. Int J Math Comput 26(4):53–61
Luqman A, Akram M, Al-Kenani N (2019) \(q\)-rung orthopair fuzzy hypergraphs with applications. Mathematics 7(3):260. https://doi.org/10.3390/math7030260
Akram M, Habib A, Koam AN (2019) A novel description on edge-regular \(q\)-rung picture fuzzy graphs with application. Symmetry 11:489. https://doi.org/10.3390/sym11040489
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 the 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 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.
About this article
Cite this article
Akram, M., Dar, J.M. & Naz, S. Pythagorean Dombi fuzzy graphs. Complex Intell. Syst. 6, 29–54 (2020). https://doi.org/10.1007/s40747-019-0109-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40747-019-0109-0