离散数学(第13章)陈瑜.ppt

证明(续2) v1vi?E ? vi-1vk?E。 （否则，即对?vi?L， v1vi?E而vi-1vk?E。设v1在L上与vi1，vi2，…，vit相邻（t≥2），则vk不能与vi1-1,vi2-1,…,vit-1中的任何一个相邻，这样就有d(vk)≤k-t-1，d(v1)=t，d(v1)+d(vk)≤k-1＜n-1。推出矛盾。） 这样就可以构造一个圈 C＝v1v2…vi-1vkvk-1…viv1。 如图所示，这个圈包含了L中的全部结点。 v1 vk vi vi-1 vj vk-1 * 计算机学院 */98 证明(续2) v1vi?E ? vi-1vk?E。 （否则，即对?vi?L， v1vi?E而vi-1vk?E。设v1在L上与vi1，vi2，…，vit相邻（t≥2），则vk不能与vi1-1,vi2-1,…,vit-1中的任何一个相邻，这样就有d(vk)≤k-t-1，d(v1)=t，d(v1)+d(vk)≤k-1＜n-1。推出矛盾。） 这样就可以构造一个圈 C＝v1v2…vi-1vkvk-1…viv1。 如图所示，这个圈包含了L中的全部结点。 v1 vk vi vi-1 vj vk-1 * 计算机学院 */98 证明(续2) v1vi?E ? vi-1vk?E。 （否则，即对?vi?L， v1vi?E而vi-1vk?E。设v1在L上与vi1，vi2，…，vit相邻（t≥2），则vk不能与vi1-1,vi2-1,…,vit-1中的任何一个相邻，这样就有d(vk)≤k-t-1，d(v1)=t，d(v1)+d(vk)≤k-1＜n-1。推出矛盾。） 这样就可以构造一个圈 C＝v1v2…vi-1vkvk-1…viv1。 v1 vk vi vi-1 vj vk-1 如图所示，这个圈包含了L中的全部结点。 * 计算机学院 */98 证明(续2) v1vi?E ? vi-1vk?E。 （否则，即对?vi?L， v1vi?E而vi-1vk?E。设v1在L上与vi1，vi2，…，vit相邻（t≥2），则vk不能与vi1-1,vi2-1,…,vit-1中的任何一个相邻，这样就有d(vk)≤k-t-1，d(v1)=t，d(v1)+d(vk)≤k-1＜n-1。推出矛盾。） 这样就可以构造一个圈 C＝v1v2…vi-1vkvk-1…viv1。 v1 vk vi vi-1 vj vk-1 如图所示，这个圈包含了L中的全部结点。 * 计算机学院 */98 证明(续3) 这样，对a）和b），都可以构造一个包含L中的全部结点的一个圈C。 因为k＜n，所以V中还有一些结点不在C中，由G的连通性知，存在C外的结点u与C上结点vj相邻。显然，可以构造一条基本道路P′＝uvjvj+1…vi-1vkvk-1…viv1v2…vj-1。P′比P长，与L的最长性相矛盾。 所以，必然k=n，即L必是G的一条哈密顿道路。 由此可以看到，本定理的证明方法是一种构造性证明方法。 v1 vk vi vi-1 vj * 计算机学院 */98 证明(续3) 这样，对a）和b），都可以构造一个包含L中的全部结点的一个圈C。 因为k＜n，所以V中还有一些结点不在C中，由G的连通性知，存在C外的结点u与C上结点vj相邻。显然，可以构造一条基本道路P′＝uvjvj+1…vi-1vkvk-1…viv1v2…vj-1。P′比P长，与L的最长性相矛盾。 所以，必然k=n，即L必是G的一条哈密顿道路。 由此可以看到，本定理的证明方法是一种构造性证明方法。 v1 vk vi vi-1 vj u * 计算机学院 */98 证明(续3) 这样，对a）和b），都可以构造一个包含L中的全部结点的一个圈C。 因为k＜n，所以V中还有一些结点不在C中，由G的连通性知，存在C外的结点u与C上结点vj相邻。显然，可以构造一条基本道路P′＝uvjvj+1…vi-1vkvk-1…viv1v2…vj-1。P′比P长，与L的最长性相矛盾。 所以，必然k=n，即L必是G的一条哈密顿道路。 由此可以看到，本定理的证明方法是一种构造性证明方法。 v1 vk vi vi-1 vj u * 计算机学院 */98 证明(续3) 这样，对a）和b），都可以构造一个包含L中的全部结点的一个圈C。 因为k＜n，所以V中还有一些结点不在C中，由G的连通性知，存在C外的结点u与C上结点vj相邻。显然，可以构造一条基本道路P′＝uvjvj+1…vi-1vkvk-1…viv1v2…vj-1。P