Concept: Subgraph isomorphism problem