离散数学课件-第5章-56.pptVIP

Chapter 5 graph theory 判别定理：无向图G是欧拉图当且仅当G是连通图，且G中没有奇度顶点。 (充要条件) 证明（反证法）： 设C=(e1=(v0,v1),e2=(v1,v2),…,em=(vm-1 ,v0))是图中最大的回路。 假设C不是Euler回路。则图G如下图所示： 欧拉回路求解方法 （Fleury‘s algorithm ）： (1)可从任一点出发去掉连接此点的一边。 (2)依序去掉相连的边但必须注意下列两条件： a、如果某边去掉后会导致某点无连通的边，则此顶点亦可去。 b、去某边后不能造成图形的不连通。 例: 求出下图的一条Euler回路。 解：首先看图中是否有Euler回路，即看每个顶点的度是否都是偶数。 d(V1)=2， d(V2)=4， d(V3)=2， d(V4)=4， d(V5)=4， d(V6)=4， d(V7)=2， d(V8)=2， d(V9)=4。 所以存在Euler回路。 可以任意一个顶点为起点，这里以v2为起点: 依序去掉相连的边但必须注意下列两条件： a、如果某边去掉后会导致某点无连通的边，则此顶点亦可去也。 b、去某边后不能造成图形的不连通。 依序