子图同构问题（subgraph isomorphism）

实例： 两个无向简单图 G=(V，E)G=(V，E)，H=(V2，E2)H=(V_2，E_2)。

询问： 图 GG 中是否含有与 HH 同构的子图。

NPC 证明

将子图同构问题实例中的图 H=(V2，E2)H=(V_2，E_2) 限制为完全图后，该问题就成为图的团(CL)问题。