定理515:若G是n个顶点的简单图对于 每一对不相邻的顶点u,v,d()+d(v)≥n-1,则 G是半哈密顿图。定理5.15：若G是n个顶点的简单图,对于 每一对不相邻的顶点u,v,d(u)+d(v)≥n-1,则 G是半哈密顿图