刘杰《离散数学1》精品教学4.3-有向图 Euler路-new.pptVIP

* * 有向图G，命G’是G中由顶点v0,v1,v2和e01,e21组成的有向支撑树(根r=v1)。从弧e12出发，可按定理4.3.4的形成规则得出Euler路。 * 本章前述的许多概念和结论可以推广到这种无向图，如无向图回路的定义中应去掉长度?3的限制。这里不再做详细的讨论。 * 我们现在回到Konigsberg城七桥问题。Konigsberg城七桥问题简化、抽象为图4.0.1(b)，这个图形不是我们定义的图和有向图。当然可以对其点间连线加上方向使其成为有向图，但图4.0.1(b)是不可能赋于诸线以方向使成为Euler图的，因为其中有些点所触及的线是奇数条（图中A、B、C、D所触及的线分别是5，3，3，3条，竟全是奇数），所以Konigsberg城七桥问题无解，Euler回答了这个问题，Euler路和Euler图因此而得名。 提示：根据对定理4.3.2的证明，可以看到，只在证明G中所有的弧e都在L中时，才用到了“G是强连通的”。 从而，采用与定理4.3.2相同的证明方法，可以证明： fin (em)= init(e1)；对G中任意一点v，如果v在L中，则v发出的k条弧和发到v的k条弧都在L中。 这样，只需要证明任意e∈G，都有e∈L(G的每条弧在L中出现) 。 任取e?G。 对L中任意一点u，在G的漠视图G0中存在u到init(e)的一条简单路，设为(u, u1, u2, …, uk, init(e))，因为u 取自L，则u发出的所有弧和发到u的所有弧都在L中，从而无论G中是u指向u1，还是u1指向u,都有u1 ∈L , 依此类推, 有init(e) ∈L ,从而e∈L . …… L u init(e) e u1 u2 uk … fin(e) 三、Euler路与有向树的相互转化 定理4.3.3 设G是无孤立点的有限有向图，并且G有一条Euler路(e1 , … , em)。 （1）令r=fin(em)=init(e1)。 （2）对每个点v?r，令e[v]=ei，其中 i=max{j | init(ej)=v}。 于是，G的全部点和全部弧{e[v] | v?r}作成的有向图G’，是一个以r为根的有向树。 v0 v1 v2 e6 e8 e5 e1 e2 e9 e4 e3 e7 v0 v1 v2 e8 e9 证明： 由e[v]的定义知：(1) 对G中每个点v?r，恰有一弧e[v]发出， (2) r不发出任何弧。 下面我们证明：(3) r是根。 先证：有向图G’中无有向回路。 若不然，设有一个有向回路 (…,e[v],e[v’],…)。其中fin(e[v])=init(e[v’])=v’。令(在Euler路中的编号)e[v]=ej，e[v’]=ek。因为弧ej发到点v’。从而Euler路中的ej+1是由v’发出的弧，但ek是由v’发出的弧中下标最大者，所以j+1≤k，则jk。 证明： … v v’ e[v]=ej e[v’]=ek ej+1 证明： 而此有向回路又可写成： （e[v’], …, e[v]） 与上面同样的推理，可得：k?j 。矛盾。 … v v’ e[v]=ej e[v’]=ek 证明： 再证：对G中任一点v，在G’中，有一条从v到r的有向路。 在G’中，从v出发可以这样走下去： v ? fin(e[v]) ? fin(e([fin(e[v])])) ? … 显然，此有向路上的点没有重复(否则，将出现有向回路)，由于G’有限，故最后必然停止在不发出弧的点r上，故r是根。综上， G’是一个有向树。 …… v fin(e[v]) fin(e[fin(e[v])]) r 三、Euler路与有向树的相互转化 T. Van Ardenne EhrenfestN.G. de Bruijin,1951 定理4.3.4 设G是有限平衡有向图，G’是G的有向支撑树，设G’的根为r，G’中点v(?r)发出的弧为e[v]。设e1是r在G中发出的任一条弧，对从e1开始的任一条有向路： L=(e1, e2, … , em) 若满足： (1)ej ? ek，当j?k时。 (2)ej =e[v]当且仅当init(ej)=v并且G中由v发出的弧 都出现在(e1, … , ej)中。 (3)L终止在em当且仅当G中从em的终点发出的弧 都已经在L中出现。 则有向路L是一条Euler路。 例 v0 v1 v2 e10 e’12 e21 e00 e01 e20 e22 e12 e’01 (e12,e20,e00,e01’,e10,e01,e12’,e22,e21) (e12,e20,e00,e01’,e12’,e22,e21,e10,e01) (e12,e20,e