## Introduction

Fuzzy set theory (Zadeh 1965) is an emerging mathematical domain, essential to solving vagueness and incomplete information in real-life situations. It is an extension of the crisp set, where elements have a membership value in the interval [0, 1]. Fuzzy sets and fuzzy logic have potential applications in wide-ranging fields, including mathematics, computer science, engineering, statistics, artificial intelligence, decision-making, image analysis, and pattern recognition (Liu et al. 2020; Zeng et al. 2019; Zhang et al. 2020; Zou et al. 2020; Meng et al. 2020).

Atanassov (1983) extended the fuzzy set to a set that gives membership and non-membership grades for each element. The set where the sum of both these values lies between 0 and 1 is known as an intuitionistic fuzzy set. Neutrosophic sets presented in Smarandache (1998) is a generalization of the theory of fuzzy and intuitionistic fuzzy sets (Zadeh 1965; Atanassov and Gargov 1989) and deal with inconsistent information. The Neutrosophic set is characterized by elements with truth, indeterminacy, and false membership functions that fall within the real unit interval. The concept of a single-valued neutrosophic set, which is a set with elements possessing three membership functions lying in the interval [0, 1], was proposed by Wang et al. (2010).

Molodtsov (1999) developed a novel mathematical concept known as the soft set theory for solving uncertainties. Soft sets have been applied in different domains, such as operation research, Riemann integration, measurement and probability theory. Many researchers have further improved on the soft set theory, notably, the operations on soft sets in Ali et al. (2009), the concept of bijective soft sets and the concepts of relations and functions in soft set theory (Babitha and Sunil 2010). Maji et al. (2001a) proposed a combination of soft and fuzzy sets and also combined soft set with intuitionistic and neutrosophic sets in Maji (2013), Maji et al. (2001b). The combined concept of the soft and fuzzy set was studied as fuzzy soft sets which led to the development of soft relation, fuzzy soft relation, and the algebraic structure of soft set theory as in Roy and Maji (2007), Ali (2011), Som (2006).

In recent days, the concept of interval-valued fuzzy priority for decision-making using Intuitionistic fuzzy soft sets in Mohanty (2021), a soft-set in the type-2 environment by Paik and Mondal (2021), fuzzy soft sets have been advanced to hypersoft set, plithogenic hypersoft sets and applied in decision-making by Smarandache (2018), Yolcu and Ozturk (2021), the symmetric cross-entropy of hesitant fuzzy soft sets considering the relative entropy in Suo et al. (2021), topological space on fuzzy bipolar soft sets, fuzzy bipolar soft point and fuzzy bipolar soft interior and closure points were defined in Dizman and Ozturk (2021).

Cuong and Kreinovich (2013) and Cuong (2014) introduced the picture fuzzy set, which was developed from fuzzy and intuitionistic sets and is distinguished by positive, negative and neutral membership functions. Similarity measures have also been proposed in picture fuzzy environments and used in decision making, clustering and pattern recognition (Singh and Ganie 2021). The Picture fuzzy distance measures, based on direct functions, have been applied in decision making (Ganie and Singh 2021). Researchers have studied in-depth the usage of picture fuzzy sets and developed new concepts as in Son (2016), Wei (2018). Picture fuzzy soft sets have been advanced to concepts as generalized picture fuzzy soft sets as an extension of the picture fuzzy soft sets in Khan et al. (2019), b-picture fuzzy soft sets (bPFSS) and generalized b-picture fuzzy soft sets in (GbPFSS) based on the bijective soft sets and their basic properties in Khan et al. (2020).

Graphs are visual representations of objects and their relationships. Real-world problems cause uncertainties in the relationships between objects. Thus, the simple graph model becomes a fuzzy graph model. Akram et al., introduced the concept of fuzzy soft graphs, studied the operations on fuzzy graphs and many other graph-theoretical concepts (Akram 2011, 2013; Akram and Nawaz 2015a, b). The concept of soft sets has been introduced into intuitionistic graphs in Shahzadi and Akram (2017) and merged as intuitionistic fuzzy soft graphs along with the concepts of strong, complete and complement of intuitionistic fuzzy soft graphs. Akram and Shahzadi (2017) introduced neutrosophic soft graphs and also developed the concepts of complete, strong and complement graphs. Kauffman (1973) presented the concept of fuzzy graphs using Zadeh’s fuzzy relation. Rosenfeld (1975) defined and developed many fundamental graph-theoretical ideas like cycles, bridges, and connectedness. Operations on fuzzy graphs along with their properties and the concept of regular fuzzy graphs were proposed in Moderson and Nair (2012). Zuo et al. (2019) advanced the concept of the fuzzy graph to picture fuzzy graphs by blending the fuzzy graphs and picture fuzzy sets. Parvathi and Karunambigai (2006) proposed the intuitionistic fuzzy graph which was subsequently extended to the intuitionistic fuzzy hypergraph and its possible applications have been explored in Akram and Dudek (2013).

Broumi et al. (2016) proposed single-valued neutrosophic graphs with examples and properties. The properties of degree, size, and regular single-valued neutrosophic graphs were also examined by Naz et al. (2017). They later progressed into bipolar single-valued neutrosophic graphs, and strong and regular bipolar single-valued neutrosophic graphs (Naz et al. 2018). The recent conceptual developments in picture fuzzy graphs are the shortest path algorithm, newly defined using the picture fuzzy digraphs (Mani et al. 2021), domination in picture fuzzy graphs (MohamedIsmayil and AshaBoslley 2019), using competition in graphs on picture fuzzy environment with applications in the medical field (Das and Ghorai 2020) and a genus of graphs in the picture fuzzy environment (Das et al. 2021). In recent, many researchers are working on the development of the picture sets in Garg and Kaur (2021), Garg et al. (2021), Bibin et al. (2020), Khalil et al. (2019), Riaz et al. (2021), Akram et al. (2020, 2021), Akram and Habib (2019). The introduction of this new Picture fuzzy soft graphs is an emerging new concept that can be rather developed into various graph theoretical concepts. to contribute to the theoretical aspect of fuzzy graph theory, thus we have introduced this picture fuzzy soft graph and explored its properties and established related theorems. Since soft sets are most usable in real-life applications, the newly combined concepts of the picture and fuzzy soft sets will lead to many possible applications in the fuzzy set theoretical area by adding extra fuzziness in analyzing. As a practical application, we have developed a model using this defined graph and applied it in decision making.

In this research, the picture soft set and fuzzy graphs are combined to form a unique mathematical model called picture fuzzy soft graphs. A few significant notions of picture fuzzy soft graphs are also discussed briefly. The paper is structured as follows: Sect. 2 reviews the fundamental concepts and terminologies used in fuzzy graph theory. Section 3 proposes the concept of picture fuzzy soft graphs and Sect. 4 illustrates a model for the application of these picture fuzzy soft graphs.

## Preliminaries

The elementary concepts which are necessary for the results are discussed.

### Definition 1

(Cuong and Kreinovich 2013) Let Y be a non-void set. A picture fuzzy set (PFS) P of Y characterized by positive (PM), neutral (NM) and negative membership (NEM) functions denoted by $$\mu _P,$$ $$\gamma _P$$ and $$\sigma _P$$, respectively, are given by $$\mu _P: Y$$ to [0, 1], $$\gamma _P: Y$$ to [0, 1] and $$\sigma _P: Y$$ to [0, 1] such that $$0\le \mu _P (c)+\gamma _P (c)+\sigma _P (c)\le 1.$$

### Definition 2

(Cuong and Kreinovich 2013) A PFS O is a subset of another PFS T if $$\forall$$ $$y\in Y$$, $$\mu _O (y)\le \mu _T (y)$$, $$\gamma _O (y)\le \gamma _T (y)$$ and $$\sigma _O (y)\le \sigma _T (y)$$.

### Definition 3

(Cuong and Kreinovich 2013) The complement of PFS O over Y is $$O^c = \{<y, \sigma _O (y), 1-\gamma _O (y), \mu _O (y)>: y\in Y\}$$.

### Definition 4

(Cuong and Kreinovich 2013) The union of two PFS O and T is a PFS denoted by $$O\cup T$$, where the PM, NM and NEM functions are defined as

\begin{aligned} \mu _{O\cup T}(y)= & {} \max \{\mu _O (y), \mu _T (y)\}\\ \gamma _{O\cup T}(y)= & {} \max \{\gamma _O (y), \gamma _T (y)\}\\ \sigma _{O\cup T}(y)= & {} \min \{\sigma _O (y), \sigma _T (y)\}\, \forall \, y\in Y. \end{aligned}

### Definition 5

(Cuong and Kreinovich 2013) The intersection of two picture fuzzy subsets O & T is also a PFS denoted by $$O\cap T$$, where the PM, NM and NEM functions are defined as

\begin{aligned} \mu _{O\cap T}(y)= & {} \min \{\mu _O (y), \mu _T (y)\}\\ \gamma _{O\cap T}(y)= & {} \min \{\gamma _O (y), \gamma _T (y)\}\\ \sigma _{O\cap T}(y)= & {} \max \{\sigma _O (y), \sigma _T (y)\}\, \forall \, y\in Y. \end{aligned}

### Definition 6

(Zuo et al. 2019) A picture fuzzy graph is $$G=(V, E)$$ with $$V=\{v_1, v_2 \ldots v_n \}$$ such that $$\mu _P,$$ $$\gamma _P$$ and $$\sigma _P$$, respectively, are given by $$\mu _1: V$$ to [0, 1], $$\gamma _1: V$$ to [0, 1] and $$\sigma _1: V$$ to [0, 1] which denote PM, NM and NEM functions, respectively, and $$0\le \mu _1 (a)+\gamma _1 (a)+\sigma _1 (a)\le 1.$$ $$\forall$$ $$a\in V;$$ $$E\subseteq V \times V$$ with $$\mu _2: V \times V \rightarrow [0, 1]$$, $$\gamma _2: V \times V \rightarrow [0, 1]$$ and $$\sigma _2: V \times V \rightarrow [0, 1]$$ such that

\begin{aligned} \mu _{2}(ab)\le & {} \min \{\mu _2 (a), \mu _1 (b)\}\\ \gamma _{2}(ab)\le & {} \min \{\gamma _2 (a), \gamma _1 (b)\}\\ \sigma _{2}(ab)\le & {} \max \{\sigma _2 (a), \sigma _1 (b)\}\, \forall \, ab\in E. \end{aligned}

Considering the vagueness in modeling and soft computing, soft set theory was introduced by Molodstov.

Let V be the universe and P be all possible parameters related to objects in V. The duo (VP) is called a soft universe and P(V), the power set.

### Definition 7

(Shahzadi and Akram 2017) A duo (FO) is soft over V, when $$O\subseteq P$$, and F is a set-valued function $$F:O \rightarrow P(V).$$ A soft set over V is a parametrized family of subsets of V.

### Definition 8

(Shahzadi and Akram 2017) Let V be the universe and P the set of parameters with $$O\subset P.$$ The collection of all PFS of V is P(V). The collection (SO) is named as the picture fuzzy soft set (PFSS) over V, where S is a mapping given by $$S:O \rightarrow P(V).$$

### Definition 9

(Yang et al. 2015) Let (SO) & (KT) be PFSS over U. (SO) is named as picture fuzzy soft subset of (KT) if $$O\subset T,$$&

\begin{aligned} \mu _{S(o)}(k)\le & {} \mu _{K(0)}(k)\\ \gamma _{S(o)}(k)\le & {} \gamma _{K(0)}(k)\\ \sigma _{S(o)}(k)\ge & {} \sigma _{K(0)}(k)\, \forall \,o\in O\hbox { and }k\in V. \end{aligned}

### Definition 10

(Yang et al. 2015) Let (SO) and (KT) be PFSS over V. The union of (SO) & (KB) is a PFSS $$(H,D)=(S, O)\cup (K, T),$$ where $$D=O\cup T$$ and PM, NM, NEM of (HD) are defined by

