第十三章欧拉图.docVIP

第十三章 欧拉图与哈密顿图 欧拉图产生的背景就是前面介绍的 七桥问题。1736年，瑞士数学家欧拉 发表了图论的第一篇著名论文“哥尼斯堡七桥问题”。欧拉在这篇论文中提出了一条简单准则，确定七桥问题是不能解的。下面给出有关定义及定理。 定义2－1.1 设 是无向连通图或有向弱连通图。通过G的每条边一次且仅一次的路径(循环)称为G的欧拉路径(循环)。具有欧拉循环的图称为欧拉图(规定平凡图是欧拉图)。 例2－1.1 图2－1.1 ， 有欧拉路径， ， 无欧拉路径和欧拉循环， ， 是欧拉图。 如何判断一个无向连通图或有向弱连通图是否为欧拉图？是否有欧拉路径？ 定理2－1.1 设 是无向连通图，则 当且仅当G的每个顶点都是偶顶点时，G才是欧拉图。 当且仅当G除两个顶点是奇顶点外，其他顶点都是偶顶点时，G才有欧 拉路径。 证明 1)设 是欧拉图： 当 时，G只含一个顶点，这个顶点显然是偶顶点。 当 时，由所给条件知有G的欧拉循环 ，因为G的每条边在 中出现且仅出现一次，故 必通过G的每个顶点，且通过顶点时，此顶点的度就增加2，从而G的每个顶点都是偶顶点。 设G的每个顶点都是偶顶点： 当 时，G显然是欧拉图。 当 时，由所给条件，G中必有循环，故也必有基本循环 ，从G中去掉 各边后得生成子图 ， 中每个顶点仍为偶顶点