子图，生成子图（Spanning Subgraph），导出子图（Induced Subgraph）的定义

原图G用\(G=(V,E)\)表示，\(V\)是\(G\)中的所有顶点的集合；\(E\)是\(G\)中所有边的集合。

• 子图
  
  定义：子图\(G '\)中的所有顶点和边均包含于原图\(G\)。即\(E'∈E\)，并且\(V’∈V\)。
• 生成子图
  
  定义：生成子图\(G'\)中顶点个数\(V'\)必须和原图\(G\)中的\(V\)相同，而\(E’∈E\)即可。
• 导出子图
  
  定义：导出子图\(G’\)，\(V’∈V\)，但对于\(V’\)中任一顶点，只要在原图\(G\)中有对应边，那么就要出现在$