An efficient heuristic for betweenness estimation and ordering

Centrality measures, erstwhile popular amongst the sociologists and psychologists, have seen broad and increasing applications across several disciplines of late. Amongst a plethora of application-specific definitions available in the literature to rank the vertices, closeness centrality, betweenness centrality and eigenvector centrality (page-rank) have been the widely applied ones. We are surrounded by networks where information, signal or commodities are flowing through the edges. Betweenness centrality comes as a handy tool to analyze such systems, but computation of these scores is a daunting task in large-size networks. Since computing the betweenness centrality of one node is conjectured to be same as time taken for computing the betweenness centrality of all the nodes, a fast algorithm was required that can efficiently estimate a node’s betweenness score. In this paper, we propose a heuristic that efficiently estimates the betweenness score of a given node. The algorithm incorporates a non-uniform node-sampling model which is developed based on the analysis of random Erdős-Rényi graphs. We apply the heuristic to estimate the ranking of an arbitrary k vertices, called betweenness-ordering problem, where k is much less than the total number of vertices. The proposed heuristic produces very efficient results even when runs for a linear time in the number of edges. An extensive experimental evidence is presented to demonstrate the performance of the proposed heuristic for betweenness estimation and ordering on several synthetic and real-world graphs.

The authors would like to thank the IIT Ropar HPC committee for providing the resources for performing experiments. They also would like to thank the Malgudi team at IIT Ropar for their comments to improve the presentation of the paper. The authors would like to thank the referees for helpful comments.

Authors and Affiliations

1. Department of Computer Science and Engineering, Indian Institute of Technology Bhilai, Sejbahar, Raipur, Chhattisgarh, 492015, India

   Rishi Ranjan Singh

2. Department of Computer Science and Engineering, Indian Institute of Technology Ropar, Nangal Road, Rupnagar, Punjab, 140001, India

   S. R. S. Iyengar

3. Department of Mathematics, Indian Institute of Technology Roorkee, Roorkee, Uttarakhand, India

   Shubham Chaudhary & Manas Agarwal

Corresponding author

Correspondence to Rishi Ranjan Singh.

This is an expanded and extended version of the results appeared in CompleNet 2015 Agarwal et al. (2015).

Appendix 1: Average error and efficiency vs number of nodes in graphs (n)

In this section, we present the experimental results exhibiting the scalability of the proposed heuristic. The plots in this section compare the average error in the estimation of betweenness score and the average efficiency in ordering the nodes based on the betweenness scores with respect to the number of nodes in graphs. We generated graphs with \(n=100\) to \(n=1000\) with a step of 100 while keeping the average degree constant. For each n, we generated 5 graphs and took mean of the average error and efficiency over all the 5 graphs. Fig. 5 contains the plots. The plot in Fig. 5a depicts the change in the average error and plot in Fig. 5b represents the change in the average efficiency by changing the number of nodes in graphs while keeping the average degree of the graphs as a constant. We plotted the results for the Erdős-Rényi random (G(n, p)) graphs with \(\hbox {average degree} = \{3, 5, 10\}\) and for Barabasi-Albert random scale-free (H(n, k)) graphs with \(\hbox {average degree} = \{4, 6, 10\}\). These graphs have been discussed in Sect. 6.1.1. From these plots, we infer that the average error in the computation of betweenness score decreases and the average efficiency in ordering the nodes based on betweenness score increases with an increase in the number of nodes in graphs.

Iterative performance of the proposed heuristic when the number of nodes in graphs vary. The x axis represents the number on node (n). The y axis in plot (a) represents the average error in the estimation of betweenness centrality. The y axis in plot b represents the average efficiency in ordering the nodes based on their betweenness scores. Here, G(n; p) represent the Erdös-Rényi random graph and H(n; k) represents Barabasi-Albert random scale-free graph as discussed in Section 6.1.1

Full size image

