Continuous Monitoring of Maximum Clique over Dynamic Graphs
Shengli Sun,Weiping Li,Yimo Wang,Weilong Liao,Philip Yu
DOI: https://doi.org/10.1109/tkde.2020.3003701
IF: 9.235
2022-01-01
IEEE Transactions on Knowledge and Data Engineering
Abstract:The maximum clique problem (MCP) has various applications to reveal the structure and function of graphs. Graphs are constantly updated in the real life. However, no algorithm is specifically designed for dynamic graph. Although MCP in dynamic graphs can be solved by simply invoking a state-of-the-art static approach, such as PMC, when the graph is updated, such an approach of simply re-calculating from scratch is inefficient. The key issue with MCP algorithm is to find a large clique, namely a seed, as fast as possible. Thus, search space can be pruned based on the seed. Size of the seed greedily found by PMC cannot be guaranteed, as it fluctuates considerably. Moreover, the time required to find a seed under PMC is up to O(vertical bar E vertical bar . Delta(G), where Delta(G) is the highest degree in G. In this article, we intend to find a sizable seed by updating the previous maximum clique with the incident vertices of the inserted/deleted edge. Size of the seed now is guaranteed to be no less than omega(G') - 1, where omega(G') is the size of the maximum clique on the updated graph. Moreover, the seed can be found in a time complexity of O(Delta(G)(2)). Two other crucial issues related to the MCP in dynamic graphs are refreshing rate and refreshing overhead. After a tight upper bound is imposed on omega(G ''), the necessity of refreshing is evaluated by comparing the seed with its largest challenger, then unnecessary refreshing is wiped out effectively. The size of the largest challenger is judiciously estimated using a lazy growth strategy. Subsequently, the search space in refreshing is confined on a much smaller subgraph using a local refreshing strategy. Extensive experiments indicate that the proposed approach outperforms the baseline algorithm by approximately one order of magnitude.