Core Decomposition on Uncertain Graphs Revisited

decomposition on uncertain graphs is a fundamental problem in graph analysis. Given an uncertain graph g, the core decomposition problem is to determine all (k, eta)-cores in g, where a (k, eta)-core is a maximal subgraph of g such that each node has an n-degree no less than k within the subgraph. The eta-degree of a node v is defined as the maximum integer r such that the probability that v has a degree no less than r is larger than or equal to the threshold eta is an element of [0, 1]. The state-of-the-art algorithm for solving this problem is based on a peeling technique which iteratively removes the nodes with the smallest eta-degrees and also dynamically updates their neighbors' eta-degrees. Unfortunately, we find that such a peeling algorithm with the dynamical n-degree updating technique is incorrect due to the inaccuracy of the recursive floating-point number division operations involved in the dynamical updating procedure. To correctly compute the (k, eta)-cores, we first propose a bottom-up algorithm based on an on-demand n-degree computational strategy. To further improve the efficiency, we also develop a more efficient top-down algorithm with several nontrivial optimization techniques. Both of our algorithms do not involve any floating-point number division operations, thus the correctness can be guaranteed. In addition, we also develop the parallel variants of all the proposed algorithms. Finally, we conduct extensive experiments to evaluate the proposed algorithms using five large real-life datasets. The results show that our algorithms are at least three orders of magnitude faster than the existing exact algorithms on large uncertain graphs. The results also demonstrate the high scalability and parallel performance of the proposed algorithms.

Automated summary

This article investigates the decomposition problem on uncertain graphs and proposes a bottom-up algorithm based on an on-demand n-degree computational strategy and a more efficient top-down algorithm with several optimization techniques. Both algorithms do not involve any floating-point number division operations, ensuring correctness.