子圖、生成子圖、導出子圖和主子圖

 

    所有的頂點和邊都屬於圖G的圖稱為G的子圖。含有G的所有頂點的子圖稱為G的生成子圖。
    設V1是V的一個非空子集，以V1為頂點集，以兩端點均在V1中的邊的全體為邊集的子圖稱為G的導出子圖，記作G[V1]。導出子圖G[V\V1]記為G-V1，它是從G中刪去V1中的頂點以及與這些頂點相關的邊所得到的子圖。若V1={v}，則把G-{v}簡記為G-v， 稱為主子圖。在圖1-13中，G1是G的生成子圖，G2是G的導出子圖，G3是G的主子圖。