定理5.14若G是n（≥3）个顶点的简单图,对于每一对不相邻的.pptVIP

定理5.14：若G是n(≥3)个顶点的简单图,对于每一对不相邻的顶点u,v,满足d(u)+d(v)≥n,则G是哈密顿图。 证明:(1)证明对每一对不相邻的顶点u,v,若d(u)+d(v)≥n-1,则G有哈密顿路。 1)先证明G是连通的 2)再证G有哈密顿路。 采用反证法. 若G中无哈密顿路，令P(v1,v2,… vl+1)为G中的最长路，长度ln-1 ① 证明G中存在长度为l+1的回路 分v1与vl+1相邻和v1与vl+1不相邻两种情况讨论 (i)v1与vl+1相邻?存在长度为l+1的回路 (ii)v1与vl+1不相邻?存在长度为l+1的回路 (a)先证明G中与v1相邻的顶点都在路P中，G中与vl+1相邻的顶点也都在路P中， (b)必存在点vi,使得在G中v1与vi相邻, vi-1与vl+1相邻 故v1与vl+1不相邻?存在长度为l+1的回路 ②若 G中存在长度为l+1的回路，利用连通性证明G中必存在长度为l+1的路，矛盾 (2)证明对每一对不相邻的顶点u,v,若d(u)+d(v)≥n,则G有哈密顿回路 推论：若G是有n(≥3)个顶点的简单图, 对于每一个顶点v满足d(v)≥n/2,则G是哈密顿图。 证明：若G中任意两点都相邻，则有一条哈密顿回路： v1,v2,v3,…vn,v1。 若G中存在不相邻的点，则对于任意两个都不相邻的点u,v， 有d(u)+d(v)≥n,由定理