5欧拉图与汉作密尔顿图.pptVIP

* 欧拉图的几点说明 规定平凡图为欧拉图. 欧拉通路是生成的简单通路，欧拉回路是生成的 简单回路. 环不影响图的欧拉性. * * 定理15.1 无向图G是欧拉图当且仅当G连通且无奇度数顶 证 若G为平凡图无问题. 下设G为n阶m条边的无向图 必要性 设C为G中一条欧拉回路. （1）G连通显然. （2）?vi?V(G)，vi在C上每出现一次获2度，所以vi为偶度顶点. 由vi的任意性，结论为真. 无向欧拉图的判别法 * 无向欧拉图的判别法 充分性.由于G为非平凡的连通图可知, G中边数m≥1. 对m作归纳法. (1)m＝1时,由G的连通性及无奇度顶点可知,G只能是 一个环,因而G为欧拉图. (2)设m≤k(k≥1)时结论成立,要证明m＝k+1时,结论也 成立. G的连通性及无奇度顶点可知,δ(G)≥2. 无论G是否为简单图,都可以用扩大路径法证明G中 必含圈. * 设C为G中一个圈，删除C上的全部边，得G的生成子图G ?,设G ?有s个连通分支G ?1,G ?2,…,G ?s,每个连通分支至多有k条且无奇度顶点,并且设G ?i与C的公共顶点为v*ji, i＝1,2,…,s,由归纳假设可知,G ?1,G ?2,…,G ?s都是欧拉图，因而都存在欧拉回路C ?i，i＝1,2,…,s。最后将C还原（即将删除的边重新加上），并