Skip to Main content Skip to Navigation
Journal articles

When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases

Abstract : The subgraph isomorphism problem involves deciding whether a copy of a pattern graph occurs inside a larger target graph. The non-induced version allows extra edges in the target, whilst the induced version does not. Although both variants are NP-complete, algorithms inspired by constraint programming can operate comfortably on many real-world problem instances with thousands of vertices. However, they cannot handle arbitrary instances of this size. We show how to generate " really hard " random instances for subgraph isomorphism problems, which are computationally challenging with a couple of hundred vertices in the target, and only twenty pattern vertices. For the non-induced version of the problem, these instances lie on a satisfiable / unsatisfiable phase transition, whose location we can predict; for the induced variant, much richer behaviour is observed, and constrained-ness gives a better measure of difficulty than does proximity to a phase transition. These results have practical consequences: we explain why the widely researched " filter / verify " indexing technique used in graph databases is founded upon a misunderstanding of the empirical hardness of NP-complete problems, and cannot be beneficial when paired with any reasonable subgraph isomorphism algorithm.
Complete list of metadatas

Cited literature [83 references]  Display  Hide  Download
Contributor : Christine Solnon <>
Submitted on : Monday, March 26, 2018 - 9:54:03 AM
Last modification on : Wednesday, November 20, 2019 - 3:22:11 AM
Document(s) archivé(s) le : Thursday, September 13, 2018 - 3:29:59 AM


Publisher files allowed on an open archive



Ciaran Mccreesh, Patrick Prosser, Christine Solnon, James Trimble. When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2018, 61, pp.723 - 759. ⟨10.1613/jair.5768⟩. ⟨hal-01741928⟩



Record views


Files downloads