集合的运算-南京大学.pptVIP

欧拉图 离散数学─图论初步 南京大学计算机科学与技术系 内容提要 欧拉通路/回路 欧拉图的充要条件 半欧拉图的充要条件 构造欧拉回路的Fleury算法 随机欧拉图 K?nigsberg七桥问题 问题的抽象： 用顶点表示对象-“地块” 用边表示对象之间的关系-“有桥相连” 原问题等价于：“右边的图中是否存在包含每条边一次且恰好一次的回路？” C D A B A C B D “一笔划”问题 ？ 欧拉通路和欧拉回路 定义：包含图（无向图或有向图）中每条边的简单通路称为欧拉通路。 注意：欧拉通路是简单通路（边不重复），但顶点可重复 定义：包含图中每条边的简单回路称为欧拉回路。 如果图G中含欧拉回路，则G称为欧拉图。如果图G中有欧拉通路，但没有欧拉回路，则G称为半欧拉图。 //备注：通常假设G是连通的。 欧拉图中的顶点度数 连通图G是欧拉图 当且仅当 G中每个顶点的度数均为偶数。 证明： ?设C是G中的欧拉回路，则?v?VG, d(v)必等于v在C上出现数的2倍(起点与终点看成出现一次)。 ?可以证明： （1）G中所有的边可以分为若干条相互没有公共边的简单回路。 （2）这些回路可以串成一个欧拉回路。 全偶度图中的回路 若图G中任一顶点均为偶度点，则G中所有的边包含在若干条相互没有公共边的简单回路中。 证明：根据G的边数m进行归纳证明。 当m=1, G是环，结论成