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