[工学]第七章图论.ppt

第七章 图 论 定理3 ： 7.4 欧拉图与汉密尔顿图 若图G=V，E具有汉密尔顿回路，则对于结点集V的每个非空子集S均有W（G-S）≤|S|成立。（W（G-S）为G-S中连通分支数） 第七章 图 论 定理4 ： 7.4 欧拉图与汉密尔顿图 设G具有n个结点的简单图,如果G中每一对结点度数之和大于等于n-1,则在G中存在一条汉密尔顿路。 证明 1)首先证明G是连通的。否则, G至少有两个连通分支, 设G1, G2是顶点数分别为n1, n2 (n1≥1, n2≥1)的连通分支, 设 v1 ?V(G1), v2 ?V(G2), 由于G是简单图, 所以 dG(v1) + dG(v2) = /*不连通 dG1(v1) + dG2(v2) ≤ n1–1 + n2–1 = n1 + n2 – 2 n – 1 这与定理中的条件是矛盾, 所以G是连通的。 2) 下面证明G中存在哈密顿通路。 第七章 图 论 7.4 欧拉图与汉密尔顿图 设 ? = v1v2…vl 为G中用扩大路径法得到的极大路径, 即?中的始点v1和终点vl不与?外的任何顶点相邻, 显然, l ≤ n。 (1) 若 l = n, 则?为G中经过所有顶点的路径, 即为哈密顿通路。 (2) 若 l n, 说明G中还有在?外的顶点, 但此时可以证明存在经过?上所有顶点的圈, 证明如下： ① 若在?上v1与vl 相邻, 则v1v2…vl v1为过?上所有顶点的圈。 ② 若在?上v1 与vl 不相邻, 用每对结点度数≥n-1来寻找圈。在?上, 设v1与vi1 = v2,vi2, …,vik 相邻 (k必大于等于2, 否则, d(v1) + d(vl)≤1 + l–2 = l –1 n – 1)。 第七章 图 论 此时, vl 必与vi2 , vi3 , …, vik 相邻的顶点vi2 – 1, vi3 – 1, vik– 1至少之一相邻, (否则, d (v1) + d(vl) ≤ k + l –2 – (k–1) = l –1 n – 1) 设vl 与vir – 1 (2≤r≤k)相邻, 见上图所示。 删除边(vir – 1, vir), 得回路 C = v1vi1…vir–1vlvl-1…vik... virv1 。 (3) 证明存在比?更长的路径。 因为 l n, 所以V(G) –V(C) ? ?, 即C外还有G中顶点 v1 … vl vir–1 vir vl–1 vi1 第七章 图 论 由于G的连通性, 所以存在C外的顶点与C上的顶点相邻, 不妨设vl+1?V(G) –V(C)且vl+1与C上顶点vt相邻, 见图8.10(b)所示。删除边(vt?1, vt), 得路径 vt?1…v1vir…vlvir?1… vtvl+1, 记为?’。 显然?’上有 l + 1个顶点, 且?’比?长1。 对此路径上的顶点重新排序, 记为 ?’ = v1 v2 … vl vl+1 对 ?’重复(1)~(3), 得G中哈密顿通路或比?’更长的路径。由于G为有限图, 在有限步内一定得G中哈密顿通路。 ▎ … v1 vl vir?1 vir vt?1 vt vl+1 第七章 图 论 7.4 欧拉图与汉密尔顿图 第七章 图 论 7.4 欧拉图与汉密尔顿图 第七章 图 论 定理5 ： 7.4 欧拉图与汉密尔顿图 设G具有n个结点的简单图,如果G中每一对结点度数之和大于等于n,则在G中存在一条汉密尔顿回路。 证明 由定理4知G是连通的且G中存在哈密顿通路, 设 ? = vi1vi2…vin为G中一条哈密顿通路。 若vi1与vin相邻, 则C = vi1vi2…vinvi1为G中哈密顿回路. 否则, 利用(**)同定理8.7的证明类似, 存在过vi1vi2…vin的圈, 此圈为G中的哈密顿回路。 ▎ 第七章 图 论 定义4 ： 7.4 欧拉图与汉密尔顿图 给定图G=V，E有n个结点，若将图G中度数之和至少是n的非邻接结点连接起来得图G’，对图G’重复上述步骤，直到不再有这样的结点对存在为止，所得到的图，称为是原图G的闭包，记作：C(G) 。 第七章 图 论 定理6 ： 7.4 欧拉图与汉密尔顿图 当且仅当一个简单图的闭包是汉密尔顿图时，这个简单图是汉密尔顿图。 第七章 图 论 例 某次国际会议8人参加，他们来自不同的国家,已知他们中任何两个无共同语言的人中每个人与其余有共同语言的人数之和大于或等于8，问能否将他们安排在同一张圆桌