图论02讲教程.pptVIP

§2 图的概念－7 15、定义： (1)对于无向图G=(V,E) Inc(vi) ≌{ek|ek=(vi,vj)∈ E} 表示以vi为顶点的边(即与vi相关联)的集合; Adj(vi) ≌ {ek|ek=(vi,vj)∈ E} 表示与vi相邻接的顶点集合。 §2 图的概念－8 (2)对于有向图G=(V,A) Inc+(vi) ≌{ek|ek= vi,vj∈ A} 表示以vi为始点边的集合； Inc- (vi) ≌{ek|ek= vi,vj ∈ A} 表示以vi为终点边的集合； Adj+(vi) ≌ {ek|ek= vi,vj ∈ A} 表示以vi为始点，与vi相邻接的顶点集合； Adj- (vi) ≌ {ek|ek= vi,vj ∈ A} 表示以vi为终点，与vi相邻接的顶点集合。 §2 图的概念－9 16、若G=(V,E)是无向图，而顶点vk是G的一个顶点，且不存在环，则d(vk) ≌|Inc(vk)|，称为顶点的度，即d(vk) 表示G图中以vk为端点的边数或与vk相关联的边数。 在有向图中， d(vk)+≌|Inc+(vk)|——出度 d(vk)-≌|Inc-(vk)|——入度 ＝＞ d(vk)= d(vk)+＋d(vk)- 无向图 有向图 简单地讲，度就是邻接点的个数 §2 图的概念－10 17、握手定理及推论： (1)对于无向图G=(V,E)，恒有∑d(vi)=2|E|； 即：“每个边都有两个头。” (2)对于有向图G=(V,A)，恒有∑d(vi)=2|A|， 且∑d (vi)+=∑d (vi)-=|A|。 (3)对于任意图G=(V,E)，必有偶数个度为奇数的顶点。 证明：把点集V分为度为偶数集Vo和度为奇数 集Vj，利用结论(1)或(2)容易得证。 §3 道路和回路 一、道路和回路 图G=(V,E)的一个顶点与边相交替的序列μ=v0e1v1…vk-1ekvk，且边ei的端点为vi-1和vi (i=1,2,…,k)，则称μ为一条道路(路径path)，又称为v0－vk道路。 v1 v2 v3 v4 v6 v5 v7 v8 e1 e2 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 μ={v1 e2 v3 e5 v4}是一条道路 一、道路和回路-1 若图G中的μ所有边均不相同——简单道路； 若道路μ中v0=vk(即首尾相同)——回路； 若回路μ中没有重复边——简单回路。 v1 v2 v3 v4 v6 v5 v7 v8 e1 e2 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 C= v5 e8 v7 e12 v8 e10 v6 e7 v5是一回路 一、道路和回路－1 对图G=(V,E) 而言，若两顶点vi,vj 间存在路径，则称vi,vj 相连通； (1)无向图G中,若任意两点都连通，则称G为连通图(connected graph) ，否则为非连通图； 非连通图可分解为若干个连通子图(连通分量); 每个连通分量均为极大连通子图。 连通图 非连通图 一、道路和回路－2 (2)在有向图G中，若去掉方向后是连通的，则称为连通的有向图； 若有向图中，任意两顶点可以互相到达，则称为强连通有向图； 连通有向图 二、欧拉（Euler）回路 定义：对于连通的无向图G，若存在一简单回路，它通过G的所有边，则这回路称为G的Euler回路； 若图G中存在Euler回路，则称G为Euler图； 在图G中，若存在包含所有边的简单路径，则称这条路径为Euler道路(Euler tour)。 二、欧拉（Euler）回路－1 判别定理：无向图G是欧拉图当且仅当G是连通图，且G中没有奇度顶点。 (充要条件) 证明（反证法）： 设C=(e1=(v0,v1),e2=(v1,v2),…,em=(vm-1 ,v0))是图中最大的回路。 假设C不是Euler回路。则图G如下图所示： C C 或 二、欧拉（Euler）回路－2 ∵ 图是连通的，则顶点不可能出现下面的情况： C ∵图中任意结点的度均为偶数，∴有如下所示： C 与假设矛盾， ∴C是Euler回路。 C 二、欧拉（Euler）回路－3 推论：如果连通图G只有两个度为奇数的顶点，则存在以这两个顶点为两端点，且包含G所有边的Euler道路。 补充：连通有向图存在Euler回路的充要条件是：每个顶点的入度＝出度。 Frank Ramsey 生平简介 弗兰克·拉姆赛(Frank Ra