Performance of the proposed heuristic for k-betweenness-ordering where \(k=2,3,5,10\). The x axis in plot a represents the synthetic network instances and in plot b represents the real-world network instances. The y axis in both the plots a, b represents the average efficiency in ordering k nodes based on their betweenness scores. The different color bars represent the performance for various considered values of k

Full size image

Appendix 2: Average efficiency in k-betweenness-ordering vs k

In this section, we plot the average efficiency of the proposed heuristic for ordering k nodes in respect of the considered synthetic and real-world graphs. We calculate the average efficiency for k-betweenness-ordering as following. In a given graph, we randomly pick a set of k nodes and calculate the efficiency in ordering these k nodes based on the formula given in Sect. 6.2.2. We do this for 1000 iterations and take the mean of the efficiency in these 1000 iterations.

The plots in Fig. 6 show the average efficiency of the extension of Algorithm 2 for k-betweenness-ordering on various synthetic networks (Fig. 6a) and real-world networks (Fig. 6b). Label BO denotes the efficiency of betweenness-ordering. Labels 3-BO, 5-BO, and 10-BO denotes the average efficiency of the proposed heuristic for k-betweenness-ordering when \(k=3,5,10\) respectively. The plots show that the performance of the extended Algorithm 2 for k-betweenness-ordering is nearly same as the performance of Algorithm 2 for the betweenness-ordering of two nodes.

Performance of the proposed heuristic on considered synthetic networks (with 1000 nodes) in terms of the average relaxed efficiency (\(\xi ^t\)) when the threshold parameter \(t=0,2,3,5,10\). The x axis in plot represents the synthetic network instances. The y axis in the plot represents the average relaxed efficiency (as defined in Sect. 6.2.2) in ordering nodes based on their betweenness scores. The different color bars represent the performance for various considered values of t

Full size image

Appendix 3: Average relaxed efficiency (\(\xi ^t\)) vs t

In this section, we inspect the plot between the relaxed efficiency \(\xi ^t\) and the threshold parameter t (as discussed in Sect. 6.2.2) on some synthetic networks with 1000 nodes. Similar results are achieved on all considered networks. The relaxed efficiency is computed by the formula given in Sect. 6.2.2. We vary t for \(t=2, 3, 5, 10\). The plots are compiled in Fig. 7. For each t, we generate 5 synthetic networks and then calculate the relaxed efficiency on each graph and average them to get average relaxed efficiency. We plotted average relaxed efficiency for both type of considered synthetic graphs (ER and BA). BO, 2-E, 3-E, 5-E, 10-E are the labels assumed for average relaxed efficiency when \(t=0, 2, 3, 5, 10\) respectively. The plots demonstrate that the efficiency increases with an increase in t, i.e., in a real-world situation where relaxation is allowed in ordering nodes, the proposed heuristic will perform much better than its usual performance. The relaxation in ordering means that the error in the betweenness-ordering of the nodes with approximately same betweenness rank is ignored. It considers an error only if the nodes with the difference in their betweenness ranks greater than a threshold value (t) are ordered incorrectly.

Spearman rank correlation between the exact ranking of all the nodes based on their betweenness scores produced by Brandes’s algorithm (Brandes 2001) and rankings due to the proposed heuristic and considered competitive estimation algorithms. The x axis in plot a represents the synthetic network instances and in plot b represents the real-world network instances. The y axis in both the plots a, b represents the average Spearman rank correlation between the exact ranking and ranking due to an estimation algorithm. The different color bars represent the performance in ranking of various estimation algorithms

Full size image

3.1 Correlation in ordering/average efficiency

In this section, we compare the performance of ranking all the nodes based on their estimated betweenness scores using the proposed heuristic and considered competitive estimation algorithms. The performance is evaluated in terms of the average Spearman rank correlation (\(\rho\)) with the exact ranking produced by Brandes’s algorithm (Brandes 2001). Spearman rank correlation \(\rho\) is a standard ranking correlation that measures the similarity between the ranking generated by two approaches. We plot the average Spearman rank correlation between the results produced by Algorithm 2 and the other competitive approaches on the considered synthetic and real-world networks. The plots are in Fig. 8.

