key: cord-1036606-2qqoyosv authors: Li, Hao; Gao, Xin title: On the significance of edges for connectivity in uncertain random graphs date: 2021-05-26 journal: Soft comput DOI: 10.1007/s00500-021-05813-2 sha: 014e9ce89e85988f8b672f0758f9646a933ef91c doc_id: 1036606 cord_uid: 2qqoyosv In practical applications of graph theory, indeterminacy factors always appear in graphs. Uncertain random graph was proposed via chance theory, in which some edges exist with degrees in probability measure and others exist with degrees in uncertain measure. This paper discusses the contributions of edges for connectivity of an uncertain random graph and proposes concepts about significance of edges, according to which edges are classified. In addition, this paper presents algorithms for calculating connectivity index and significance of edges of an uncertain random graph. Examples are given to illustrate algorithms and methods. In reality, decisions are usually made in the state of indeterminacy, which means the outcomes cannot be exactly predicted in advance. In order to deal with this phenomenon, two mathematical systems are frequently used: one is probability theory founded by Kolmogorov in 1933 , and the other one is uncertainty theory founded by Liu (2007) . When there are no samples available to estimate a probability distribution, uncertainty theory is applied to evaluating the belief degree, at which each event will happen. When applying uncertainty theory to the research on graph theory, although this kind of research skill is not entirely new in mathematics, it is certainly surprising that ideas of uncertainty theory are often useful in tackling extremal problems in graph theory. Graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects. When investigating graphs with certain property in graph theory, normally there are two ways. One way is to obtain exact formulas or structural conditions by combinatorial enumeration or structural analysis. This is the traditional deterministic method. The other way is to estimate the belief degree of the event that graphs have this property. In 1961, Erdos and Renyi (1959) proposed the model of random graph, in which appropriate probability distributions and probabilistic ideas were used to approximate a variety of exact values. However, probability theory is not suitable for every indeterministic phenomenon. Especially, when there are no sufficient samples or data, it is impossible to determine the distribution functions of random variables. For example, during the coronavirus outbreaks in early 2020, researchers used networks and graphs to estimate the outbreak sizes. As this is a novel virus, the only data they could use were from medical institutions and experts' experiences. The data were very inaccurate and subjective. So it was not very suitable to apply probability theory to characterize the indeterministic factors in the models. When probability theory is not suitable for some indeterministic phenomenon, some researchers tried to apply other theories there. For example, some researchers applied fuzzy theory (Zadeh 1965) to graphs and proposed the model of fuzzy graph (Rosenfeld 1975) . However, as fuzzy theory lacks the property of self-duality, there may be some misunderstandings and contradictions during the application of fuzzy graphs. So when there are no sufficient samples or data, uncertain theory could be applied to evaluating the belief degrees of indeterministic factors. Gao and Gao (2013) proposed the model of uncertain graph via uncertainty theory. Parameters of uncertain graphs were discussed. The Euler index was discussed by Zhang and Peng (2012) , and the connectivity index was discussed by Gao and Gao (2013) . Later, Gao discussed the cycle index (Gao 2013) , the regularity index (Gao 2014) and the tree index (Gao 2016) . In Gao et al. (2019) investigated the α-connectedness index. In Li et al. (2018) discussed the matching number, and Rosyida et al. (2018) discussed the uncertain chromatic number. In addition, Zhou et al. (2014a) investigated the inverse shortest path problem in an uncertain graph in 2015. Also Gao et al. (2015) investigated the distribution function of the diameter in an uncertain graph. Gao and Qin (2016) presented algorithms for calculating the edge-connectivity. In many cases, uncertainty and randomness simultaneously appear in one complex system. To deal this kind of systems, Liu (2013b) proposed the chance theory with concepts of uncertain random variable, chance measure and chance distribution. Liu (2014) introduced the model of uncertain random graph and the model of uncertain random network via chance theory. In an uncertain random graph, some edges exist with degrees in probability measure and other edges exist with uncertain measure. Liu (2014) discussed the connectivity index of an uncertain random graph. In 2016, the Euler index of an uncertain random graph was discussed by Zhang et al. (2017) . In 2018, the cycle index of an uncertain random graph was discussed by . Among all properties and structures of graphs, connectivity is the most fundamental one. The measure of the event, that an uncertain graph or an uncertain random graph is connected, is called its connectivity index. Gao and Gao (2013) determined the connectivity index of an uncertain graph. Liu (2014) determined this index of an uncertain random graph, which is a generalization of previous result. In this paper, we will propose a method to evaluate the contributions of edges for the connectivity of an uncertain random graph and will define concepts about the significance of edges for connectivity. Edges will be classified by their significance. An algorithm for calculating significance of edges and some related algorithms will also be presented here. The remainder of the paper is organized as follows. In Sect. 2, we will give a brief summaries of chance theory and the model of uncertain random graph. Some necessary definitions and notations of graph theory will also be presented. In Sect. 3, we will propose the concepts of the significance of edges for connectivity and will classify edges into different categories. In Sect. 4, algorithms will be presented, and examples will be given to illustrate the method. The last section will be a brief summary. In this section, we will introduce some preliminary knowledge about chance theory, graph theory and the model of uncertain random graph. In many cases, uncertainty and randomness both appear in one complex system. In order to solve these complex systems, Liu (2013b) proposed chance theory, which was soon applied to many optimization problems. Interested readers may refer to references (Ke et al. 2015; Liu and Ralescu 2014; Qin 2018; Wen and Kang 2016; Zhou et al. 2014b) . Let (Γ , L, M) and (Ω, A, Pr) be an uncertainty space and a probability space, respectively. Then the product (Γ , L, M) × (Ω, A, Pr) is called a chance space. Elements in L×A are called events in the chance space. For each event Θ, its chance measure was defined by Liu (2013b) as An uncertain random variable was defined by Liu (2013b) as a function ξ from a chance space (Γ , L, M) × (Ω, A, Pr) to the set of real numbers such that {ξ ∈ B} is an event in L × A for any Borel set B. An uncertain random variable is called a Boolean uncertain random variable if it takes values 0 or 1. Similarly, an uncertain variable is called a Boolean uncertain variable if it takes values 0 or 1. A function with n variables is called a Boolean function if it is a mapping from {0, 1} n to {0, 1}. Theorem 1 Liu (2013a) Assume that η 1 , η 2 , . . . , η m are independent Boolean random variables, i.e., η i = 1 with probability measure a i 0 with probability measure 1 − a i for i = 1, 2, . . . , m, and τ 1 , τ 2 , . . . , τ n are independent Boolean uncertain variables, i.e., τ j = 1 with uncertain measure b j 0 with uncertain measure 1 − a j for j = 1, 2, . . . , n. When f is a Boolean function, ξ = f (η 1 , η 2 , . . . , η m , τ 1 , τ 2 , . . . , τ n ) is a Boolean uncertain random variable such that Graphs in this paper are finite simple graphs, which have no multi-edges and loops. Terms and notations not defined here are referred to Bondy and Murty (2008) . A graph G is an ordered pair (V , E), where V is the set of vertices and E is the set of edges. Without loss of generality, A graph is called connected if for every pair of distinct vertices, there is a path linking them. The following is a well-known result in graph theory. A(G) + A(G) 2 + · · · + A(G) n−1 > 0, where I is the identity matrix. In the study of graph theory, edges and vertices of graphs are always deterministic. But in practical problems, indeterminate factors always appear. So when graphs are applied to these problems, it is reasonable to assume that some edges in graphs exist with some degrees. These degrees could be of probability measure or uncertain measure. Liu (2014) introduced the model of uncertain random graph. In an uncertain random graph, all edges are independent, and some edges exist with degrees in probability measure, while other edges exist with degrees in uncertain measure. A graph is of order n if it has n vertices. Without loss of generality, in the rest of this paper, we assume that graphs are always of order n. Let V be a set of n vertices. We assume that V = {1, 2, . . . , n}. So there are n(n − 1)/2 possible edges between them. We define two disjoint collections of edges, Note that deterministic edges are regarded as special uncertain ones. The uncertain random adjacency matrix is an n ×n matrix where α i j represent the truth values in uncertain measure or probability measure that the edges between vertices i and j exist, i, j = 1, 2, . . . , n, respectively. As graphs considered in this paper are simple graphs, A is a symmetric matrix, and α ii = 0 for i = 1, 2, . . . , n. Definition 1 (Liu (2014) ) Assume V is the collection of vertices, U is the collection of uncertain edges, R is the collection of random edges, and A is the uncertain random adjacency matrix. Then the quartette G = (V, U, R, A) is said to be an uncertain random graph. For an uncertain random graph G = (V, U, R, A), write x n1 x n2 · · · x nn ⎞ ⎟ ⎟ ⎟ ⎠ Fig. 1 Uncertain random graph G with all realization graphs and For any X ∈ X, the extension class of X is defined by As there are n(n−1) 2 edges in G, there are 2 n(n−1) 2 possible realizations of edges. Each realization could be represented by a simple graph, which is called a realization graph. Let H be a realization graph with adjacency matrix Y . Then there exists X ∈ X, such that Y ∈ X * . The chance measure of the event that the realization graph H appears, is ⎛ be an uncertain random graph (shown in Fig. 1 As G has 3 edges, it has 2 3 realizations, whose realization graphs are H 1 , H 2 , . . . , H 8 . The chance measure of the event that H 1 appears is which equals to 0.04. An uncertain random graph G = (V, U, R, A) becomes a random graph (Erdos and Renyi 1959; Gilbert 1959) if U = ∅. This is actually the widely used random graph model G{n, (p i j )} (Bollobás 2011) . Then, For any X ∈ X, X is the adjacency matrix of a realization graph, which appears with probability 1≤i< j≤n An uncertain random graph G = (V, U, R, A) becomes an uncertain graph For any X ∈ X, X is the adjacency matrix of a realization graph, which appears with uncertain measure min 1≤i< j≤n ν i j (X ). An uncertain random graph G is connected for some realizations and is disconnected for some other realizations. The measure of the event that G is connected, denoted by ρ(G), is called the connectivity index of the uncertain random graph. Gao and Gao (2013) determined the connectivity index of an uncertain graph. Later, Liu (2014) generalized this result to uncertain random graphs by chance theory. Theorem 3 Liu (2014) Let G = (V, U, R, A) be an uncertain random graph. Then, X is the class of matrices satisfying (1), and X * is the extension class of X satisfying (2). Corollary 1 Gao and Gao (2013) Let G = (V, A) be an uncertain graph. Then, In a simple graph, some edges are critical to its connectivity. Each minimal cut of the graph consists of these edges. Similarly, in an uncertain random graph, some edges are very important to its connectivity. That means the connectivity index is very sensitive to the measure of these edges. Meanwhile, some edges are irrelevant to the connectivity, and the connectivity index is not sensitive to the measure of them. Here, we give a method to evaluate the significance of edges to the connectivity of an uncertain random graph. For a matrix a n1 a n2 · · · a nn ⎞ ⎟ ⎟ ⎟ ⎠ and for 1 ≤ i < j ≤ n, let A + (i j) be the matrix obtained from A by changing both a i j and a ji to 1. Let A − (i j) be the matrix obtained from A by changing both a i j and a ji to 0, for 1 ≤ i < j ≤ n. Let G = (V, U, R, A) be an uncertain random graph. For any edge (i, j) (1 ≤ i < j ≤ n), let G + (i j) = (V, U, R, A + (i j)) and G − (i j) = (V, U, R, A − (i j)) be the (i, j)-reinforcing graph and the (i, j)-relaxation graph of G, respectively. Note that edge (i, j) always exists in G + (i j), while in G − (i j), the edge between vertices i and j does not exist. Proof For any connected realization graph H of G, assume that Y is the adjacency matrix of H . By Theorem 2, I + Y + Y 2 + · · · + Y n−1 > 0. As Y + (i j) ≥ Y , I + Y + (i j) + Y + (i j) 2 + · · · + Y + (i j) n−1 > 0. Then the graph with adjacency matrix Y + (i j) is a connected realization graph of G + (i j) and appears with greater measure than H . Thus, Definition 2 Let G = (V, U, R, A) be an uncertain random graph. The significance of the edge between vertices i and j (1 Since G − (i j) is the uncertain random graph obtained from G by losing edge (i, j), δ − (i j) is the change of connectivity index to this loss. Then, δ − (i j) shows the direct contribution of edge (i, j) to the connectivity. Since G + (i j) is the uncertain random graph obtained from G by guaranteeing the existence of edge (i, j), δ + (i j) shows the gain in connectivity when reinforcing this edge. This is actually the potential contribution of edge (i, j) to the connectivity. The following proposition follows from Theorem 4 and Definition 2. Proposition 1 Let G = (V, U, R, A) be an uncertain random graph. For edge (i, j) (1 ≤ i < j ≤ n), we have: (2) 0 ≤ δ + (i j), 0 ≤ δ − (i j) and 0 ≤ δ(i j) ≤ 1. In an uncertain random graph G = (V, U, R, A), let us define four collections of edges, Note that U 00 , U 01 , U 10 and U 11 form a partition of U. For each (i j) ∈ U 00 , δ(i j) = δ + (i j) + δ − (i j) = 0. Then, edge (i, j) has no direct or potential contributions to the connectivity. This edge is irrelevant to the connectivity. For each (i j) ∈ U 01 , it is partially significant for ρ(G) and has a direct contribution to the connectivity. This edge is an essential part for the connectivity, and losing it will decrease ρ(G). However, this edge is not the weakest part, and there is no need to reinforcing it. For each (i j) ∈ U 10 , it is partially significant for ρ(G) and has a potential contribution to the connectivity. This edge is not an essential part for the connectivity, and losing it does not decrease ρ(G). However, when reinforcing this edge, it will reorganize the essential structure for connectivity and make the original weakest part dispensable. Therefore, ρ(G) will increase. For each (i j) ∈ U 11 , it is highly significant for ρ(G) and is critical for the connectivity. This edge is an essential part for the connectivity, and also the weakest part. So increasing (or decreasing) α i j will increase (or decrease) ρ(G). For each (i, j) ∈ R, ρ(G), ρ(G + (i j)) and ρ(G − (i j)) satisfy the following theorem. (i, j) , Let X, X + and X − be the class of matrices of G, G + (i j) and G − (i j) satisfying (1), respectively. Note that x i 0 j 0 = 1 for any X ∈ X + , and x i 0 j 0 = 0 for any X ∈ X − . Thus, X = X + ∪ X − and X + ∩ X − = ∅. By Theorem 3, Theorem 6 Let G = (V, U, R, A) be an uncertain random graph. For any (i, j) ∈ R, either δ + (i j) = δ − (i j) = 0, or both δ + (i j) and δ − (i j) are positive. Proof For any (i, j) ∈ R, by Theorem 5, ρ(G) = α i j ρ(G + (i j)) + (1 − α i j )ρ(G − (i j)). Then, which means Therefore, either δ + (i j) = δ − (i j) = 0, or both δ + (i j) and δ − (i j) are positive. This proves the theorem. By Theorem 6, random edges could be classified into two categories. Note that R 00 and R 11 form a partition of R. For Then, edge (i, j) has no direct or potential contributions to the connectivity. This edge is irrelevant to the connectivity. For each (i j) ∈ R 11 , it is highly significant for ρ(G) and has both direct and potential contributions. So increasing (or decreasing) α i j will increase (or decrease) ρ(G). In this section, we will present an algorithm for calculating connectivity index of an uncertain random graph, and an algorithm for calculating the significance of edges. Examples will be given to illustrate the algorithms. In graph theory, Prim's Algorithm and Kruskal's Algorithm are two well-known algorithms to find a minimum spanning tree in a weighted simple graph. Both are greedy algorithms. For a simple graph with n vertices and m edges, the complexity of Prim's Algorithm is O(n 2 ). The complexity of Kruskal's Algorithm is O(m log m). Therefore, Prim's Algorithm is more effective for dense graphs, while Kruskal's Algorithm is more effective for sparse graphs. Lemma 1 Gao and Gao (2013) In an uncertain graph G = (V, A) of order n, a maximum spanning tree T is a connected subgraph with vertex set V and edge set E, such that |E| = n − 1 and min (i, j)∈E (α i j ) is maximum. Then, ρ(G) = min (i, j)∈E (α i j ). By Lemma 1, in order to find the connectivity index of an uncertain graph, it is sufficient to find a maximum spanning tree. Both Prim's Algorithm and Kruskal's Algorithm could be modified for finding a maximum spanning tree in an uncertain graph. Let G = (V, U, R, A) be an uncertain random graph. Let X be the class of matrix satisfying (1) of G. For each X ∈ X, let A X = (a i j ) n×n be the matrix satisfying As deterministic edges could be viewed as special uncertain edges, G X = (V, A X ) is an uncertain graph. By Theorem 3 and Corollary 1, Therefore, ρ(G) could be calculated by the following algorithm. Algorithm 1. Algorithm for calculating connectivity index of an uncertain random graph G = (V, U, R, A). Step 1. Let X 0 = (x i j ) n be an n×n matrix such that x i j = 1 if α i j > 0, and x i j = 0 if α i j = 0. If I +X 0 +X 2 0 +· · ·+X n−1 0 > 0, then go to Step 2; otherwise, stop and the connectivity index of G is 0; Step 2. Generate the set X. Set ρ(G) = 0; Step 3. Choose X ∈ X. Generate the uncertain graph G X . If G X is a dense graph, then determine ρ(G X ) by Modified Prim's Algorithm. If G X is a sparse graph, then determine ρ(G X ) by Modified Kruskal's Algorithm. Reset ρ(G) = ρ(G)+( (i, j)∈R v i j (X ))ρ(G X ) and X = X−{X }; Step 4. If X = ∅, then go to Step 3; otherwise, stop. The value of ρ(G) is the connectivity index of G. Modified Prim's Algorithm.Algorithm for calculating the connectivity index of an uncertain graph G = (V, A). Step 1. Let X = (x i j ) n be an n ×n matrix such that x i j = 1 if α i j > 0, and x i j = 0 if α i j = 0. If I + X + X 2 +· · ·+ X n−1 > 0, then go to Step 2; otherwise, stop and ρ(G) = 0; Step 2. Set V 1 = {1}, V 2 = {2, 3, . . . , n} and E = ∅. Step 3. Choose i ∈ V 1 and j ∈ V 2 such that α i j is maximum. Step 4. If |E| ≤ n − 2, then go to Step 3; if |E| = n − 1, then stop and let ρ(G) = min Step 1. Let X = (x i j ) n be an n ×n matrix such that x i j = 1 if α i j > 0, and x i j = 0 if α i j = 0. If I + X + X 2 +· · ·+ X n−1 > 0, then go to Step 2; otherwise, stop and ρ(G) = 0; Step 2. Set E = ∅ and set E 0 to be the set of all edges of G. Set each vertex to be a subtree. Step 3. Choose (i, j) ∈ E 0 such that α i j is maximum. If i and j are in two different subtrees, then combine the two subtrees into one. Step 4. If |E| ≤ n − 2, then go to Step 3; if |E| = n − 1, then stop and let ρ(G) = min (i, j)∈E (α i j ). Example 2 Let G = (V, U, R, A) be an uncertain graph (shown in Fig. 2 By Algorithm 1, in Step 1, it is easy to check that when all edges exist, the realization is connected. So ρ(G) > 0. In Step 2, as G has 2 random edges, there are 2 2 matrices in X, which are listed as follows: Step 3, as X = {X 1 , X 2 , X 3 , X 4 }, there are four uncertain graphs G X 1 , G X 2 , G X 3 and G X 4 , which are shown in Fig. 2 . Obviously, G X 1 and G X 2 are disconnected. Thus, ρ(G X 1 ) = ρ(G X 2 ) = 0. By Modified Prim's Algorithm or Modified Kruskal's Algorithm, maximum spanning trees of G X 3 and G X 4 could be found (Fig. 3) . Then, ρ(G X 3 ) = ρ(G X 4 ) = 0.3. Therefore, Next, we present an algorithm for calculating the significance of edges. Algorithm 2. Algorithm for calculating significance of edges in an uncertain random graph G = (V, U, R, A). Step 1. Set E = R ∪ U. Calculate ρ(G) by Algorithm 1; Step 2. Choose (i, j) ∈ E. Calculate ρ(G + (i j)) by Algorithm 1; Step 3. If (i, j) ∈ R and ρ(G) = ρ(G + (i j)), then set δ + (i j) = δ − (i j) = δ(i j) = 0 and go to Step 5. Otherwise, go to Step 4; Step 4. Calculate ρ(G − (i j)) by Algorithm 1. Set δ Step 5. Reset E = E − {(i, j)}. If E = ∅, then go to Step 2; otherwise, stop. Example 3 For the uncertain random graph in Example 2, we apply Algorithm 2 to calculate the significance of edges. Recall that ρ(G) = 0.24. The results are shown in Table 1 . From values in Table 1 , edge (1, 5) and edge (1, 7) are very important for the connectivity. Edge (1, 4) , edge (1, 6) and edge (6, 7) are partially significant for the connectivity. The rest four edges actually have no contribution to the connectivity. Random edge (1, 5) is highly significant, because it is the only edge connecting vertex 5. The graph is disconnected without this edge. In graph theory, this kind of edge is called a bridge. So this edge is critical for the connectivity. Uncertain edge (1, 7) is also very important for the connectivity. In order to connect vertex 7 to other vertices in G, at least one of edge (1, 7) and edge (6, 7) must exist. As edge (1, 7) has greater truth value, each maximum spanning tree will choose this edge. Also, this edge has the minimum truth value among all edges of maximum spanning trees. So increasing α 17 will increase the measure of each maximum spanning tree. Therefore, the connectivity index will increase. On the contrary, when losing edge (1, 7), each maximum spanning tree has to choose edge (6, 7). Thus, the measure of each maximum spanning tree will decrease, and the connectivity index will decrease. For uncertain edge (1, 6), δ + (16) = 0 and δ − (16) > 0. When reinforcing edge (1, 6), the weakest part for connectivity (which is edge (1, 7) ) is still an essential part. So there is no need to reinforcing this edge. However, when losing this edge, in order to connect vertex 6 to other vertices, each maximum spanning tree has to choose edge (6, 7), whose truth value is the smallest. Thus, the measure of each maximum spanning tree will decrease, and the connectivity index will decrease. The significance of edge (1, 4) is similar to that of (1, 6). For uncertain edge (6, 7), δ + (67) > 0 and δ − (67) = 0. As each maximum spanning tree will choose edge (1, 7) to connect vertex 7, deleting edge (6, 7) does not change maximum spanning trees. Therefore, ρ(G) remains the same. When increasing α 67 , as long as it is greater than 0.3, each maximum spanning tree will choose edge (6, 7) instead of edge (1, 7) . Thus, the measure of each maximum spanning tree will increase, and the connectivity index will increase. The rest edges are not important for connectivity. Take uncertain edge (1, 2) for example. Without this edge, vertex 2 could still be connected to vertex 1 and other vertices through vertex 3 with relatively big measure. When reinforcing edge (1, 2), the weakest part for connectivity is still an essential part. So edge (1, 2) is an unimportant edge for connectivity. In this paper, we discussed how to evaluate the contributions of edges for connectivity of an uncertain random graph. Concepts to describe the significance of edges were proposed. Edges were classified into different categories based on their significance. The different performances on significance of random edges and uncertain edges were stated. This paper also presented algorithms for calculating connectivity index and significance of edges. Examples were given to illustrate algorithms and methods. It is worth pointing out that this significance of edges could be applied to some optimization problems, such as the shortest path problems, the Chinese Postman Problems. Significance of edges for other graph properties, such as connectivity, distance, can be further studied in the future for uncertain random graphs. Random graphs Cycle index of uncertain random graph On random graphs Cycle Index of uncertain graph Regularity index of uncertain graph Tree index of uncertain graphs Connectedness index of uncertain graph The computation on α-connectedness index of uncertain graph On computing the edge-connectivity of an uncertain graph On distribution function of the diameter in uncertain graph Random graphs Uncertain random multilevel programming with application to production control problem On the matching number of an uncertain graph Uncertain random graph and uncertain random network Uncertain random programming with applications Uncertain random variables: a mixture of uncertainty and randomness Risk index in uncertain random risk analysis Uncertain random goal programming Fuzzy graphs: in fuzzy sets and their applications to cognitive and decision processes An uncertain chromatic number of an uncertain graph based on α-cut coloring Reliability analysis in uncertain random system Fuzzy sets Euler index in uncertain graph Euler index of uncertain random graph: concepts and properties An inverse shortest path problem on an uncertain graph Multi-objective optimization in uncertain random environments Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations The authors declare that there is no conflict of interest regarding the publication of this paper.Ethical Approval This article does not contain any studies with human participants performed by the author.