Subgraph isomorphism
We have the graphs G_1=(V_1,E_1), G_2=(V_2,E_2).
Question: Is the graph G_1 isomorphic to a subgraph of G_2 ?