Correlation of the proposed heuristic is very high (very close to 1) for almost all the considered networks. It outperforms all node-sampling based algorithms. In very dense networks, 2-BC sometimes produces a better result than our approach, but it should be noted that the difference in correlations are minute even when 2-BC takes a lot more time than our approach. In sparse networks, the proposed heuristic produces much better results than 2-BC in relatively smaller amount of time.

Appendix 4: Corroborating experimental evidence of linear time running for efficient ordering

In this section, we show experimentally that the expected time for betweenness-ordering heuristic is linear with the number of edges (m). If the average degree is constant, then the average ordering time is also shown linear in the number of nodes (n). We have picked Gnutella-family of networks from Leskovec and Krevl (2014). This family comprises of 9 different snapshots of Gnutella peer-to-peer file sharing network from August 2002. The details of the networks and betweenness-ordering results on the networks are summarized in table 8. The columns in the table contain name of the network, number of nodes (n), average degree of nodes in the network(AVG.D.), average ordering time over 500 random pairs of nodes (Avg. time) in seconds, and average efficiency in ordering the 500 randomly picked pairs of nodes based on their betweenness score (Avg. Efficiency) respectively. The average betweenness-ordering for all the networks in this family of networks is above 97% which is surely a high accuracy in very less ordering time.

The plots of the results are shown in Fig. 9. The x axis represents either the number of nodes or the number of edges and y axis denotes the average time taken for ordering two nodes based on their betweenness score. It is clear from the plots that the average betweenness-ordering time is linear with the number of edges. Here ordering time is also linear with the number of edges. It is due to the constant and small average degree of nodes in all of the networks in the considered network-family which made the number of edges as linear to the number of nodes. These plots are the corroborating experimental evidence of the proposed heuristic’s linear running time on real-world graphs. This result also concludes that scaling of graphs in the terms of the number of edges will linearly affect the ordering time and thus our ordering algorithm will be very quick and accurate than any other possible algorithms.

Average betweenness-ordering time of the proposed heuristic on Gnutella-family of networks. The x axis in plot a represents the number of nodes and in plot b represents the number of edges. The y axis represents the average time taken for ordering two nodes based on their betweenness scores

Full size image

4.1 Eccentricity ordering

We illustrate the centrality-ordering problem in the context of a centrality measure called the eccentricity measure and give a simple approximation approach for eccentricity ordering (Fig. 10).

Eccentricity ordering in 2-D Euclidean plane

Full size image

The eccentricity of a node v (Hage and Harary 1995) in a connected graph G is defined as the shortest distance to the farthest node from v in G. Center of a graph which is a solution to the facility location problems, is calculated by picking the nodes with least eccentricity. Finding eccentricity of all nodes is as expensive as finding closeness, betweenness or stress centrality for all nodes in respect of time. Given a graph in the two-dimensional Euclidean space, if we were to solve the eccentricity ordering problem of two nodes in that graph without computing the eccentricities, we would go about the following way: drawing a minimum circle (Disk) covering all the nodes is a very well known problem called smallest-circle problem or minimum covering circle problem. A linear (O(n)) time randomized algorithm by Welzl (1991) can find the smallest circle covering n points on a 2-D Euclidean plane. Once we find the smallest circle, an approximate solution to the eccentricity comparison problem is to compare the distance from the center of the smallest circle to the nodes. If the nodes are evenly distributed in the smallest circle, then the node closer to the center of that smallest circle is likely to have smaller eccentricity and vice versa. Therefore, the eccentricity ordering problem can be estimated in linear time as opposed to finding it the conventional way by considering all possible distances from the given vertex to all other vertices. A theoretical bound on the ordering efficiency of the above scheme is still open.

Reprints and permissions