(二)、性质与判定 1、性质 定理1（必要条件）若G为H图，则对V(G)的任一非空 顶点子集S,有： o(G-S)≤lS 证明：G是H图，设C是G的H圈。则对V(G)的任意 非空子集S,容易知道： o(C-S)≤lS到 所以，有： o(G-S)≤o(C-S)≤S0.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 7 (二)、性质与判定 1、性质 定理1 (必要条件) 若G为H图，则对V(G)的任一非空 顶点子集S，有：  ( ) GS S   证明：G是H图，设C是G的H圈。则对V(G)的任意 非空子集S, 容易知道:  ( ) CS S   所以，有：   ( )( ) GS CS S  