In complexity theory, Subgraph-Isomorphism is a decision problem that is known to be NP-complete. The formal description of the decision problem is as follows.
Subgraph-Isomorphism(G1, G2) Input: Two graphs G1 and G2. Question: Is G1isomorphic to a subgraph of G2?