定理2（充分条件）对于≥3的单图G,如果G中有： 5G)2 那么G是H图。 证明：若不然，设G是一个满足定理条件的极大非H 简单图。显然G不能是完全图，否则，G是H图。 于是，可以在G中任意取两个不相邻顶点u与v。考虑 图G+uv,由G的极大性，G+uv是H图。且G+uv的每 一个H圈必然包含边uV。 120.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 12 定理2 (充分条件) 对于n≧3的单图G，如果G中有： ( ) 2n  G  那么G是H图。 证明: 若不然，设G是一个满足定理条件的极大非H 简单图。显然G不能是完全图，否则，G是H图。 于是，可以在G中任意取两个不相邻顶点u与v。考虑 图G + u v，由G的极大性，G+ u v是H图。且G+ u v的每 一个H圈必然包含边u v