Taming verification hardness: an efficient algorithm for testing subgraph isomorphism

  • Authors:

  • Haichuan Shang;Ying Zhang;Xuemin Lin;Jeffrey Xu Yu

  • Affiliations:

  • University of New South Wales & NICTA, Sydney, Australia;University of New South Wales & NICTA, Sydney, Australia;University of New South Wales & NICTA, Sydney, Australia;Chinese university of Hong Kong, Hong Kong, China

  • Venue:
  • Proceedings of the VLDB Endowment
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query graph, from a large set of graphs. Considering the problem of testing subgraph isomorphism is generally NP-hard, most of the existing techniques are based on the framework of filtering-and-verification to reduce the precise computation costs; consequently various novel feature-based indexes have been developed. While the existing techniques work well for small query graphs, the verification phase becomes a bottleneck when the query graph size increases. Motivated by this, in the paper we firstly propose a novel and efficient algorithm for testing subgraph isomorphism, QuickSI. Secondly, we develop a new feature-based index technique to accommodate QuickSI in the filtering phase. Our extensive experiments on real and synthetic data demonstrate the efficiency and scalability of the proposed techniques, which significantly improve the existing techniques.