《离散数学教学资料》欧拉图和哈密顿图.pptVIP

总结 欧拉图路、欧拉回路、半欧拉图、欧拉图 （半）欧拉图的判定：有向图，无向图 哈密顿路，哈密顿回路，半哈密顿图，哈密顿图 （半）哈密顿图的必要条件、充分条件 * * * * * * * * * * * * * * * * * * * * * * * 第四节 欧拉图与哈密顿图 哥尼斯堡七桥问题 (1736) 一位散步者能否从某一块陆地出发，不重复的走遍7座桥， 最后回到出发点？ 图论的创始人: 欧拉 萊昂哈德·欧拉 -（Leonhard Euler，1707－1783）瑞士数学家、物理学家 欧拉一生中共写下了886本书籍和论文（七十余卷，牛顿全集八卷，高斯全集十二卷），其中分析、代数、数论占40%，几何占18%，物理和力学占28%，天文学占11%，弹道学、航海学、建筑学等占3% ... 今天，几乎每一个数学领域都可以看到欧拉的名字，被称为“分析学的化身” 不重复的经过每座桥，回到起点 不重复的经过每条边，回到起点 ? 欧拉（回）路-无向图 P301-定义7-4.1 欧拉路： 通过图中所有边一次且仅一次的迹 欧拉回路： 通过图中所有边一次且仅一次的闭迹 半欧拉图： 具有欧拉路而无欧拉回路的图，为半欧拉图 欧拉图： 具有欧拉回路的图，为欧拉图 只有一个顶点的图（平凡图）为欧拉图 欧拉（回）路-有向图 P301-定义7-4.2 单向欧拉路： 通过图中所有边一次且仅一次的单向迹 单向欧拉回路： 通过图中所有边一次且仅一次的单向闭迹 半欧拉图： 具有欧拉路而无欧拉回路的图，为半欧拉图 欧拉图： 具有欧拉回路的图，为欧拉图 只有一个顶点的图（平凡图）为欧拉图 欧拉图 – 无向 半欧拉图： 具有欧拉路而无欧拉回路的图，为半欧拉图 欧拉图： 具有欧拉回路的图，为欧拉图 欧拉图 半欧拉图 欧拉图 – 有向 半欧拉图： 具有欧拉路而无欧拉回路的图，为半欧拉图 欧拉图： 具有欧拉回路的图，为欧拉图 欧拉图 半欧拉图 欧拉图 判断一下以上图，是否是欧拉图，半欧拉图或非欧拉图？ 欧拉图的判定 P302 – 定理7-4.1 无向欧拉图的判定： 判定一： 所有顶点的度数都是偶数 必要性：设欧拉路的点边序列为 v0 e1 v1 e2 v2 e3 v3 e4 v4 … en vn 其中，点可以重复，边不重复，且包含了图中所有边。 对于任意一个不是起点和终点的结点，每出现一次，与两条边关联，故它的总度数必为偶数。 对于起点和终点，若是回路，一出一进，则度数也为偶数。 欧拉图的判定 P302 – 定理7-4.1 无向欧拉图的判定： 判定一： 所有顶点的度数都是偶数 充分性： 欧拉图的判定 P132 – 定理8.1 无向欧拉图的判定： 判定二（判定一的延伸）： G由若干个不重边的圈组成 欧拉图的判定 P302 – 定理7-4.2 有向欧拉图的判定： 所有顶点的度数都是偶数，且出度等于入度 必要性：有进就要有出。 充分性：可以形成若干不重边的圈 欧拉图的判定 P302 – 定理7-4.2 半欧拉图的判定： 无向半欧拉图：有且仅有两个奇度结点。 有向半欧拉图：有且仅有两个奇度结点，且这两个结点一个出度大1，一个入度大1，其他结点出度等于入度。 哈密顿图 类似于确定图中是否存在欧拉（闭）迹的问题，哈密顿（W.Hamilton）于 1859年提出确定一个图中是否存在哈密顿（回）路的问题。 哈密顿（回）路： 图G中一条包含了所有顶点的路称为哈密顿路，如果该路是一条回路，则称为哈密顿回路。 正12面体-“环游世界” 平面展开 - 哈密顿路 哈密顿图 P306-定义7-4.3 哈密尔顿路: 一条经过图G中的每一个结点恰好一次的路 ?半哈密尔顿图：具有哈密尔顿路的图 哈密尔顿回路: 一条经过图G中的每一个结点恰好一次的回路 ?哈密尔顿图：具有哈密尔顿回路的图 哈密顿图的判定 目前上没有一条能够判定哈密顿图的简明充要条件。 哈密顿图的必要条件： 若图G=(V，E) 具有哈密尔顿回路，则对于结点集V的每一个非空子集S均有 p(G－S)≤|S|成立。其中p(G－S)是G－S中连通分支数。 ——哈密尔顿图的必要条件 ——逆否命题是判定非哈密尔顿图的充分条件 P306-定理7-4.3 哈密顿图的判定 目前上没有一条能够判定哈密顿图的简明充要条件。 哈密顿图的必要条件： 若图G=(V，E) 具有哈密尔顿回路，则对于结点集V的每一个非空子集S均有 p(G－S)≤|S|成立。其中p(G－S)是G－S中连通分支数。 推论：半哈密顿图的必要条件 若图G=(V，E) 具有哈密尔顿通路，则对于结点集V的每一个非