\begin{aligned} \mu _{H(a)} (w)= & {} {\left\{ \begin{array}{ll} \mu _{S(a)} (w) \,\mathrm{\ if} \ a \in O -T; \\ \mu _{K(a)} (w) \,\mathrm{\ if} \ a \in T -O; \\ \max \{\mu _{S(a)} (w), \mu _{K(a)} (w)\}\ \, \mathrm{\ if} \ a \in O\cap T\\ \end{array}\right. }\\ \gamma _{H(a)} (w)= & {} {\left\{ \begin{array}{ll} \gamma _{S(a)} (w) \mathrm{\ if} \ a \in O -T;\\ \gamma _{K(a)} (w)\, \mathrm{\ if} \ a \in T -O;\\ \max \{\gamma _{S(a)} (w), \gamma _{K(a)} (w)\}\ \,\mathrm{\ if} \ a \in O\cap T\\ \end{array}\right. }\\ \sigma _{H(a)} (w)= & {} {\left\{ \begin{array}{ll} \sigma _{S(a)} (w) \,\mathrm{\ if} \ a \in O -T;\\ \sigma _{K(a)} (w) \,\mathrm{\ if} \ a \in T -O;\\ \min \{\sigma _{S(a)} (w), \sigma _{K(a)} (w)\}\\, \mathrm{\ if} \ a \in O\cap T\\ \end{array}\right. } \end{aligned}

Similarly, the intersection of (SO) and (KT) is a PFSS (HD), in which $$D= O \cap T$$ & the membership functions are defined by

\begin{aligned} \mu _{H(b)} (t)= & {} {\left\{ \begin{array}{ll} \mu _{S(b)} (t) \mathrm{\ if} \ b \in O -T; \\ \mu _{K(b)} (t) \mathrm{\ if} \ b \in T -O; \\ \min \{\mu _{S(b)} (t), \mu _{K(b)} (t)\} \mathrm{\ if} \ b \in O\cap T\\ \end{array}\right. }\\ \gamma _{H(b)} (t)= & {} {\left\{ \begin{array}{ll} \gamma _{S(b)} (t) \mathrm{\ if} \ b \in O -T;\\ \gamma _{K(b)} (t) \mathrm{\ if} \ b \in T -O;\\ \min \{\gamma _{S(b)} (t), \gamma _{K(b)} (t)\} \mathrm{\ if} \ b \in O\cap T\\ \end{array}\right. }\\ \sigma _{H(b)} (t)= & {} {\left\{ \begin{array}{ll} \sigma _{S(b)} (t) \mathrm{\ if} \ b \in O -T;\\ \sigma _{K(b)} (t) \mathrm{\ if} \ b \in T -O;\\ \max \{\sigma _{S(b)} (t), \sigma _{K(b)} (t)\} \mathrm{\ if} \ b \in O\cap T\\ \end{array}\right. } \end{aligned}

### Definition 11

(Yang et al. 2015) Let (SD) & (GC) be PFSS over V. The Cartesian product of (SD) & (GC) is $$(S,D) \times (G,C)=(H, D \times C).$$ The PM, NM, NEM functions of $$(H, D \times C)$$ are

\begin{aligned} \mu _{H(D \times C)}(k)= & {} \min \{\mu _{S(o)}(k), \mu _{G(t)}(k)\}\\ \gamma _{H(D \times C)}(k)= & {} \min \{\gamma _{S(o)}(k), \gamma _{G(t)}(k)\}\\ \sigma _{H(D \times C)}(k)= & {} \max \{\sigma _{S(o)}(k), \sigma _{G(t)}(k)\}. \end{aligned}

### Definition 12

(Yang et al. 2015) Let (SO) & (KT) be two PFSS over V. A picture soft relation (R) from (SO) to (KT) is of the form (RC),  where $$C\subset O \times T$$ and $$R(g,h)\subset (S,O) \times (K,T)$$ $$\forall$$ $$(g,H)\in C.$$

## Picture fuzzy soft graphs

Let V be the universe, E the set of all parameters and P(V) be the collection of all PFSS of V. Let A be a subset of V. The set of all picture fuzzy sets of V & E are denoted by P(V) and P(E).

### Definition 13

Let PFSG $$G=(G^*, F, K, O)$$ is an ordered quadruple with $$G^*=(V, E),$$ O a non-void set of parameters, (FO) and (KO) are PFSS over V and E, respectively; (F(o), K(o)) for $$\ o \in O$$ is a picture fuzzy soft graph of G when it satisfies the following conditions:

\begin{aligned} \mu _{K(o)}(xy)\le & {} \min \{\mu _{F(o)}(x), \mu _{F(o)}(y)\}\\ \gamma _{K(o)}(xy)\le & {} \min \{\gamma _{F(o)}(x), \gamma _{F(o)}(y)\}\\ \sigma _{K(o)}(xy)\le & {} \max \{\sigma _{F(o)}(x), \sigma _{F(o)}(y)\} \end{aligned}

such that $$0 \le \mu _{K(o)}(xy)+\gamma _{K(o)}(xy)+\sigma _{K(o)}(xy)\le 1$$ $$\forall$$ $$o\in O;$$ $$x,y\in V.$$

The picture fuzzy graph (PFG) (F(o), K(o)) is represented as S(o) throughout this paper. A PFSG is a collection of PFG. The collection of all PFSG is $$PS(G^*)$$.

### Note 14

$$\mu _{K(o)}(xy)=\gamma _{K(o)}(xy)=0$$ & $$\sigma _{K(o)}(xy)=1$$ $$\forall$$ $$xy\in V \times V-E, o\notin O.$$

### Definition 15

Let $$G_1=(F_1, K_1, O)$$ and $$G_2=$$ $$(F_2, K_2, T)$$ be two PFSG of $$G^*$$ then $$G_1$$ is picture fuzzy soft sub graph (PFSSG) of $$G_2$$ if $$O\subseteq T$$ and $$S_{1}(o)$$ is a partial sub graph of $$S_{2}(o)$$ $$\forall$$ $$o\in O$$.

### Example 16

Consider $$G^*=(V, E)$$ such that $$V=\{v_1, v_2, v_3, v_4\}$$ & $$E=\{v_1v_2, v_1v_3, v_1v_4, v_2v_4, v_3v_4\}.$$ Let $$O=\{e_1, e_2\}$$ be the parameters & (FO) be a PFSS over V with $$F:O \rightarrow P(V)$$ defined by

\begin{aligned}&F(e_1)= \{(v_1, 0.5, 0.2, 0.1), (v_2, 0.4, 0.3, 0.2),\\&\quad (v_3, 0.3, 0.4, 0.3), (v_4, 0.2, 0.5, 0.5)\}\\&F(e_2)= \{(v_1, .4, 0.3, 0.2), (v_2, 0.3, 0.4, 0.1),\\&\quad (v_3, 0.5, 0.2, 0.3), (v_4, 0.2, 0.1, 0.4)\} \end{aligned}

Let (KO) be a PFSS over E with $$K:O \rightarrow P(E)$$ defined by

\begin{aligned} K(e_1)= & {} \{(v_1v_2, 0.3, 0.2, 0.1), (v_1v_3, 0.2, 0.1, 0.2), (v_1v_4, 0.1, 0.1, 0.3)\}\\ K(e_2)= & {} \{(v_1v_3, 0.3, 0.2, 0.2), (v_2v_4, 0.2, 0.1, 0.3), (v_3v_4, 0.1, 0.1, 0.2)\}. \end{aligned}

Clearly $$S(e_1)=(F(e_1), K(e_1))$$ and $$S(e_2)=(F(e_2),$$

$$K(e_2))$$ are PFSG corresponding to $$e_1$$ and $$e_2$$, respectively, as shown in Fig. 1. Thus $$G=(S(e_1), S(e_2))$$ is a PFSG of $$G^*$$.

### Definition 17

A Picture fuzzy soft path P in PFSG $$G=(G^{*}, F, K, O)$$ is a sequence of distinct vertices $$x_{o}, x_{1},\ldots ,x_{n}$$ $$(except \ x_{o}$$ & $$x_{1})$$ such that $$(\mu _{k(o)} (x_{i-1}, x_{i}),$$ $$\gamma _{k(o)} (x_{i-1}, x_{i}), \sigma _{k(o)} (x_{i-1}, x_{i}))>0$$, $$i=1,\ldots n$$ Here n denotes the length of the PFSP. The successive pairs are called the edges of PFSP. For example, in Fig. 1, consider $$S(e_{1})$$ then $$v_{2}, v_{1}$$ is a PFSP.

### Definition 18

The diameter of $$a,b \in V,$$ is the length of the longest PFSP joining a to b. The strength of P is defined as $$\left( \displaystyle \bigwedge _{i=1}^{n} \mu _{k(o)} (x_{i-1}, x_{i}), \displaystyle \bigwedge _{i=1}^{n} \gamma _{k(o)} (x_{i-1}, x_{i}), \displaystyle \bigvee _{i=1}^{n} \sigma _{k(o)} (x_{i-1}, x_{i})\right) .$$ The strength of the PFSP is the weight of the weakest edges and represented by d(P). The strength of connectedness between two vertices a & b is defined as the maximum of the strengths of all PFSP’s between a and b and represented by $$\mathrm{PFSCONN}_{G} (a, b).$$

### Definition 19

The PFSG $$G_1=(G^*, F_1, K_1, T)$$ is called a spanning PFSSG of $$G=(G^*, F, K, O)$$ if

$$\mathrm{(i)} \ T\subseteq O$$

$$\mathrm{(ii)}$$ \begin{aligned} \mu _{F_1(z)}(q)= & {} \mu _{F_(z)}(q),\\ \gamma _{F_1(z)}(q)= & {} \gamma _{F_(z)}(q),\\ \sigma _{F_1(z)}(q)= & {} \sigma _{F_(z)}(q)\,\forall \,z\in O,\,q\in V. \end{aligned}

### Definition 20

The order of a picture fuzzy soft graph is

\begin{aligned}&O(G) = \bigg (\displaystyle \sum _{e_{i} \in O} \left( \displaystyle \sum _{u\in V} \mu _{F(e_{i})} (u)\right) ,\,\displaystyle \sum _{e_{i} \in O} \left( \displaystyle \sum _{u\in V} \gamma _{F(e_{i})} (u)\right) , \\&\quad \displaystyle \sum _{e_{i} \in O} \left( \displaystyle \sum _{u\in V} \sigma _{F(e_{i})} (u)\right) . \end{aligned}

The size of picture fuzzy soft graph is

\begin{aligned}S(G) = \bigg (\displaystyle \sum _{e_{i} \in O} \left( \displaystyle \sum _{uv\in E} \mu _{K(e_{i})} (uv)\right) ,\, \displaystyle \sum _{e_{i} \in O} \left( \displaystyle \sum _{uv\in E} \gamma _{K(e_{i})} (uv)\right) ,\\\quad \displaystyle \sum _{e_{i} \in O} \left( \displaystyle \sum _{uv\in E} \sigma _{K(e_{i})} (uv)\right) . \end{aligned}

### Example 21

Consider a crisp graph $$G^{*}=(V,E)$$ such that $$V=\{v_{1}, v_{2}, v_{3}, v_{4}, v_{5}\}$$ and $$E=\{v_{1}v_{2}, v_{2}v_{3}, v_{2}v_{4},$$ $$v_{4}v_{5}, v_{1}v_{5}, v_{3}v_{5}\}.$$ Let $$O=\{e_{1}, e_{2}, e_{3}\}$$ be a parameter set and let (FO) be Picture fuzzy soft set over V with $$F: O\rightarrow P(V)$$ defined by

\begin{aligned}&F(e_{1})=\{(v_{1}, 0.4, 0.3, 0.3), (v_{2}, 0.2, 0.2, 0.3), (v_{3}, 0.2, 0.1, 0.1),\\&\quad (v_{4}, 0.1, 0.3, 0.2), (v_{5}, 0.3, 0.4, 0.1)\}\\&F(e_{2})=\{(v_{1}, 0.4, 0.3, 0.2), (v_{2}, 0.3, 0.2, 0.3), (v_{3}, 0.4, 0.1, 0.2),\\&\quad (v_{4}, 0.1, 0.1, 0.2), (v_{5}, 0.2, 0.4, 0.1)\}\\&F(e_{3})=\{(v_{1}, 0.3, 0.4, 0.2), (v_{2}, 0.3, 0.2, 0.1), (v_{3}, 0.3, 0.4, 0.1),\\&\quad (v_{4}, 0.4, 0.2, 0.1), (v_{5}, 0.3, 0.2, 0.4)\}. \end{aligned}

Let (KO) be picture fuzzy soft set over E with $$K:O \rightarrow P(E)$$ defined by

\begin{aligned}&K(e_{1})=\{(v_{1}v_{2}, 0.1,0.2,0.3), (v_{2}v_{3}, 0.2,0.1,0.2), (v_{2}v_{4}, 0.1,0.2,0.2),\\&\quad (v_{4}v_{5}, 0.1,0.3,0.2), (v_{1}v_{5}, 0.3,0.3,0.2), (v_{3}v_{5}, 0.2,0.1,0.1)\}\\&K(e_{2})=\{(v_{1}v_{2}, 0.3,0.2,0.2), (v_{2}v_{3}, 0.3,0.1,0.3), (v_{2}v_{4}, 0.1,0.2,0.3),\\&\quad (v_{4}v_{5}, 0.1,0.1,0.2), (v_{1}v_{5}, 0.2,0.3,0.2), (v_{3}v_{5}, 0.2,0.1,0.2)\}\\&K(e_{3})=\{(v_{1}v_{2}, 0.3,0.2,0.2), (v_{2}v_{3}, 0.3,0.2,0.1), (v_{2}v_{4}, 0.2,0.2,0.1),\\&\quad (v_{4}v_{5}, 0.3,0.2,0.3), (v_{1}v_{5}, 0.2,0.2,0.3), (v_{3}v_{5}, 0.3,0.2,0.3)\}0. \end{aligned}

The Picture fuzzy graphs of G are $$S(e_{1})=(F(e_{1}), K(e_{1})),$$ $$S(e_{2})=(F(e_{2}), K(e_{2})),$$ and $$S(e_{3})$$ $$=(F(e_{3}), K(e_{3}))$$ according to the parameters $$e_{1}, e_{2}$$ and $$e_{3}$$, respectively. Thus, $$G={S(e_{1}), S(e_{2}), S(e_{3})}$$ is a picture fuzzy soft graph on O.

The order of Picture fuzzy soft graph is $$O(G)=((0.4+0.2+0.2+0.1+0.3)+(0.4+0.3+0.4+0.1+0.2)+(0.3+0.3+0.3+0.4+0.3), (0.3+0.2+0.1+0.3+0.4)+(0.3+0.2+0.1+0.1+0.4)+(0.4+0.2+0.4+0.2+0.2), (0.3+0.3+0.1+0.2+0.1)+(0.2+0.3+0.2+0.2+0.1)+(0.2+0.1+0.1+0.1+0.4))= (4.2, 3.8, 2.9)$$

The size of the Picture fuzzy soft graph S(G) is $$((0.1+0.2+0.1+0.1+0.3+0.2)+(0.3+0.3+0.1+0.1+0.2+0.2)+(0.3+0.3+0.2+0.3+0.2+0.3), (0.2+0.1+0.2+0.3+0.3+0.1)+(0.2+0.1+0.1+0.1+0.3+0.1)+(0.2+0.2+0.2+0.2+0.2+0.2), (0.3+0.2+0.2+0.2+0.2+0.1)+(0.2+0.3+0.3+0.2+0.2+0.2)+(0.2+0.1+0.1+0.3+0.3+0.3))$$ $$= (3.8, 3.3, 3.9)$$

### Definition 22

Let G be a Picture fuzzy soft graph of $$G^{*}.$$ G is called a regular picture fuzzy soft graph if S(e) is a regular picture fuzzy graph. $$\forall$$ $$e\in O.$$

### Example 23

Consider a simple graph $$G^{*}=(V,E)$$ where $$V=\left\{ v_{1}, v_{2}, v_{3}, v_{4}\right\}$$ and $$E=\{v_{1}v_{2}, v_{2}v_{3}, v_{3}v_{4}, v_{4}v_{1}\}.$$ Let $$O=\left\{ e_{1}, e_{2}\right\}$$ be a set of parameters. Let (SO) be a picture fuzzy soft graph, where picture fuzzy graphs $$S(e_{1}), S(e_{2})$$ corresponding to parameters $$e_{1}, e_{2}, e_{3}$$ & $$e_{4}$$, receptively, are

\begin{aligned}&S(e_{1})=\bigg (\{(v_{1}, .5,.4,.1), (v_{2}, .4,.3,.2),\\&\quad (v_{3}, .4,.3,.2), (v_{4}, .3,.4,.1)\},\\&\quad \{(v_{1}v_{2}, .3,.3,.1), (v_{2}v_{3}, .3,.2,.1), \\&\quad (v_{3}v_{4}, .3,.3,.1), (v_{4}v_{1}, .3,.2,.1)\}\bigg )\\&S(e_{2}) = \bigg (\{(v_{1}, .5,.4,.2), (v_{2}, .4,.3,.3),\\&\quad (v_{3}, .4,.3,.2), (v_{4}, .3,.4,.1)\},\\&\quad \{(v_{1}v_{2}, .3,.2,.2), (v_{2}v_{3}, .2,.3,.1),\\&\quad (v_{3}v_{4}, .3,.2,.2), (v_{4}v_{1}, .2,.3,.1)\}\bigg ) \end{aligned}

The regular picture fuzzy graph is drawn in Fig. 2.

### Definition 24

Let G be a picture fuzzy soft graph of $$G^{*}$$. G is said to be totally regular picture fuzzy soft graph if S(e) is a totally picture fuzzy graph for all $$e \in O.$$

### Example 25

Consider a simple graph $$G^{*}=(V,E),$$ where $$V=\{a_{1}, a_{2}, a_{3}, a_{4}\}$$ and $$E=\{a_{1}a_{2}, a_{2}a_{3},$$ $$a_{3}a_{4}, a_{1}a_{3}\}$$. Let $$O=\left\{ e_{1}, e_{2}\right\}$$ be a set of parameters. Let $$G=(S,O)$$ be a picture fuzzy soft graphs, where $$S(e_{1})=(F(e_{1}), K(e_{1}))$$ and $$S(e_{2})=(F(e_{2}), K(e_{2}))$$ corresponding to the parameters $$e_{1}$$ and $$e_{2},$$ respectively are defined as

\begin{aligned}&S(e_{1}) = (\{(a_{1}, .5,.4,.1), (a_{2}, .5,.3,.1),\\&\quad (a_{3}, .4,.4,.1), a_{4}, .4,.3,.1)\},\\&\quad \{(a_{1}a_{2}, .1,.1,.1), (a_{2}a_{4}, .2,.2,.1),\\&\quad (a_{3}a_{4}, .2,.1,.1), (a_{3}a_{1}, .2,.1,.1) \})\\&S(e_{2}) = (\{(a_{1}, .4,.5,.1), (a_{2}, .3,.5,.1),\\&\quad (a_{3}, .4,.4,.1), a_{4}, .3,.4,.1)\},\\&\quad \{(a_{1}a_{2}, .1,.1,.1), (a_{2}a_{4}, .2,.2,.1),\\&\quad (a_{3}a_{4}, .1,.2,.1), (a_{3}a_{1}, .1,.2,.1) \}) \end{aligned}

The totally regular picture fuzzy soft graph is drawn in Fig. 3.

### Definition 26

Let G be a Picture fuzzy soft graph on V. Then G is called as perfectly regular picture fuzzy soft graph if $$S(e_{i})$$ is a regular and totally regular picture fuzzy graph for all $$e_{i} \in O.$$

### Proposition 27

For a perfectly regular picture fuzzy soft graph $$G=(F,K,O)$$, F is a constant function.

### Theorem 28

Let G be a picture fuzzy soft graph. Then G is perfectly regular if and only if

1. $$\displaystyle \sum _{a\ne b} \mu _{K(e_{i})} (ab) = \displaystyle \sum _{c\ne b} \mu _{K(e_{i})} (bc),$$

$$\displaystyle \sum _{a\ne b} \gamma _{K(e_{i})} (ab) = \displaystyle \sum _{c\ne b} \gamma _{K(e_{i})} (bc),$$

$$\displaystyle \sum _{a\ne b} \sigma _{K(e_{i})} (ab) = \displaystyle \sum _{c\ne b} \sigma _{K(e_{i})} (bc).$$

2. $$\mu _{F(e_{i})} (a) = \mu _{K(e_{i})} (b),$$

$$\gamma _{F(e_{i})} (a) = \gamma _{K(e_{i})} (b),$$

$$\sigma _{F(e_{i})} (a) = \sigma _{K(e_{i})} (b)$$ $$\forall$$ $$a,b \in V,$$ $$e_{i} \in O.$$

### Proof

Assume G is perfectly regular picture fuzzy soft graph. So G is regular picture fuzzy soft graph. Thus, from definition we have $$\mathrm{deg}_{\mu } (a) = \mathrm{deg}_{\mu } (c),$$ $$\mathrm{deg}_{\gamma } (a) = deg_{\gamma } (c),$$ $$\mathrm{deg}_{\sigma } (a) = \mathrm{deg}_{\sigma } (c),$$ $$\forall$$ $$a,c \in V$$ $$e_{i} \in O.$$ Then

\begin{aligned} \displaystyle \sum _{a\ne b} \mu _{K(e_{i})} (ab)= & {} \displaystyle \sum _{c\ne b} \mu _{K(e_{i})} (bc),\\ \displaystyle \sum _{a\ne b} \gamma _{K(e_{i})} (ab)= & {} \displaystyle \sum _{c\ne b} \gamma _{K(e_{i})} (cb),\\ \displaystyle \sum _{a\ne b} \sigma _{K(e_{i})} (ab)= & {} \displaystyle \sum _{c\ne b} \sigma _{K(e_{i})} (bc)\, \forall \, a, b, C \in V,\, e_{i} \in O. \end{aligned}

Thus (1) holds. By the proposition (3.14), (2) also holds.

Conversely, suppose that G is a picture fuzzy soft graph such that it satisfies the conditions. From (1), we have

\begin{aligned} \displaystyle \sum _{a\ne b} \mu _{K(e_{i})} (ab)= & {} \displaystyle \sum _{c\ne b} \mu _{K(e_{i})} (bc),\\ \displaystyle \sum _{a\ne b} \gamma _{K(e_{i})} (ab)= & {} \displaystyle \sum _{c\ne b} \gamma _{K(e_{i})} (bc),\\ \displaystyle \sum _{a\ne b} \sigma _{K(e_{i})} (ab)= & {} \displaystyle \sum _{c\ne b} \sigma _{K(e_{i})} (bc)\,\forall \,a, b, c \in V,\,e_{i} \in O. \end{aligned}

$$\mathrm{deg}_{\mu } (a) = \mathrm{deg}_{\mu } (c) = r_{i},$$ $$\mathrm{deg}_{\gamma } (a) = \mathrm{deg}_{\gamma } (c) = r^{'}_{i},$$ and $$\mathrm{deg}_{\sigma } (a) = \mathrm{deg}_{\sigma } (c) = r^{''}_{i},$$ $$\forall$$ $$c,a \in V,$$ $$e_{i} \in O.$$ This implies $$S(e_{i})$$ is a regular picture fuzzy graph. Thus, G is a regular picture fuzzy soft graph.

From (2), $$\mu _{F(e_{i})} (a) = \mu _{F(e_{i})} (c) = x_{i},$$ $$\gamma _{F(e_{i})} (a) = \gamma _{F(e_{i})}$$ $$(c) = x^{'}_{i},$$ and $$\sigma _{F(e_{i})} (a) = \sigma _{F(e_{i})} (c) = x^{''}_{i},$$ $$\forall$$ $$c,a\in V,$$ $$e_{i} \in O.$$

Thus, F is a constant function

\begin{aligned}&\mathrm{deg}_{\mu } [c] = \mathrm{deg}_{\mu } (c) + \mu _{F(e_{i})} (c) = r_{i}+x_{i},\\&\mathrm{deg}_{\mu } [d] = \mathrm{deg}_{\mu } (d) + \mu _{F(e_{i})} (d) = r_{i}+x_{i}.\\&\mathrm{deg}_{\gamma } [c] = \mathrm{deg}_{\gamma } (c) + \gamma _{F(e_{i})} (c) = r^{'}_{i}+x^{'}_{i},\\&\mathrm{deg}_{\gamma } [d] = \mathrm{deg}_{\gamma } (c) + \gamma _{F(e_{i})} (d) = r^{'}_{i}+x^{'}_{i}.\\&\mathrm{deg}_{\sigma } [c] = \mathrm{deg}_{\sigma } (c) + \sigma _{F(e_{i})} (c) = r^{''}_{i}+x^{''}_{i},\\&\mathrm{deg}_{\sigma } [d] = \mathrm{deg}_{\sigma } (c) + \sigma _{F(e_{i})} (d) = r^{''}_{i}+x^{''}_{i}.\\&\quad \forall \, c,d \in V,\, e_{i} \in O. \end{aligned}

$$\mathrm{deg}_{\mu } [c]=\mathrm{deg}_{\mu } [d]=k_{i},$$ $$\mathrm{deg}_{\gamma } [c]=\mathrm{deg}_{\gamma } [d]=k^{'}_{i}$$ and $$\mathrm{deg}_{\sigma } [c]=\mathrm{deg}_{\sigma } [d]=k^{''}_{i}.$$ (ie) $$\mathrm{deg} [c] = \mathrm{deg} [d] = (k_{i}, k^{'}_{i}, k^{''}_{i})$$ $$\forall$$ $$c,d \in V,$$ $$e_{i} \in O.$$ So $$S(e_{i})$$ is a totally regular picture fuzzy graph.

Hence, G is totally regular picture fuzzy soft graph. This implies G is a perfect picture fuzzy soft graph. $$\square$$

### Corollary 29

If G is a perfectly regular picture fuzzy soft graph and $$F=\left( \mu _{F(e_{i})}(c), \gamma _{F(e_{i})}(c), \sigma _{F(e_{i})}(c) \right) = \left( r_{i}, r^{'}_{i}, r^{''}_{i}\right)$$, $$\forall$$ $$c\in V,$$ $$e_{i}\in O$$ is a constant function in $$S(e_{i})$$ then $$O(S(e_{i})) = |V| \left( r_{i}, r^{'}_{i}, r^{''}_{i}\right) .$$

### Theorem 30

Let $$G=(F,K,O)$$ be a perfectly regular picture fuzzy soft graph. Then size of $$S(e_{i})$$ is $$S(S(e_{i})) = \frac{|V|}{2} (x_{i}, x^{'}_{i}, x^{''}_{i}),$$ where $$(x_{i}, x^{'}_{i}, x^{''}_{i})$$ is the degree of a vertex in $$S(e_{i})$$ $$\forall$$ $$e_{i} \in O.$$

### Definition 31

Let $$G_1=(F_1, K_1, O)$$ and $$G_2= (F_2, K_2, T)$$ be two PFSG of $$G_1^*=(V_1, E_1)$$, $$G_2^*=(V_2, E_2)$$. The Cartesian Product of $$G_1$$, $$G_2$$ is a PFSG $$G:G_1 \times G_2=(F, K, O \times T)$$, where $$(F=F_1 \times F_2, O \times T)$$ is a PFSS over $$V=V_1 \times V_2,$$ $$(K=K_1 \times K_2, O \times T)$$ is a PFSS over $$E=\{((y, z_1), (y, z_2)):\ y \in V_1, (z_1, z_2) \in E_2 \} \cup \{((y_1, z), (y_2, z)):z\in V_2, (y_1, y_2)\in E_1\}$$ and $$(F, K, O \times T)$$ are PFSG such that

1. 1.

\begin{aligned}&{\mu }_{F({d},{k})}({y},{z})={\mu }_{F_1({d})}({y})\wedge {\mu }_{F_2({k})}({z})\\&{\gamma }_{F({d},{k})}({y},{z})={\gamma }_{F_1({d})}({y})\wedge {\gamma }_{F_2({k})}({z})\\&{\sigma }_{F({d},{k})}({y},{z})={\sigma }_{F_1({d})}({y})\vee {\sigma }_{F_2({k})}({z})\\&\quad \forall \ ({y},{z})\in V, ({d},{k})\in O\times T \end{aligned}

2. 2.

\begin{aligned}&{\mu }_{K({d},{k})}\ (({{y},{z}}_1),({{y},{z}}_2)) ={\mu }_{F_1({d})}({y})\wedge {\mu }_{K_2({k})}({{{z}}_1,{z}}_2)\\&{\gamma }_{K({d},{k})}\ (({{y},{z}}_1),({{y},{z}}_2)) ={\gamma }_{F_1({d})}({y})\wedge {\gamma }_{K_2({k})}({{{z}}_1,{z}}_2)\\&{\sigma }_{K({d},{k})}\ (({{y},{z}}_1),({{y},{z}}_2)) ={\sigma }_{F_1({d})}({y})\vee {\sigma }_{K_2({k})}({{{z}}_1,{z}}_2)\\&\quad \forall {y}\in V_1,{({{{z}}_1,{z}}_2)\in E}_2 \end{aligned}

3. 3.

\begin{aligned}&{\mu }_{K({d},{k})}\ (({{y}}_1,{z}),({{y}}_2,{z})) ={\mu }_{F_2({k})}({z})\wedge {\mu }_{K_1({d})}({{{y}}_1,{y}}_2)\\&{\gamma }_{K({d},{k})}\ (({{y}}_1,{z}),({{y}}_2,{z})) ={\gamma }_{F_2({k})}({z})\wedge {\gamma }_{K_1({d})}({{{y}}_1,{y}}_2) \\&{\sigma }_{K({d},{k})}\ (({{y}}_1,{z}),({{y}}_2,{z})) ={\sigma }_{F_2({k})}({z})\vee {\sigma }_{K_1({d})}({{{y}}_1,{y}}_2)\\&\quad \forall {z}\in V_2, {({{{y}}_1,{y}}_2)\in E}_2 \end{aligned} $$S(d, k)=S_1 (d) \times S_2 (k)$$ $$\forall$$ $$(d,k) \in O \times T$$ are picture fuzzy graphs of G.

### Example 32

Let $$O=\{e_{1}, e_{2}\}$$ and $$T=\{e_{3}, e_{4}\}$$ be the set of parameters. Consider two PFSG’s $$G_{1}=\{S_{1}(e_1),$$ $$S_{1}(e_2)\}$$ and $$G_{2}=\{S_{2}(e_3), S_{2}(e_4)\}$$ as in Figs. 4567.

The Cartesian product of $$G_1$$ and $$G_2$$ is $$G_1 \times G_2 = S, O \times T$$, where $$O \times T = {(e_1, e_3), (e_1, e_4), (e_2, e_3), (e_2, e_4)}, S(e_1, e_3) = S_1(e_1) \times S_2(e_3), S(e_1, e_4) = S_1(e_1) \times S_2(e_4), S(e_2, e_3) = S_1(e_2) \times S_2(e_3)$$ and $$S(e_2, e_4) = S_1(e_2)\times S_2(e_4)$$ are picture fuzzy soft graphs of $$G_1 \times G_2$$. $$S(e_1, e_3) = S_1(e_1) \times S_2(e_3)$$ is shown in Fig. 8. In the similar way, the Cartesian product of $$S(e_1,e_4)$$, $$S(e_2,e_3)$$, $$S(e_2,e_4)$$ can be drawn.

### Theorem 33

The Cartesian product of two PFSG is a PFSG.

### Proof

Let $$G_1=(F_1, K_1, O)$$, $$G_2=(F_2, K_2, T)$$ be two PFSG of $$G_1^*=(V_1, E_1)$$, $$G_2^*=(V_2, E_2)$$, respectively. Let $$G=G_1 \times G_2=(F, K, O \times T)$$ be the Cartesian product of $$G_1$$ and $$G_2$$. We claim that $$G=(F, K, O \times T)$$ is a PFSG and $$(S, O \times T)=\{F_1 \times F_2 (a_i, b_j), K_1 \times K_2 (a_i, b_j)\} \ \forall \ a_i \in O,\ b_j \in T$$ for $$i=1$$ to m$$j=1$$ to n are PFSG of G.

Consider

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((h,o_1), (h, o_2))\\&\quad =\min \{\mu _{F_1(a_i)} (h), \mu _{K_2(b_j)} (o_1, o_2)\}\\&\qquad \hbox { for } i=1\hbox { to }m, j=1\hbox { to }n\\&\quad \le \min \{\mu _{F_1(a_i)} (h), \min \{\mu _{F_2(b_j)} (o_1), \mu _{F_2(b_j)} (o_2)\}\}\\&\quad =\min \{\min \{\mu _{F_1(a_i)} (h), \mu _{F_2(b_j)} (o_1)\},\\&\qquad \min \{\mu _{F_1(a_i)} (h), \mu _{F_2(b_j)} (o_2)\}\}\\&\mu _{K_{(a_i, b_j)}} ((h,o_1),(h,o_2))\le \min \{(\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (h, o_1),\\&\qquad (\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (h, o_2)\}, \end{aligned}

$$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\gamma _{K_{(a_i, b_j)}} ((h, o_1), (h, o_2))\\&\quad = \min \{\gamma _{F_1(a_i)} (h), \min \{\gamma _{F_2(b_j)} (o_1), \gamma _{F_2(b_j)} (o_2)\}\}\\&\quad =\min \{\min \{\gamma _{F_1(a_i)} (h), \gamma _{F_2(b_j)} (o_1)\}\\&\qquad \min \{\gamma _{F_1(a_i)} (h), \gamma _{F_2(b_j)} (o_2)\}\}\\&\sigma _{K_{(a_i, b_j)}}((h,o_1), (h, o_2))\\&\quad =\max \{\sigma _{F_1(a_i)} (h), \sigma _{F_2(b_j)} (o_1, o_2)\}\\&\qquad \hbox { for }i=1\hbox { to }m,j=1\hbox { to }n\\&\quad \le \max \{\sigma _{F_1(a_i)} (h), \max \{\sigma _{F_2(b_j)} (o_1), \sigma _{F_2(b_j)} (o_2)\}\}\\&\quad = \max \{\max \{\sigma _{F_1(a_i)} (h), \sigma _{F_2(b_j)} (o_1)\},\\&\qquad \max \{\sigma _{F_1(a_i)} (h), \sigma _{F_2(b_j)} (o_2)\}\}\\&\sigma _{K_{(a_i, b_j)}}((h,o_1), (h, o_2)) \le \max \{(\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (h, o_1),\\&\qquad (\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (h, o_2)\}, \end{aligned}

$$i=1$$ to m, $$j=1$$ to n.

Similarly,

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((h_1,o), (h_2,o)) \le \min \{(\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (h_1, o),\\&\quad (\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (h_2, o)\}, \end{aligned}

$$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\gamma _{K_{(a_i, b_j)}}((h_1,o), (h_2,o)) \le \min \{(\gamma _{F_1(a_i)} \times \gamma _{F_2(b_j)}) (h_1, o),\\&\quad (\gamma _{F_1(a_i)} \times \gamma _{F_2(b_j)}) (h_2, o)\}, \end{aligned}

$$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((h_1,o), (h_2,o)) \le \max \{(\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (h_1, o),\\&\quad (\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (h_2, o)\}, \end{aligned}

$$i=1$$ to m, $$j=1$$ to n.

Therefore $$G=(F, K, O \times T)$$ is PFSG. $$\square$$

### Definition 34

The cross product of $$G_1$$ & $$G_2$$ is $$G=G_1 \circ G_2=(F, K, O \times T)$$, where $$(F, O \times T)$$ is a PFSS over $$V=V_1 \times V_2,$$ $$(K, O \times T)$$ is a PFSS over $$E=\{((y_1, z_1), ((y_2, z_2)):(y_1, y_2) \in E_1, (z_1, z_2) \in E_2\}$$ and $$(F, K, O \times T)$$ are PFSG such that

1. 1.
\begin{aligned}&{\mu }_{F({d},{h})}({y},{z})={\mu }_{F_1({d})}({y})\wedge {\mu }_{F_2({h})}({z})\\&{\gamma }_{F({d},{h})}({y},{z})={\gamma }_{F_1({d})}({y})\wedge {\gamma }_{F_2({h})}({z})\\&{\sigma }_{F({d},{h})}({y},{z})={\sigma }_{F_1({d})}({y})\vee {\sigma }_{F_2({h})}({z})\\&\quad \forall \ ({y},{z})\in V, ({d},{h})\in O\times T. \end{aligned}
2. 2.
\begin{aligned}&{\mu }_{K({d},{h})}\ (({{y}}_1,{{z}}_1),({{y}}_2,{{z}}_2))\\&\quad ={\mu }_{K_1({d})}({{y}}_1,{{y}}_2) \wedge {\mu }_{K_2({h})}({{{z}}_1,{z}}_2)\\&{\gamma }_{K({d},{h})}\ (({{y}}_1,{{z}}_1),({{y}}_2,{{z}}_2))\\&\quad ={\gamma }_{K_1({d})}({{y}}_1,{{y}}_2) \wedge {\gamma }_{K_2({h})}({{{z}}_1,{z}}_2)\\&{\sigma }_{K({d},{h})}\ (({{y}}_1,{{z}}_1),({{y}}_2,{{z}}_2))\\&\quad ={\sigma }_{K_1({d})}({{y}}_1,{{y}}_2) \vee {\sigma }_{K_2({h})}({{{z}}_1,{z}}_2)\\&\quad \forall \ ({{y}}_1,{{y}}_2)\in V_1, {({{{z}}_1,{z}}_2)\in E}_2 \end{aligned}

$$S({d},{h})=S_1({d})\circ \ S_2({h})$$ $$\forall$$ $$({d},{h})\in O\times T$$ are PFSG of G.

### Example 35

Let $$O=\{e_{1}, e_{2}\}$$ and $$T=\{e_{3}, e_{4}\}$$ be the set of parameters. Consider two PFSG’s $$G_{1}=\{S_{1}(e_1),$$ $$S_{1}(e_2)\}$$ and $$G_{2}=\{S_{2}(e_3), S_{2}(e_4)\}$$ as in Figs. 4567.

The Cross product of $$G_1$$ and $$G_2$$ is $$G_1 \times G_2 = S, O \times T$$, where $$O \times T = {(e_1, e_3), (e_1, e_4), (e_2, e_3), (e_2, e_4)}, S(e_1, e_3) = S_1(e_1) \times S_2(e_3), S(e_1, e_4) = S_1(e_1) \times S_2(e_4), S(e_2, e_3) = S_1(e_2) \times S_2(e_3)$$ and $$S(e_2, e_4) = S_1(e_2)\times S_2(e_4)$$ are picture fuzzy soft graphs of $$G_1 \times G_2$$. $$S(e_1, e_3) = S_1(e_1) \times S_2(e_3)$$ is shown in Fig. 9. In the similar way the cross product of $$S(e_1,e_4)$$, $$S(e_2,e_3)$$, $$S(e_2,e_4)$$ can be drawn.

### Theorem 36

The cross product of two PFSG is also a PFSG.

### Proof

Let $$G_1=(F_1, K_1, O)$$ & $$G_2=(F_2, K_2, T)$$ be PFSG of $$G_1^*=(V_1, E_1)$$ & $$G_2^*=(V_2, E_2)$$, respectively. Let the cross product be $$G=G_1 \circ G_2 = (F, K, O \times T).$$ We claim that $$G=(F, K, O \times T)$$ is a PFSG and $$(S, O \times T)=\{F_1 \circ F_2 (a_i, b_j), K_1 \circ K_2 (a_i, b_j)\}$$ $$\forall$$ $$a_i$$ in O, $$b_j$$ in T for $$i=1$$ to m$$j=1$$ to n are PFSG of G.

Consider

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((c_1, t_1), (c_2,t_2))\\&\quad =\min \{\mu _{K_1(a_i)} (c_1, c_2), \mu _{K_2(b_j)} (t_1, t_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n

\begin{aligned}&\quad \le \min \{\min \{\mu _{F_1(a_i)} (c_1), \mu _{F_1(a_i)} (c_2)\},\\&\qquad \min \{\mu _{F_2(b_j)} (t_1), \mu _{F_2(b_j)} (t_2) \}\}\\&\quad = \min \{\min \{\mu _{F_1(a_i)} (c_1), \mu _{F_2(b_j)} (t_1)\},\\&\qquad \min \{\mu _{F_1(a_i)} (c_2), \mu _{F_2(b_j)} (t_2)\}\}\\&\mu _{K_{(a_i, b_j)}}((c_1,t_1), (c_2,t_2)) \le \min \{(\mu _{F_1(a_i)} \circ \mu _{F_2(b_j)}) (c_1, t_1),\\&\qquad (\mu _{F_1(a_i)} \circ \mu _{F_2(b_j)}) (c_2, t_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\gamma _{K_{(a_i, b_j)}}((c_1,t_1), (c_2,t_2))\\&\quad = \min \{\gamma _{K_1(a_i)} (c_1, c_2), \gamma _{K_2(b_j)} (t_1, t_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\quad \le \min \{\min \{\gamma _{F_1(a_i)} (c_1), \gamma _{F_1(a_i)} (c_2)\},\\&\qquad \min \{\gamma _{F_2(b_j)} (t_1), \gamma _{F_2(b_j)} (t_2)\}\}\\&\quad = \min \{\min \{\gamma _{F_1(a_i)} (c_1), \gamma _{F_2(b_j)} (t_1)\}\},\\&\qquad \{\min \{\gamma _{F_1(a_i)} (c_2), \gamma _{F_2(b_j)} (t_2)\}\}\\&\sigma _{K_{(a_i, b_j)}}((c_1,t_1), (c_2,t_2)) \le \min \{(\gamma _{F_1(a_i)} \circ \gamma _{F_2(b_j)}) (c_1, t_1),\\&\gamma _{F_2(a_i)} \circ \gamma _{F_2(b_j)} (c_2, t_2)\}\\ \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((c_1,t_1), (c_2,t_2))\\&\quad = \max \{\sigma _{K_1(a_i)} (c_1, c_2), \sigma _{K_2(b_j)} (t_1, t_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\quad \le \max \{\max \{\sigma _{F_1(a_i)} (c_1), \sigma _{F_1(a_i)} (c_2)\},\\&\qquad \max \{\sigma _{F_2(b_j)} (t_1), \sigma _{F_2(b_j)} (t_2)\}\}\\&\quad = \max \{\max \{\sigma _{F_1(a_i)} (c_1), \sigma _{F_2(b_j)} (t_1)\},\\&\qquad \max \{\sigma _{F_1(a_i)} (c_2), \sigma _{F_2(b_j)} (t_2)\}\}\\&\sigma _{K_{(a_i, b_j)}}((c_1,t_1), (c_2,t_2)) \le \max \{(\sigma _{F_1(a_i)} \circ \sigma _{F_2(b_j)}) (c_1, t_1),\\&\sigma _{F_2(a_i)} \circ \sigma _{F_2(b_j)} (c_2, t_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

Hence, $$G=(F, K, O \times T)$$ is a PFSG. $$\square$$

### Definition 37

The lexicographic product of $$G_1$$ & $$G_2$$ is $$G=G_1 \bigodot G_2=(F, K, O \times T),$$ where $$(F, O \times T)$$ is PFSS over $$V=V_1 \times V_2, (K, O\times T)$$ is a PFSS over $$E=\{((c, h_1), ((c, h_2)): c\in V_1, (h_1, h_2) \in E_2\} \cup \{((c_1, h_1), ((c_2, h_2)):(c_1, h_1) \in E_1, (c_2, h_2)\in E_2\}$$ and $$(F, K, O \times T)$$ are PFSG such that

1. 1.
\begin{aligned}&{\mu }_{F({p},{q})}({c},{h})={\mu }_{F_1({p})}({c})\wedge {\mu }_{F_2({q})}({h})\\&{\gamma }_{F({p},{q})}({c},{h})={\gamma }_{F_1({p})}({c})\wedge {\gamma }_{F_2({q})}({h})\\&{\sigma }_{F({p},{q})}({c},{h})={\sigma }_{F_1({p})}({c})\vee {\sigma }_{F_2({q})}({h})\\&\quad \forall ({c},{h})\in V, ({p},{q})\in O\times T. \end{aligned}
2. 2.
\begin{aligned}&{\mu }_{K({p},{q})}\ (({c},{{h}}_1),({c},{{h}}_2)) ={\mu }_{F_1({p})}({c}) \wedge {\mu }_{K_2({q})}({{{h}}_1,{h}}_2)\\&{\gamma }_{K({p},{q})}\ (({c},{{h}}_1),({c},{{h}}_2)) ={\gamma }_{F_1({p})}({c}) \wedge {\gamma }_{K_2({q})}({{{h}}_1,{h}}_2)\\&{\sigma }_{K({p},{q})}\ (({c},{{h}}_1),({c},{{h}}_2)) ={\sigma }_{F_1({p})}({c}) \vee {\sigma }_{K_2({q})}({{{h}}_1,{h}}_2) \\&\quad \forall \ {c}\in V_1, {({{{h}}_1,{h}}_2)\in E}_2. \end{aligned}
3. 3.
\begin{aligned}&{\mu }_{K({p},{q})}\ (({{c}}_1,{{h}}_1),({{c}}_2,{{h}}_2))\\&\quad ={\mu }_{K_1({p})}({{c}}_1,{{c}}_2) \wedge {\mu }_{K_2({q})}({{{h}}_1,{h}}_2)\\&{\gamma }_{K({p},{q})}\ (({{c}}_1,{{h}}_1),({{c}}_2,{{h}}_2))\\&\quad ={\gamma }_{K_1({p})}({{c}}_1,{{c}}_2) \wedge {\gamma }_{K_2({q})}({{{h}}_1,{h}}_2)\\&{\sigma }_{K({p},{q})}\ (({{c}}_1,{{h}}_1),({{c}}_2,{{h}}_2))\\&\quad ={\sigma }_{K_1({p})}({{c}}_1,{{c}}_2) \vee {\sigma }_{K_2({q})}({{{h}}_1,{h}}_2)\\&\qquad \forall {({{{c}}_1,{c}}_2)\in E}_1, {({{{h}}_1,{h}}_2)\in E}_2. \end{aligned}

### Example 38

Consider the graphs $$G_1$$ and $$G_2$$ from example 1. The lexico product of $$S(e_1,e_3)$$ is given in Fig. 10. In the similar way, the lexico product of $$S(e_1,e_4)$$, $$S(e_2,e_3)$$, $$S(e_2,e_4)$$ can be drawn.

### Theorem 39

The lexicographic product of two PFSG is a PFSG.

### Proof

$$G_1=(F_1, K_1, O)$$ and $$G_2=(F_2, K_2, T)$$ be PFSG of $$G_1^{*}=(V_1, E_1)$$ and $$G_2^{*}=(V_2, E_2),$$ respectively. Let $$G_1 \bigodot G_2 =(F, K, O \times T),$$ be composition of $$G_1$$ and $$G_2.$$ We claim that $$G_1 \bigodot G_2 = G =(F, K, O \times T)$$ is a PFSG and $$(S, O \times T)= \{F_1 (a_i)\bigodot F_2 (b_j), K_1 (a_i)\bigodot K_2 (a_i)\}$$ $$\forall$$ $$a_i \in O, b_j \in T$$ for $$i=1$$ to m$$j=1$$ to n are PFG of G. Let $$q \in V_1$$ and $$(w_1, w_2) \in E_2,$$ we have

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad =\min \{\mu _{F_1(a_i)} (q), \mu _{F_2(b_j)} (w_1, w_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad \le \min \{\mu _{F_1(a_i)} (q), \min \{\mu _{F_2(b_j)} (w_1, \mu _{F_2(b_j)} (w_2)\}\}\\&\quad = \min \{\min \{\mu _{F_1(a_i)} (q), \mu _{F_2(b_j)} (w_1)\},\\&\qquad \min \{\mu _{F_1(a_i)} (q), \mu _{F_2(b_j)} (w_2)\}\}\\&\quad = \min \{(\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (q, w_1),\\&\qquad (\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (q, w_2)\}\\&\mu _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad \le \min \{\mu _{F (a_i, b_j)} (q, w_1), \mu _{F (a_i, b_j)} (q, w_2)\}\\&\gamma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad =\min \{\gamma _{F_1(a_i)} (q), \gamma _{K_2(b_j)} (w_1, w_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\gamma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2)) \le \min \{\min \{\gamma _{F_1(a_i)} (q),\\&\qquad \min \{\gamma _{F_2(b_j)} (w_1), \gamma _{F_2(b_j)} (w_2)\}\}\}\\&\quad = \min \{\min \{\gamma _{F_1(a_i)} (q), \gamma _{F_2(b_j)} (w_1)\},\\&\qquad \min \{\gamma _{F_1(a_i)} (q), \gamma _{F_2(b_j)} (w_2)\}\}\\&\quad = \min \{(\gamma _{F_1(a_i)} \times \gamma _{F_2(b_j)}) (q, w_1), (\gamma _{F_1(a_i)} \times \gamma _{F_2(b_j)}) (q, w_2)\}\\&\mu _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad \le \min \{\mu _{F(a_i, b_j)} (q, w_1), \mu _{F(a_i, b_j)} (q, w_2)\}\\&\sigma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad = \max \{\sigma _{F_1(a_i)} (q), \sigma _{K_2(b_j)} (w_1, w_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2)) \le \max \{\sigma _{F_1(a_i)} (q),\\&\qquad \max \{\sigma _{F_2(b_j)} (w_1), \sigma _{F_2(b_j)} (w_2)\}\}\\&\quad = \min \{\max \{\sigma _{F_1(a_i)} (q), \sigma _{F_2(b_j)} (w_1)\},\\&\qquad \max \{\sigma _{F_1(a_i)} (q), \sigma _{F_2(b_j)} (w_2)\}\}\\&\quad = \max \{(\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (q, w_1), (\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (q, w_2)\}\\&\sigma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad \le \max \{\sigma _{F(a_i, b_j)} (q, w_1), \sigma _{F(a_i, b_j)} (q, w_2)\}. \end{aligned}

Consider

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((c_1, h_1), (c_2,h_2))\\&\quad =\min \{\mu _{K_1(a_i)} (c_1, c_2), \mu _{K_2(b_j)} (h_1, h_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n

\begin{aligned}&\quad \le \min \{\min \{\mu _{F_1(a_i)} (c_1), \mu _{F_1(a_i)} (c_2)\},\\&\qquad \min \{\mu _{F_2(b_j)} (h_1), \mu _{F_2(b_j)} (h_2)\}\}\\&\quad = \min \{\min \{\mu _{F_1(a_i)} (c_1), \mu _{F_2(b_j)} (h_1)\},\\&\qquad \min \{\mu _{F_1(a_i)} (c_2), \mu _{F_2(b_j)} (h_2)\}\}\\&\mu _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad \le \min \{\mu _{F(a_i, b_j)}(c_1, h_1), \mu _{F(a_i, b_j)}(c_2, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\gamma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad = \min \{\gamma _{K_1(a_i)} (c_1, c_2), \gamma _{K_2(b_j)} (h_1, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n

\begin{aligned}&\quad \le \min \{\min \{\gamma _{F_1(a_i)} (c_1), \gamma _{F_1(a_i)} (c_2)\},\\&\qquad \min \{\gamma _{F_2(b_j)} (h_1), \gamma _{F_2(b_j)} (h_2)\}\}\\&\quad = \min \{\min \{\gamma _{F_1(a_i)} (c_1), \gamma _{F_2(b_j)} (h_1)\}\},\\&\qquad \{\min \{\gamma _{F_1(a_i)} (c_2), \gamma _{F_2(b_j)} (h_2)\}\}\\&\gamma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad \le \min \{\gamma _{F(a_i, b_j)}(c_1, h_1), \gamma _{F(a_i, b_j)}(c_2, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2, h_2))\\&\quad \le \min \{(\gamma _{F_1(a_i)} \circ \gamma _{F_2(b_j)}) (c_1, h_1),\\&\qquad (\gamma _{F_2(a_i)} \circ \gamma _{F_2(b_j)})(c_2, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad = \max \{\sigma _{K_1(a_i)} (c_1, c_2), \sigma _{K_2(b_j)} (h_1, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n

\begin{aligned}&\quad \le \max \{\max \{\sigma _{F_1(a_i)} (c_1), \sigma _{F_1(a_i)} (c_2)\},\\&\qquad \max \{\sigma _{F_2(b_j)} (h_1), \sigma _{F_2(b_j)} (h_2)\}\}\\&\quad = \max \{\max \{\sigma _{F_1(a_i)} (c_1), \sigma _{F_2(b_j)} (h_1)\},\\&\qquad \max \{\sigma _{F_1(a_i)} (c_2), \sigma _{F_2(b_j)} (h_2)\}\}\\&\sigma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad \le \max \{\sigma _{F(a_i, b_j)}(c_1, h_1), \mu _{F(a_i, b_j)}(c_2, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

Hence, the claim. $$\square$$

### Definition 40

The complement of PFSG $$G=(F, K, O)$$ is represented by $$G^{c}= (F^{c}, K^{c}, O^{c})$$ and is defined as

1. 1.

$$O^{c}=O$$.

2. 2.

$$F^{c}(e)=F(e)$$.

3. 3.

$$\mu _{K^{c}(e)}(u,v)= \mu _{F(e)}(u) \wedge \mu _{F(e)}(v)-\mu _{K(e)}(u,v)$$.

4. 4.

$$\gamma _{K^{c}(e)}(u,v)= \gamma _{F(e)}(u) \wedge \gamma _{F(e)}(v)-\gamma _{K(e)}(u,v)$$.

5. 5.

$$\sigma _{K^{c}(e)}(u,v)= \sigma _{F(e)}(u) \vee \sigma _{F(e)}(v)-\sigma _{K(e)}(u,v)$$.

### Example 41

Consider a graph $$G^*= (V, E),$$ where $$V= \{a_1, a_2, a_3, a_4\}$$ and $$E= \{a_1a_2, a_2a_3, a_3a_4\}$$. Let $$O= \{e_1\}$$ and let (FO), (KO) be the picture fuzzy soft sets over V, E correspondingly and functions $$F: O \rightarrow P(V),$$ $$K: O \rightarrow P(E)$$ be given by

\begin{aligned}&F(e_1)= \{(a_1,.4,.3,.2), (a_2,.3,.4,.3),\\&\quad (a_3,.2,.3,.4), (a_4,.3,.2,.3)\}\\&K(e_1)= \{(a_1a_2,.3,.2,.2), (a_3a_4,.1,.1,.3),\\&\quad (a_2a_3,.2,.2,.3)\}. \end{aligned}

The PFSG $$G = \{S (e_1)\}$$ is shown in Fig. 11. The complement of PFSG is in Fig. 12.

### Definition 42

The strong product of $$G_1, G_2$$ is a PFSG $$G=G_1 \bigotimes G_2=(F, K, O \times T)$$, where $$(F, O \times T)$$ is a PFSS over $$V=V_1 \times V_2, \quad (K, O \times T)$$ is a PFSS over $$E=\{((k, b_1), ((k, b_2)):k\in V_1, (b_1, b_2) \in E_2\} \cup \{((k_1, b), (k_2, b)):b \in V_2, (k_1, k_2)\in E_1\} \cup \{((k_1, b_1),$$

$$(k_2, b_2)):(k_1, k_2) \in k_2, (b_1, b_2)\in E_2 \}$$ and $$(F, K, O \times T)$$ are PFSG such that

1. 1.
\begin{aligned}&{\mu }_{F({h},{g})}({k},{b})={\mu }_{F_1({h})}({k})\wedge {\mu }_{F_2({g})}({b})\\&{\gamma }_{F({h},{g})}({k},{b})={\gamma }_{F_1({h})}({k})\wedge {\gamma }_{F_2({g})}({b})\\&{\sigma }_{F({h},{g})}({k},{b})={\sigma }_{F_1({h})}({k})\vee {\sigma }_{F_2({g})}({b})\\&\quad \forall \ ({k},{b})\in V, ({h},{g})\in O\times T. \end{aligned}
2. 2.
\begin{aligned}&{\mu }_{K({h},{g})}\ (({k},{{b}}_1),({k},{{b}}_2)) ={\mu }_{F_1({h})}({k})\wedge {\mu }_{F_2({g})}({{{b}}_1,{b}}_2)\\&{\gamma }_{K({h},{g})}\ (({k},{{b}}_1),({k},{{b}}_2)) ={\gamma }_{F_1({h})}({k})\wedge {\gamma }_{F_2({g})}({{{b}}_1,{b}}_2)\\&{\sigma }_{K({h},{g})}\ (({k},{{b}}_1),({k},{{b}}_2)) ={\sigma }_{F_1({h})}({k})\vee {\sigma }_{F_2({g})}({{{b}}_1,{b}}_2)\\&\quad \forall \ {k}\in V_1, {({{{b}}_1,{b}}_2)\in E}_2. \end{aligned}
3. 3.
\begin{aligned}&{\mu }_{K({h},{g})}\ (({{k}}_1,{b}),({{k}}_2,{b})) ={\mu }_{F_2({g})}({b})\wedge {\mu }_{F_1({h})}({{{k}}_1,{k}}_2)\\&{\gamma }_{K({h},{g})}\ (({{k}}_1,{b}),({{k}}_2,{b})) ={\gamma }_{F_2({g})}({b})\wedge {\gamma }_{F_1({h})}({{{k}}_1,{k}}_2)\\&{\sigma }_{K({h},{g})}\ (({{k}}_1,{b}),({{k}}_2,{b})) ={\sigma }_{F_2({g})}({b})\vee {\sigma }_{F_1({h})}({{{k}}_1,{k}}_2)\\&\quad \forall \ {{b}}_1 \in V_2, {({{{k}}_1,{k}}_2)\in E}_1. \end{aligned}
4. 4.
\begin{aligned}&{\mu }_{K({h},{g})}\ (({{k}}_1,{{b}}_1),({{k}}_2,{{b}}_2))\\&\quad ={\mu }_{K_1({h})}({{k}}_1,{{k}}_2) \wedge {\mu }_{K_2({g})}({{{b}}_1,{b}}_2)\\&{\gamma }_{K({h},{g})}\ (({{k}}_1,{{b}}_1),({{k}}_2,{{b}}_2))\\&\quad ={\gamma }_{K_1({h})}({{k}}_1,{{k}}_2) \wedge {\gamma }_{K_2({g})}({{{b}}_1,{b}}_2)\\&{\sigma }_{K({h},{g})}\ (({{k}}_1,{{b}}_1),({{k}}_2,{{b}}_2))\\&\quad ={\sigma }_{K_1({h})}({{k}}_1,{{k}}_2) \vee {\sigma }_{K_2({g})}({{{b}}_1,{b}}_2)\\&\qquad \forall \ ({{k}}_1,{{k}}_2)\in E_1, {({{{b}}_1,{b}}_2)\in E}_2. \end{aligned}

$$S({h},{g})=S_1({h}) \bigotimes S_2({g})$$ $$\forall$$ $$({h},{g})\in O\times T$$ are PFSG of G.

### Example 43

Consider the graphs $$G_1$$ and $$G_2$$ from example 1. The strong product of $$S(e_1,e_3)$$ is given in Fig. 13. In the similar way the strong product of $$S(e_1,e_4)$$, $$S(e_2,e_3)$$, $$S(e_2,e_4)$$ can be drawn.

### Theorem 44

The strong product of two PFSG is also a PFSG.

### Proof

$$G_1=(F_1, K_1, O)$$ and $$G_2=(F_2, K_2, T)$$ be PFSG of $$G_1^{*}=(V_1, E_1)$$ and $$G_2^{*}=(V_2, E_2),$$ respectively. Let $$G_1 \bigotimes G_2 =(F, K, O \times T),$$ be composition of $$G_1$$ and $$G_2.$$ We claim that $$G_1 \bigotimes G_2 = G =(F, K, O \times T)$$ is a PFSG and $$(S, O \times T)= \{F_1 (a_i)\bigotimes F_2 (b_j), K_1 (a_i)\bigotimes K_2 (a_i) \}$$ $$\forall$$ $$a_i \in O, b_j \in T$$ for $$i=1$$ to m$$j=1$$ to n are PFG of G. Let $$h \in V_1$$ and $$(g_1, g_2) \in E_2,$$ we have

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((h, g_1), (h, g_2))\\&\quad =\min \{\mu _{F_1(a_i)} (h), \mu _{F_2(b_j)} (g_1, g_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((h, g_1), (h, g_2))\\&\quad \le \min \{\mu _{F_1(a_i)} (h), \min \{\mu _{F_2(b_j)} (g_1), \mu _{F_2(b_j)} (g_2)\}\}\\&\quad = \min \{\min \{\mu _{F_1(a_i)} (h), \mu _{F_2(b_j)} (g_1)\},\\&\qquad \min \{\mu _{F_1(a_i)} (h), \mu _{F_2(b_j)} (g_2)\}\}\\&\quad = \min \{(\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (h, g_1),\\&\qquad (\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (h, g_2)\} \mu _{K_{(a_i, b_j)}}((h, g_1), (h, g_2))\\&\quad \le \min \{\mu _{F (a_i, b_j)} (h, g_1), \mu _{F (a_i, b_j)} (h, g_2)\}\\&\gamma _{K_{(a_i, b_j)}}((h, g_1), (h, g_2))\\&\quad =\min \{\gamma _{F_1(a_i)} (h), \gamma _{K_2(b_j)} (g_1, g_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\gamma _{K_{(a_i, b_j)}}((h, g_1), (h, g_2)) \le \min \{\min \{\gamma _{F_1(a_i)} (h),\\&\qquad \min \{\gamma _{F_2(b_j)} (g_1), \gamma _{F_2(b_j)} (g_2)\}\}\}\\&\quad = \min \{\min \{\gamma _{F_1(a_i)} (h), \gamma _{F_2(b_j)} (g_1)\},\\&\qquad \min \{\gamma _{F_1(a_i)} (h), \gamma _{F_2(b_j)} (g_2)\}\}\\&\quad = \min \{(\gamma _{F_1(a_i)} \times \gamma _{F_2(b_j)}) (h, g_1),\\&\qquad (\gamma _{F_1(a_i)} \times \gamma _{F_2(b_j)}) (h, g_2)\} \mu _{K_{(a_i, b_j)}}((h, g_1), (h, g_2))\\&\quad \le \min \{\mu _{F(a_i, b_j)} (h, g_1), \mu _{F(a_i, b_j)} (h, g_2)\}\\&\sigma _{K_{(a_i, b_j)}}((h, g_1), (h, g_2))\\&\quad = \max \{\sigma _{F_1(a_i)} (h), \sigma _{K_2(b_j)} (g_1, g_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((h, g_1), (h, g_2)) \le \max \{\sigma _{F_1(a_i)} (h),\\&\qquad \max \{\sigma _{F_2(b_j)} (g_1), \sigma _{F_2(b_j)} (g_2)\}\}\\&\quad = \min \{\max \{\sigma _{F_1(a_i)} (h), \sigma _{F_2(b_j)} (g_1)\},\\&\qquad \max \{\sigma _{F_1(a_i)} (h), \sigma _{F_2(b_j)} (g_2)\}\}\\&\quad = \max \{(\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (h, g_1),\\&\qquad (\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (h, g_2)\} \sigma _{K_{(a_i, b_j)}}((h, g_1), (h, g_2))\\&\quad \le \max \{\sigma _{F(a_i, b_j)} (h, g_1), \sigma _{F(a_i, b_j)} (h, g_2)\}. \end{aligned}

Similarly, for any $$w \in V_2$$ and $$(q_1, q_2) \in E_1,$$ we have

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((q_1, w), (q_2, w))\\&\quad \le \min \{\mu _{F(a_i, b_j)} (q_1, w), \mu _{F(a_i, b_j)} (q_2, w)\}\\&\gamma _{K_{(a_i, b_j)}}((q_1, w), (q_2, w)\\&\quad \le \min \{\gamma _{F(a_i, b_j)} (q_1, w), \gamma _{F(a_i, b_j)} (q_2, w)\}\\&\sigma _{K_{(a_i, b_j)}}((q_1, w), (q_2, w))\\&\quad \le \min \{\sigma _{F(a_i, b_j)} (q_1, w), \sigma _{F(a_i, b_j)} (q_2, w)\}. \end{aligned}

Consider

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((c_1, h_1), (c_2,h_2))\\&\quad =\min \{\mu _{K_1(a_i)} (c_1, c_2), \mu _{K_2(b_j)} (h_1, h_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\quad \le \min \{\min \{\mu _{F_1(a_i)} (c_1), \mu _{F_1(a_i)} (c_2)\},\\&\qquad \min \{\mu _{F_2(b_j)} (h_1), \mu _{F_2(b_j)} (h_2)\}\}\\&\quad = \min \{\min \{\mu _{F_1(a_i)} (c_1), \mu _{F_2(b_j)} (h_1)\},\\&\qquad \min \{\mu _{F_1(a_i)} (c_2), \mu _{F_2(b_j)} (h_2)\}\}\\&\mu _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad \le \min \{\mu _{F(a_i, b_j)}(c_1, h_1), \mu _{F(a_i, b_j)}(c_2, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\gamma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad = \min \{\gamma _{K_1(a_i)} (c_1, c_2), \gamma _{K_2(b_j)} (h_1, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\quad \le \min \{\min \{\gamma _{F_1(a_i)} (c_1), \gamma _{F_1(a_i)} (c_2)\},\\&\qquad \min \{\gamma _{F_2(b_j)} (h_1), \gamma _{F_2(b_j)} (h_2)\}\}\\&\quad = \min \{\min \{\gamma _{F_1(a_i)} (c_1), \gamma _{F_2(b_j)} (h_1)\}\},\\&\qquad \{\min \{\gamma _{F_1(a_i)} (c_2), \gamma _{F_2(b_j)} (h_2)\}\}\\&\gamma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad \le \min \{\gamma _{F(a_i, b_j)}(c_1, h_1), \gamma _{F(a_i, b_j)}(c_2, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2, h_2))\\&\quad \le \min \{(\gamma _{F_1(a_i)} \circ \gamma _{F_2(b_j)}) (c_1, h_1), \gamma _{F_2(a_i)} \circ \gamma _{F_2(b_j)} (c_2, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad = \max \{\sigma _{K_1(a_i)} (c_1, c_2), \sigma _{K_2(b_j)} (h_1, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

\begin{aligned}&\quad \le \max \{\max \{\sigma _{F_1(a_i)} (c_1), \sigma _{F_1(a_i)} (c_2)\},\\&\qquad \max \{\sigma _{F_2(b_j)} (h_1), \sigma _{F_2(b_j)} (h_2)\}\}\\&\quad = \max \{\max \{\sigma _{F_1(a_i)} (c_1), \sigma _{F_2(b_j)} (h_1)\},\\&\qquad \max \{\sigma _{F_1(a_i)} (c_2), \sigma _{F_2(b_j)} (h_2)\}\}\\&\sigma _{K_{(a_i, b_j)}}((c_1,h_1), (c_2,h_2))\\&\quad \le \max \{\sigma _{F(a_i, b_j)}(c_1, h_1), \mu _{F(a_i, b_j)}(c_2, h_2)\} \end{aligned}

for $$i=1$$ to m, $$j=1$$ to n.

Hence, $$G=(F, K, O \times T)$$ is a PFSG. $$\square$$

### Definition 45

The composition of $$G_1,$$ and $$G_2$$ is $$G=G_1[G_2]=(F, K, O \times T)$$, where $$(F, O \times T)$$ is a PFSS over $$V=V_1 \times V_2,$$ $$(K, O \times T)$$ is a PFSS over $$E=\{((w, d_1), ((w, d_2)): w\in V_1, (d_1, d_2) \in E_2\} \cup$$

$$\{((w_1, d), (w_2, d)): d \in V_2, (w_1, w_2)\in E_1\} \cup$$

$$\{((w_1, d_1), (w_2, d_2)): (w_1, w_2) \in E_1, d_1 \ne d_2\}$$ and

$$(F, K, O \times T)$$ are PFSG such that

1. 1.
\begin{aligned}&{\mu }_{F({t},{g})}({w},{d})={\mu }_{F_1({t})}({w})\wedge {\mu }_{F_2({g})}({d})\\&{\gamma }_{F({t},{g})}({w},{d})={\gamma }_{F_1({t})}({w})\wedge {\gamma }_{F_2({g})}({d})\\&{\sigma }_{F({t},{g})}({w},{d})={\sigma }_{F_1({t})}({w})\vee {\sigma }_{F_2({g})}({d})\\&\quad \forall \ ({w},{d})\in V, ({t},{g})\in O\times T. \end{aligned}
2. 2.
\begin{aligned}&{\mu }_{K({t},{g})}\ (({w},{{d}}_1),({w},{{d}}_2)) ={\mu }_{F_1({t})}({w})\wedge {\mu }_{K_2({g})}({{{d}}_1,{d}}_2)\\&{\gamma }_{K({t},{g})}\ (({w},{{d}}_1),({w},{{d}}_2)) ={\gamma }_{F_1({t})}({w})\wedge {\gamma }_{K_2({g})}({{{d}}_1,{d}}_2)\\&{\sigma }_{K({t},{g})}\ (({w},{{d}}_1),({w},{{d}}_2)) ={\sigma }_{F_1({t})}({w})\vee {\sigma }_{K_2({g})}({{{d}}_1,{d}}_2) \\&\quad \forall \ {w}\in V_1, {({s_1,s}_2)\in E}_2. \end{aligned}
3. 3.
\begin{aligned}&{\mu }_{K({t},{g})}\ (({{w}}_1,{d}),({{w}}_2,{d})) ={\mu }_{F_2({g})}({d})\wedge {\mu }_{F_1({t})}({{{w}}_1,{w}}_2)\\&{\gamma }_{K({t},{g})}\ (({{w}}_1,{d}),({{w}}_2,{d})) ={\gamma }_{F_2({g})}({d})\wedge {\gamma }_{F_1({t})}({{{w}}_1,{w}}_2)\\&{\sigma }_{K({t},{g})}\ (({{w}}_1,{d}),({{w}}_2,{d})) ={\sigma }_{F_2({g})}({d})\vee {\sigma }_{F_1({t})}({{{w}}_1,{w}}_2)\\&\quad \forall \ {d}\in V_2, {({w_1,w}_2)\in E}_1. \end{aligned}
4. 4.
\begin{aligned}&{\mu }_{K({t},{g})}\ ((u_1,{{d}}_1),({{w}}_2,{{d}}_2))\\&\quad ={\mu }_{K_1({t})}({{w}}_1,{{w}}_2)\wedge {\mu }_{F_2({g})}({{d}}_1)\wedge {\mu }_{F_2(b)}({{d}}_2)\\&{\gamma }_{K({t},{g})}\ ((u_1,{{d}}_1),({{w}}_2,{{d}}_2)) \\&\quad ={\gamma }_{K_1({t})}({{w}}_1,{{w}}_2)\wedge {\gamma }_{F_2({g})}({{d}}_1)\wedge {\mu }_{F_2(b)}({{d}}_2)\\&{\sigma }_{K({t},{g})}\ (({{w}}_1,{{d}}_1),({{w}}_2,{{d}}_2))\\&\quad ={\sigma }_{K_1({t})}({{w}}_1,{{w}}_2)\vee {\sigma }_{F_2({g})}({{d}}_1)\vee {\mu }_{F_2(b)}({{d}}_2)\\&\qquad \forall \ ({{w}}_1,{{w}}_2)\in E_1,{{d}}_1\ne {{d}}_2. \end{aligned}

$$S({t},{g})=S_1({t})\ [S_2({g})]$$ for all $$({t},{g})\in O\times T$$ are PFSG of G.

### Example 46

The PFSG $$G_1$$ and $$G_2$$ is given in Fig. 14. The composition of $$G_1$$ and $$G_2$$ is drawn in Fig. 15.

### Theorem 47

If $$G_1$$ and $$G_2$$ are PFSG, then $$G_1 [G_2]$$ is a PFSG.

### Proof

Let $$G_1=(F_1, K_1, O)$$ and $$G_2=(F_2, K_2, T)$$ be PFSG of $$G_1^{*}=(V_1, E_1)$$ and $$G_2^{*}=(V_2, E_2),$$ respectively. Let $$G_1 [G_2]=(F, K, O \times T)$$ be the composition of $$G_1$$ and $$G_2.$$ We claim that $$G_1 [G_2]= G =(F, K, O \times T)$$ is a PFSG and $$(S, O \times T)= \{F_1 (a_i)[F_2 (b_j)], K_1 (a_i)[K_2 (a_i)]\}$$ $$\forall$$ $$a_i \in O, b_j \in T$$ for $$i=1$$ to m$$j=1$$ to n are PFG of G. Let $$q \in V_1$$ and $$(w_1, w_2) \in E_2,$$ we have

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad =\min \{\mu _{F_1(a_i)} (q), \mu _{F_2(b_j)} (w_1, w_2)\}\\&\qquad \hbox { for }i=1\hbox { to }m, j=1\hbox { to }n\\&\mu _{K_{(a_i, b_j)}}((q, w_1), (q, w_2)) \le \min \{\mu _{F_1(a_i)} (q),\\&\qquad \min \{\mu _{F_2(b_j)} (w_1, \mu _{F_2(b_j)} (w_2)\}\}\\&\quad = \min \{\min \{\mu _{F_1(a_i)} (q), \mu _{F_2(b_j)} (w_1)\},\\&\qquad \min \{\mu _{F_1(a_i)} (q), \mu _{F_2(b_j)} (w_2)\}\}\\&\quad = \min \{(\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (q, w_1),\\&\qquad (\mu _{F_1(a_i)} \times \mu _{F_2(b_j)}) (q, w_2)\} \mu _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad \le \min \{\mu _{F (a_i, b_j)} (q, w_1), \mu _{F (a_i, b_j)} (q, w_2)\}\\&\gamma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad =\min \{\gamma _{F_1(a_i)} (q), \gamma _{K_2(b_j)} (w_1, w_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\gamma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2)) \le \min \{\min \{\gamma _{F_1(a_i)} (q),\\&\qquad \min \{\gamma _{F_2(b_j)} (w_1), \gamma _{F_2(b_j)} (w_2)\}\}\}\\&\quad = \min \{\min \{\gamma _{F_1(a_i)} (q), \gamma _{F_2(b_j)} (w_1)\},\\&\qquad \min \{\gamma _{F_1(a_i)} (q), \gamma _{F_2(b_j)} (w_2)\}\}\\&\quad = \min \{(\gamma _{F_1(a_i)} \times \gamma _{F_2(b_j)}) (q, w_1),\\&\qquad (\gamma _{F_1(a_i)} \times \gamma _{F_2(b_j)}) (q, w_2)\} \mu _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad \le \min \{\mu _{F(a_i, b_j)} (q, w_1), \mu _{F(a_i, b_j)} (q, w_2)\}\\&\sigma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2)) = \max \{\sigma _{F_1(a_i)} (q), \sigma _{K_2(b_j)} (w_1, w_2)\} \end{aligned}

for $$i=1$$ to m$$j=1$$ to n.

\begin{aligned}&\sigma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2)) \le \max \{\sigma _{F_1(a_i)} (q),\\&\qquad \max \{\sigma _{F_2(b_j)} (w_1), \sigma _{F_2(b_j)} (w_2)\}\}\\&\quad = \min \{\max \{\sigma _{F_1(a_i)} (q), \sigma _{F_2(b_j)} (w_1)\},\\&\qquad \max \{\sigma _{F_1(a_i)} (q), \sigma _{F_2(b_j)} (w_2)\}\}\\&\quad = \max \{(\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (q, w_1),\\&\qquad (\sigma _{F_1(a_i)} \times \sigma _{F_2(b_j)}) (q, w_2)\} \sigma _{K_{(a_i, b_j)}}((q, w_1), (q, w_2))\\&\quad \le \max \{\sigma _{F(a_i, b_j)} (q, w_1), \sigma _{F(a_i, b_j)} (q, w_2)\}. \end{aligned}

Similarly, for any $$w \in V_2$$ and $$(q_1, q_2) \in E_1,$$ we have

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((q_1, w), (q_2, w))\\&\quad \le \min \{\mu _{F(a_i, b_j)} (q_1, w), \mu _{F(a_i, b_j)} (q_2, w)\}\\&\gamma _{K_{(a_i, b_j)}}((q_1, w), (q_2, w))\\&\quad \le \min \{\gamma _{F(a_i, b_j)} (q_1, w), \gamma _{F(a_i, b_j)} (q_2, w)\}\\&\sigma _{K_{(a_i, b_j)}}((q_1, w), (q_2, w))\\&\quad \le \min \{\sigma _{F(a_i, b_j)} (q_1, w), \sigma _{F(a_i, b_j)} (q_2, w)\}. \end{aligned}

Let $$(q_1, w), (q_2, w) \in E_1$$, and $$w_1 \ne w_2$$. Then we have

\begin{aligned}&\mu _{K_{(a_i, b_j)}}((q_1, w), (q_2, w))\\&\quad = \min \{\mu _{K_1(a_i)} (q_1, q_2), \mu _{F_2(b_j)} (w_1), \mu _{F_2(b_j)} (w_2)\}\\&\quad \le \{\min \{\max \{\mu _{F_1(a_i)} (q_1), \mu _{F_1(a_i)} (q_2)\},\\&\{\mu _{F_2(b_j)} (w_1), \mu _{F_2(b_j)} (w_2)\}\}\}\\&\quad = \min \{\min \{\mu _{F_1(a_i)} (q_1), \mu _{F_2(b_j)} (w_2)\},\\&\qquad \min \{\mu _{F_1(a_i)} (q_2), \mu _{F_2(b_j)} (w_2)\}\}\\&\mu _{K_{(a_i, b_j)}}((q_1, w_1), (q_2, w_2))\\&\quad \le \min \{\mu _{F(a_i, b_j)} (q_1, w_1), \mu _{F(a_i, b_j)} (q_2, w_2)\}\\&\gamma _{K_{(a_i, b_j)}}((q_1, w_1), (q_2, w_2))\\&\quad = \min \{\gamma _{K_1(a_i)} (q_1, w_1), \gamma _{F_2(b_j)} (w_1), \gamma _{F_2(b_j)} (w_2)\}\\&\quad \le \min \{\min \{\gamma _{F_1(a_i)} (q_1), \mu _{F_1(a_i)} (q_2)\},\\&\gamma _{F_2(b_j)} (w_1), \gamma _{F_2(b_j)} (w_1), \gamma _{F_2(b_j)} (w_2)\}\\&\quad = \min \{\min \{\gamma _{F_1(a_i)} (q_1), \gamma _{F_2(b_j)} (w_1)\},\\&\qquad \min \{\gamma _{F_1(a_i)} (q_2), \gamma _{F_2(b_j)} (w_2)\}\}\\&\gamma _{K_{(a_i, b_j)}}((q_1, w_1), (q_2, w_2))\\&\quad \le \min \{\gamma _{F(a_i, b_j)} (q_1, w_1), \gamma _{F(a_i, b_j)} (q_2, w_2)\}\\&\sigma _{K_{(a_i, b_j)}}((q_1, w_1), (q_2, w_2))\\&\quad = \max \{\sigma _{K_1(a_i)} (q_1, q_2), \sigma _{F_2(b_j)} (w_1), \sigma _{F_2(b_j)} (w_2)\}\\&\quad \le \max \{\max \{\sigma _{F_1(a_i)} (q_1), \sigma _{F_1(a_i)} (q_2)\},\\&\sigma _{F_2(b_j)} (w_1), \sigma _{F_2(b_j)} (w_1), \gamma _{F_2(b_j)} (w_2)\}\\&\quad = \max \{\max \{\sigma _{F_1(a_i)} (q_1), \sigma _{F_2(b_j)} (w_1)\},\\&\qquad \min \{\sigma _{F_1(a_i)} (q_2), \sigma _{F_2(b_j)} (w_2)\}\}\\&\sigma _{K_{(a_i, b_j)}}((q_1, w_1), (q_2, w_2))\\&\quad \le \max \{\sigma _{F(a_i, b_j)} (q_1, w_1), \sigma _{F(a_i, b_j)} (q_2, w_2)\}. \end{aligned}

Hence, the claim. $$\square$$

### Definition 48

If $$G_1=(F_1, K_1, O)$$ and $$G_2=(F_2, K_2, T)$$ are two PFSG, the intersection of $$G_1$$ and $$G_2$$ is a PFSG $$G=G_1 \cap G_2=(F, K, O \cap T),$$ where $$(F, O \cap T)$$ is a PFSS over $$V=V_1 \cap V_2, (K, O \cap T)$$ is a PFSS over $$E=E_1 \cap E_2,$$ and the PM, NM, NEM functions of G $$\forall$$ $$r, t \in V$$ are PFSG such that

\begin{aligned}&\mu _{F(d)} (t)={\left\{ \begin{array}{ll} \mu _{F_1(d)} (t) \ \mathrm{\ if} d \in O -T;\\ \mu _{F_2(d)} (t) \ \mathrm{\ if} d \in T -O;\\ \mu _{F_1(d)} (t) \wedge \mu _{F_2(d)} (t) \mathrm{\ if} d \in O\cap T\\ \end{array}\right. }\\&\gamma _{F(d)} (t)={\left\{ \begin{array}{ll} \gamma _{F_1(d)} (t) \mathrm{if} d \in O -T;\\ \gamma _{F_2(d)} (t) \mathrm{if} d \in T -O;\\ \gamma _{F_1(d)} (t)\wedge \gamma _{F_2(d)} (t) \ \mathrm{\ if} d \in O\cap T\\ \end{array}\right. }\\&\sigma _{F(d)} (t)={\left\{ \begin{array}{ll} \sigma _{F_1(d)} (t) \mathrm{if} d \in O -T;\\ \sigma _{F_2(d)} (t) \mathrm{if} d \in T -O;\\ \sigma _{F_1(d)} (t)\vee \sigma _{F_2(d)} (t) \ \mathrm{\ if} d \in O\cap T\\ \end{array}\right. }\\&\mu _{K(d)} (rt)={\left\{ \begin{array}{ll} \mu _{K_1(d)} (rt) \mathrm{if} d \in O -T;\\ \mu _{K_2(d)} (rt) \mathrm{if} d \in T -O;\\ \mu _{K_1(d)} (rt) \wedge \mu _{k_2(d)} (rt) \mathrm{if} d \in O\cap T\\ \end{array}\right. }\\&\gamma _{K(d)} (rt)={\left\{ \begin{array}{ll} \gamma _{K_1(d)} (rt) \mathrm{if} d \in O -T;\\ \gamma _{K_2(d)} (rt) \mathrm{if} d \in T -O;\\ \gamma _{K_1(d)} (rt)\wedge \gamma _{K_2(d)} (rt) \mathrm{if} d \in O\cap T\\ \end{array}\right. }\\&\sigma _{K(d)} (rt)={\left\{ \begin{array}{ll} \sigma _{K_1(d)} (rt) \mathrm{if} d \in O -T;\\ \sigma _{K_2(d)} (rt) \mathrm{if} d \in T -O;\\ \sigma _{K_1(d)} (rt)\vee \sigma _{K_2(d)} (rt) \mathrm{if} d \in O\cap T\\ . \end{array}\right. } \end{aligned}

### Example 49

Let $$G_1=(F_1, K_1, O)$$ and $$G_2=(F_2, K_2, T)$$ are two PFSG as in Figs. 16 and 17. The intersection of $$G_1$$ and $$G_2$$ is $$G=G_1 \cap G_2=(F, K, O \cap T),$$ where $$(F, O \cap T)$$ is a PFSS over $$V=V_1 \cap V_2, (K, O \cap T)$$ is a PFSS over $$E=E_1 \cap E_2,$$ which is given in Fig. 18.

### Definition 50

A PFSG G is a complete PFSG if S(e) is a complete PFG of G for all $$e \ \in O$$,

\begin{aligned}&\mu _{K(e)}(uv)=\min \{\mu _{F(e)}(u),\mu _{F(e)}(v)\}\\&\gamma _{K(e)}(uv)=\min \{\gamma _{F(e)}(u),\gamma _{F(e)}(v)\}\\&\sigma _{K(e)}(uv)=\max \{\sigma _{F(e)}(u),\sigma _{F(e)}(v)\}\\&\quad \forall \, u,v \in V, e \in O. \end{aligned}

### Example 51

Consider the simple graph $$G^{*}= (V, E)$$, where $$V= \{b_1, b_2, b_3, b_4\}$$ and $$E= \{b_1b_2, b_1b_3, b_1b_4,b_1b_5,$$

$$b_2b_5, b_2b_3, b_3b_5, b_4b_5, b_2b_4, b_3b_4\}$$. Let $$O= \{e_1, e_2, e_3\}$$ and (FO), (KO) be the picture fuzzy soft set over V and E correspondingly with functions $$F: O \rightarrow P(V),$$ $$K: O \rightarrow P(E)$$ defined by

\begin{aligned}&F(e_1)= \{(b_1,.5,.2,.2), (b_2,.4,.3,.2),\\&\quad (b_3,.3,.3,.2), (b_4,.6,.2,.1)\}\\&F(e_2)= \{(b_1,.6,.2,.2), (b_3,.5,.3,.1),\\&\quad (b_4,.4,.3,.2)\}\\&F(e_3)= \{(b_1,.5,.2,.2), (b_2,.4,.3,.2),\\&\quad (b_3,.3,.3,.2), (b_4,.6,.2,.1),\\&\quad (b_5,.5,.3,.1)\}\\&K(e_1)= \{(b_1b_2,.4,.2,.2), (b_1b_3,.3,.2,.2),\\&\quad (b_1b_4,.5,.2,.2), (b_2b_3,.3,.3,.2),\\&\quad (b_2b_4,.4,.2,.2), (b_3b_4,.3,.2,.2)\}\\&K(e_2)= \{(b_1b_3,.5,.2,.2), (b_1b_4,.4,.2,.2),\\&\quad (b_3b_4,.4,.3,.2)\}\\&K(e_3)= \{K (e_1), (b_1b_5,.5,.2,.2), (b_2b_5,.4,.3,.2),\\&\quad (b_3b_5,.3,.3,.2), (b_4b_5,.5,.2,.1)\}. \end{aligned}

The complete picture fuzzy soft graph is given in Fig. 19.

### Definition 52

If $$G_1=(F_1, K_1, O)$$ and $$G_2=(F_2, K_2, T)$$ are two PFSG, the union of $$G=G_1 \cup G_2=(F, K, O \cup T)$$ is a PFSG, where $$(F, O \cup T)$$ is a PFSS over $$V=V_1 \cup V_2, (K, O \cup T)$$ is a PFSS over $$E=E_1 \cup E_2,$$ and the PM, NM, NEM functions of G $$\forall$$ $$t, r \in V$$ are defined by

\begin{aligned}&\mu _{F(w)} (r)={\left\{ \begin{array}{ll} \mu _{F_1(w)} (r) \mathrm{if} \ \ w \in O -T;\\ \mu _{F_2(w)} (r) \mathrm{if} \ \ w \in T -O;\\ \mu _{F_1(w)} (r) \vee \mu _{F_2(w)} (r) \mathrm{if} \ \ w \in O\cap T\\ \end{array}\right. }\\&\gamma _{F(w)} (r)={\left\{ \begin{array}{ll} \gamma _{F_1(w)} (r) \mathrm{if} \ \ w \in O -T;\\ \gamma _{F_2(w)} (r) \mathrm{if} \ \ w \in T -O;\\ \gamma _{F_1(w)} (r)\vee \gamma _{F_2(w)} (r) \mathrm{if} \ \ w \in O\cap T\\ \end{array}\right. }\\&\sigma _{F(w)} (r)={\left\{ \begin{array}{ll} \sigma _{F_1(w)} (r) \mathrm{if} \ \ w \in O -T;\\ \sigma _{F_2(w)} (r) \mathrm{if} \ \ w \in T -O;\\ \sigma _{F_1(w)} (r)\wedge \sigma _{F_2(w)} (r) \mathrm{if} \ \ w \in O\cap T\\ \end{array}\right. }\\&\mu _{K(w)} (tr)={\left\{ \begin{array}{ll} \mu _{K_1(w)} (tr) \mathrm{if} \ w \in O -T;\\ \mu _{K_2(w)} (tr) \mathrm{if} \ w \in T -O;\\ \mu _{K_1(w)} (tr) \vee \mu _{K_2(w)} (tr)\ \ \mathrm{if} \ w \in O\cap T\\ \end{array}\right. }\\&\gamma _{K(w)} (tr)={\left\{ \begin{array}{ll} \gamma _{K_1(w)} (tr) \mathrm{if} \ w \in O -T;\\ \gamma _{K_2(w)} (tr) \mathrm{if} \ w \in T -O;\\ \gamma _{K_1(w)} (tr)\vee \gamma _{K_2(w)} (tr)\ \ \mathrm{if} \ w \in O\cap T\\ \end{array}\right. }\\&\sigma _{K(w)} (tr)={\left\{ \begin{array}{ll} \sigma _{K_1(w)} (tr) \mathrm{if} \ w \in O -T;\\ \sigma _{K_2(w)} (tr) \mathrm{if} \ w \in T -O;\\ \sigma _{K_1(w)} (tr)\wedge \sigma _{K_2(w)} (tr)\ \ \mathrm{if} \ w \in O\cap T\\ \end{array}\right. } \end{aligned}

### Example 53

Let $$G_1=(F_1, K_1, O)$$ and $$G_2=(F_2, K_2, T)$$ are two PFSG as in Figs. 16 and 17. The union of $$G_1$$ and $$G_2$$ is drawn in Fig. 20.

### Definition 54

A PFSG G is a strong PFSG if S(e) is a strong PFG for all $$e \in O$$.

### Example 55

Let $$G^{*}$$ be a graph with $$V= \{c_1, c_2, c_3, c_4\}$$ and $$E= \{c_1c_2, c_1c_3, c_1c_4, c_2c_3, c_2c_4, c_3c_4\}$$ and $$O= \{e_1, e_2, e_3\}$$ let (FO), (KO) be picture fuzzy soft set over V, E with functions $$F: O \rightarrow P(V),$$ $$K: O \rightarrow P(E)$$ correspondingly and defined by,

\begin{aligned}&F(e_1)= \{(c_1,.2,.2,.2), (c_2,.3,.3,.4),\\&\quad (c_3,.4,.2,.1)\}\\&F(e_2)= \{(c_1,.4,.2,.3), (c_2,.5,.3,.2),\\&\quad (c_3,.4,.1,.1), (c_4,.3,.3,.2)\}\\&F(e_3)= \{(c_1,.5,.3,.2), (c_2,.4,.1,.1),\\&\quad (c_3,.3,.4,.2), (c_4,.4,.2,.4)\}\\&K(e_1)= \{(c_1c_2,.2,.2,.4), (c_1c_3,.2,.2,.2)\}\\&K(e_2)= \{(c_1c_3,.4,.1,.3), (c_1c_4,.3,.2,.3),\\&\quad (c_1c_2,.4,.2,.3), (c_2c_4,.3,.3,.3)\}\\&K(e_3)= \{(c_1c_4,.4,.2,.4), (c_1c_3,.3,.3,.2),\\&\quad (c_2c_4,.4,.1,.4)\} \end{aligned}

The strong picture fuzzy soft graph is given in Fig. 21.

## Application

### Algorithm

An algorithm for decision making using the proposed Picture fuzzy soft graphs. The notation A denote the attributes, F and K are the mapping from A to P(V) and P(E) and $$S_{e}$$ denote the Picture fuzzy soft graph. The algorithm proposed for this PFSG is as follows:

Step 1: Consider the picture fuzzy soft sets (FA) and (KA) according to the attributes in A.

Step 2: Draw the PFSG $$S_{e}$$ corresponding to each attribute $$(e \in A)$$ for the considered problem.

Step 3: Calculate the resultant PFSG (S(e)) by taking intersection of the PFSG’s $$S_{e}$$ for each attribute and the adjacency matrix of the resultant matrix S(e).

Step 4: Calculate the score values for the S(e) using the score function

\begin{aligned} \frac{1+ \mathrm{positive}\ -2 \mathrm{(neutral)}\ -\mathrm{negative}}{2} \end{aligned}

and choice value by adding the score values of a particular element of the universal set.

Step 5: Obtain the optimal decision by choosing the maximum of the calculated choice values.

### Illustration

The coronavirus family causes illnesses ranging from the common cold to more severe diseases such as severe acute respiratory syndrome (SARS) and the Middle East respiratory syndrome (MERS), according to the WHO. The pandemic is affecting different people in different ways. While some try to adapt to working online, homeschooling their children and ordering food via Instacart, others have no choice but to be exposed to the virus while keeping society functioning. We all have been affected by the current COVID-19 pandemic. However, the impact of the pandemic and its consequences are felt differently depending on our status as individuals and as members of society. Common signs of infection include fever, coughing and breathing difficulties. In severe cases, it can cause pneumonia, multiple organ failure and death. The incubation period of COVID-19 is thought to be between one and 14 days. It is contagious before symptoms appear, which is why so many people get infected. For almost a year, the pandemic has locked us all up, and we are still suffering and afraid of COVID-19. For the medical team, treating all the patients is a difficult task. An important decision-making process in the medical team is the selection of the sickest individual to give treatment. It may even be fatal if something is delayed in selecting the treatment for the patients. The main objective is to select and treat patients who are at high risk of COVID to prevent them from becoming more affected. For the treatment of a patient with a high risk of a virus, we propose a decision-making algorithm. To test the possibility of COVID-19, let us consider a set of six patients. Since it is a difficult process and consumes time to choose the most affected individual. Let $$V=\{P_{1}, P_{2}, P_{3}, P_{4}, P_{5}, P_{6}\}$$ the set of six-person be considered as the Universal set and $$A=\{e_{1}, e_{2}\}$$ be the set of parameters that characterize the risk for patients, the attributes $$e_{1}$$ and $$e_{2}$$ stands for the symptoms and the illness they already have in their system. Consider the picture fuzzy soft set (FA) over V which describes the “impact of the virus on patients” corresponding to the given parameters. (KA) is a picture soft set over $$E= \{P_{1}P_{2}, P_{1}P_{3}, P_{1}P_{4}, P_{1}P_{5}, P_{1}P_{6}, P_{2}P_{3}, P_{2}P_{4}, P_{2}P_{5},$$ $$P_{2}P_{6}, P_{3}P_{4}, P_{3}P_{5}, P_{3}P_{6}, P_{4}P_{5}, P_{4}P_{6}, P_{5}P_{6}\}$$ describe the degree of positive, neutral & negative of the relation between patients corresponding to parameters $$e_{1}$$ & $$e_{2}.$$ The PFSG’s $$S_{e_{1}}$$ & $$S_{e_{2}}$$ corresponding to attributes ‘symptoms’ & ‘illness’, respectively, in Figs. 22 and  23, respectively.

\begin{aligned}&F(e_1) = \{P_{1} (0.6, 0.2, 0.1), P_{2} (0.5, 0.2, 0.3), \\&P_{3} (0.3, 0.4, 0.3), P_{4} (0.4, 0.3, 0.2),\\&P_{5} (0.7, 0.1, 0.1), P_{6} (0.8, 0.1, 0.1)\}.\\&K(e_1)= \{P_{1}P_{3} (.3,.2,.2), P_{1}P_{4} (.4,.2,.2),\\&P_{1}P_{5} (.6,.1,.1), P_{3}P_{6} (.3,.1,.2),\\&P_{4}P_{2} (.4,.2,.3), P_{4}P_{6} (.4,.1,.2),\\&P_{2}P_{6} (.5,.1,.2), P_{2}P_{5} (.5,.1,.3),\\&P_{5}P_{6} (.7,.1,.1)\}. \end{aligned}
\begin{aligned}&F(e_2)= \{P_{1} (0.8, 0.1, 0.1), P_{2} (0.7, 0.2, 0.1),\\&P_{3} (0.5, 0.3, 0.2), P_{4} (0.4, 0.2, 0.4),\\&P_{5} (0.3, 0.3, 0.3), P_{6} (0.6, 0.2, 0.2)\}.\\&K(e_2) = \{P_{1}P_{2} (0.7, 0.1, 0.1), P_{1}P_{5} (0.3, 0.1, 0.3),\\&P_{1}P_{4} (0.4, 0.1, 0.4), P_{1}P_{6} (0.6, 0.1, 0.2),\\&P_{2}P_{3} (0.5, 0.2, 0.2), P_{2}P_{4} (0.4, 0.2, 0.3),\\&P_{3}P_{4} (0.4, 0.2, 0.4), P_{3}P_{5} (0.3, 0.2, 0.3),\\&P_{4}P_{6} (0.4, 0.1, 0.3), P_{6}P_{5} (0.3, 0.1, 0.3),\\&P_{5}P_{4} (0.3, 0.2, 0.4)\}. \end{aligned}

By taking the intersection of PFSG’s, $$S_{e_{1}}$$ & $$S_{e_{2}}$$ we have a resultant PFSG S(e). The adjacency matrix of resultant PFSG is

\begin{aligned} \begin{bmatrix} (0,0,0) &{}(0,0,.1) &{} (0,0,.2) &{} (.4,.1,.4) &{} (.3,.1,.3) &{} (0,0,.2) \\ (0,0,.1) &{}(0,0,0) &{} (0,0,.2) &{} (.4,.2,.3) &{} (0,0,.3) &{} (0, 0,.2) \\ (0, 0,.2) &{}(0, 0,.2) &{} (0, 0, 0) &{} (0, 0, .4) &{} (0, 0,.3) &{} (0, 0,.3) \\ (.4,.1,.4) &{}(.4,.2,.3) &{} (0,0,.4) &{} (0,0,0) &{} (0,0,.4) &{} (.4,.1,.3) \\ (.3,.1,.3) &{}(0,0,.3) &{} (0,0,.3) &{} (0,0,.4) &{} (0,0,0) &{} (.3,.1,.3) \\ (0,0,.2) &{}(0,0,.2) &{} (0,0,.3) &{} (.4,.1,.3) &{} (.3,.1,.3) &{} (0,0,0) \\ . \end{bmatrix} \end{aligned}

The score values of the resultant PFSG S(e) is computed with score function

\begin{aligned} \frac{1+ \mathrm{positive}\ -2 \mathrm{(neutral)}\ -\mathrm{negative}}{2} \end{aligned}

and choice values is given in Table 1.

$$P_{1}$$ has highest risk, first treatment is given for $$P_{1}.$$ From Table 1, it follows that the maximum choice value is $$P_{1}=2.55$$ and so the optimal decision is to select patient 1 that he/she has a high risk of COVID-19.

### Comparison analysis

The proposed model is better than intuitionistic fuzzy models because of the relaxed fuzziness but not more than neutrosophic models and the intuitionistic values can be deduced from picture fuzzy models by just considering the positive and negative membership values. The limitation would be it is an advanced level but little strict criteria in fuzziness compared to neutrosophic fuzzy soft models because of the difference in the sum of the membership values. The proposed method is compared to the standard model in Akram and Shahzadi (2017) and the results are the same though they differ in the models proposed.

## Conclusion

Picture fuzzy set is a new concept that is a fusion of fuzzy and intuitionistic sets symbolized by positive, negative and neutral degrees. The introduction of this new picture fuzzy soft graphs is an emerging new concept that can be rather developed into various graph theoretical concepts. Our goal was to contribute to the theoretical aspect of fuzzy graph theory we have introduced this Picture fuzzy soft graph and explored its properties and established related theorems. The picture fuzzy soft graphs have been introduced by applying the picture fuzzy soft sets to fuzzy graphs. The PFSG have been defined along with a few of its basic properties and some operations as strong product, lexicographic, cross-product and composition of PFSG have been defined with good examples. The order, size of PFSG, regular, totally regular and perfectly regular picture fuzzy soft graphs have been defined with suitable examples. Since soft sets are most usable in real-life applications, the newly combined concepts of the picture and fuzzy soft sets will lead to many possible applications in the fuzzy set theoretical area by adding extra fuzziness in analyzing. As a practical application, we have developed a model using this defined graph and applied it in decision making. We have also briefly discussed the application of picture soft fuzzy graphs in decision making for medical diagnosis in the current COVID scenario. In future this work may be extended to the concepts as picture fuzzy irregular graphs and planarity ideas can be explored. Furthermore, many real-life applications can be explored by extending this work to studies on the labelling and energy of PFSG.