Discrete Dynamics in Nature and Society

Volume 2018, Article ID 8535703, 15 pages

https://doi.org/10.1155/2018/8535703

## Characterizations of Certain Types of Type 2 Soft Graphs

^{1}School of Mathematics and Information Sciences, Guangzhou University, 510000 Guangzhou, China^{2}Guangzhou Vocational College of Science and Technology, Guangzhou, Guangdong 510550, China^{3}Department of Mathematics, Islamabad Model College for Girls, F-6/2, Islamabad, Pakistan^{4}Department of Mathematics, Faculty of Sciences, Çankırı Karatekin University, 18100 Çankırı, Turkey

Correspondence should be addressed to Bing-Yuan Cao; moc.361@ygniboac

Received 4 March 2018; Accepted 29 August 2018; Published 20 September 2018

Academic Editor: Allan C. Peterson

Copyright © 2018 Khizar Hayat et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The vertex-neighbors correspondence has an essential role in the structure of a graph. The type 2 soft set is also based on the correspondence of initial parameters and underlying parameters. Recently, type 2 soft graphs have been introduced. Structurally, it is a very efficient model of uncertainty to deal with graph neighbors and applicable in applied intelligence, computational analysis, and decision-making. The present paper characterizes type 2 soft graphs on underlying subgraphs (regular subgraphs, irregular subgraphs, cycles, and trees) of a simple graph. We present regular type 2 soft graphs, irregular type 2 soft graphs, and type 2 soft trees. Moreover, we introduce type 2 soft cycles, type 2 soft cut-nodes, and type 2 soft bridges. Finally, we present some operations on type 2 soft trees by presenting several examples to demonstrate these new concepts.

#### 1. Preliminaries and Introduction

A graph consists of a nonempty set of objects , called vertices, and a set of two element subsets of called edges. Two vertices and are adjacent if . A loop is an edge that connects a vertex to itself. A simple graph is an unweighted, undirected graph containing no multiple edges or graph loops. A graph is said to be a subgraph of if and The graph neighborhoods of a vertex in a graph is the set of all the vertices adjacent to including itself. The graph neighbors of a vertex in a graph are the set of all the vertices adjacent to excluding itself. The eccentricity of the vertex is the maximum distance from to any vertex. The distance between two vertices and in a graph is the number of edges in a shortest path, denoted by . The radius of a graph is the minimum eccentricity of any vertex A graph is called a tree if it is connected and contains no cycles. Equivalently (and sometimes more useful), a tree is a connected graph on vertices with exactly edges. A forest is a disjoint union of trees. The degree of a vertex of a simple graph is the number of edges incident to the vertex. A regular graph is a graph where each vertex has the same number of neighbors. A graph that is not a regular graph is called irregular graph. A graph is called neighborly irregular graph if no two adjacent vertices have the same degree. A complete graph is a graph in which each pair of graph vertices is connected by an edge. For basic definitions of graphs see [1–3].

Soft set theory [4], firstly initiated by Molodtsov, is a new mathematical tool for dealing with uncertainties. Some fruitful operations, soft set theory, are presented by Maji et al. [5] and Ali et al. [6]. We refer to Molodtsov’s soft sets as type 1 soft sets briefly Let be a set of parameters that can have an arbitrary nature (numbers, functions, sets of words, etc.). Let be a universe and the power set of is denoted by The soft set is defined as follows.

*Definition 1 (see [5]). *A pair is called a soft set over , where is a mapping given by

Note that the set of all over will be denoted by Many researchers take attention at applicability of soft sets in real and practical problems. In recent years, research on soft set theory has been rapidly developed, and great progress has been achieved, including works of soft sets in graph theory. Ali et al. [7] introduced a representation of graphs based on neighborhoods. Akram et al. introduced the concepts of soft graphs [8, 9] and soft trees [10]. Let be a simple graph, be any nonempty set.

Let be an arbitrary relation from to A mapping from to denoted as and defined as and a mapping from to denoted as and defined as Then is a over and is a over The notion of a soft graph is defined as follows.

