Subgraph isomorphism problem