*Definition 2 (see [9]). *A -tuple is called a soft graph if it satisfies;(i) is a simple graph.(ii) is a non-empty set of parameters.(iii) is a over .(iv) is a over .(v) for all , represents a subgraph of .

The soft graph can also be written as , where

*Definition 3 (see [9, 10]). *Let be a soft graph of . Then is said to be a soft tree (resp., regular soft graph, irregular soft graph, neighborly irregular soft graph, soft cycle) if every is a tree (resp., regular graph, irregular graph, neighborly irregular graph, and cycle) for all

A soft graph is called a regular soft graph of degree if is a regular graph of degree for all . In the rest of paper soft tree and soft cycle will be written as type 1 soft tree (briefly, ) and type 1 soft cycle (briefly, ), respectively. Some operations of are defined as follows.

*Definition 4 (see [10]). *Let and be two of Then is a type 1 soft subtree of if(i);(ii)for each , is a subtree of .

*Definition 5 (see [10]). *Let and be two of The extended union of and , denoted by , where , is defined , asIt can be written as

*Definition 6 (see [10]). *Let and be two in The restricted intersection of and , denoted by , where , is defined , as ,

It can be written as

*Definition 7 (see [10]). *Let and be two in The operation of and , denoted by , where , is defined , as ,

*Definition 8 (see [10]). *Let and be two in The operation of and , denoted by , where , is defined , as ,

*Definition 9 (see [8]). *Let be a soft graph of . Then the complement of is denoted by and defined by , where and contain those edges which are not included in .

A generalization of soft sets called type 2 soft sets is introduced by Chatterjee et al. [11]. Some results on type 2 soft sets are validated by Yang and Wang [12] and some new operation on typ-2 soft sets are defined by Khizar et al. [13]. Let be universe set and be the set of parameters. The definition of type 2 soft set is as follows:

*Definition 10 (see [11]). *Let be a soft universe and be the collection of all over . Then a mapping , is called a type 2 soft set (briefly ) over and it is denoted by . In this case, corresponding to each parameter , is a . Thus, for each , there exists a , such that where and . In this case, we refer to the parameter set as the “primary set of parameters”, while the set of parameters is known as the “underlying set of parameters”.

Let be a simple graph. The set of all over is denoted by and the set of all over is denoted by The set of neighbors of an element is denoted by and defined by Then , where . Let a subset of be an arbitrary relation from to . Let be a simple graph. Khizar et al. [14] introduced type 2 soft graphs by using over and over .

*Definition 11 (see [14]). *Let be a simple graph, and be the collection of all over . Then a mapping is called a over and it is denoted by . In this case, corresponding to each vertex , is a . Thus, for each , there exists a , such that where can be defined as , for all and is the set of all neighbors of . This is also called a vertex-neighbors induced type 2 soft set (briefly, -type 2 soft set) over

*Definition 12 (see [14]). *Let be a simple graph, and be the collection of all over . Let be a -type 2 soft set over . Then a mapping is called a over and it is denoted by . In this case, corresponding to each vertex , is a . Thus, for each , there exists a , such that where can be define as , for all and is the set of all neighbors of . This is also called a -type 2 soft set over

*Definition 13 (see [14]). *A -tuple is called a type 2 soft graph (briefly, ) if it satisfies following conditions:(i) is a simple graph.(ii) is a non-empty set of parameters.(iii) is a -type 2 soft set over .(iv) is a -type 2 soft set over .(v) corresponding to , represents a type 1 soft graph. A can also be represented by , where such that ,

#### 2. Certain Types of Type 2 Soft Graphs

In this section, we present regular type 2 soft graphs, irregular type 2 soft graphs, and type 2 soft trees. Moreover, we introduce type 2 soft cycles, type 2 soft cut-nodes, and type 2 soft bridges.

*Definition 14. *Let be a of Then is said to be a regular if corresponding to every is a regular for all A is called a regular of degree if corresponding to is a regular of degree for all

*Example 15. *Consider a graph as shown in Figure 1. Let . It may be written that and . Let and be two over and respectively, such that and for all . Define , for all , and , for all Then and are as in the following , , , , , . One can check that is a regular of as shown in Figure 2.