4.3-有向图Euler路_ou.pptVIP

§4.3 有向图 Euler路 §4.3.1 有向图与有向树 定义4.3.1 G=(P, A)称为有向图，如果P是点集合，A是从一点引到一点(不要求一定是另一点)的弧集合。 当P为有限集时，G称为有限有向图. 若e是一条从点v到点v’的弧，则 称v为e的起点，记为v=init(e)； v’为e的终点，记为v’=fin(e). 起点和终点都是点v的弧称为反身弧。 Note: 图与有向图是并列的，并非有向图是图的一种。 图与有向图的区别 1 图中连接两点的是边，uv和vu是一回事。 有向图中，连接两点的是有向弧，从u到v的弧与从v到u的弧是不同的。 2 图中不允许有平行边。 有向图中不同点间的弧可有多条甚至无穷多条。 3 图中不允许有反身边。 有向图中允许有反身弧，可有多条甚至无穷多条。 4 有限图中边数有限。 有限有向图中弧数未必有限，可以有无穷多条。 例：有限有向图 定义：出度、入度、度 有向图中点v的输出次数(出度)是集合{e|init(e)=v}的元数； 点v的输入次数(入度)是集合{e | fin(e)=v}的元数； 点v的度等于点v的输入次数加输出次数. 今后，为简便计，有时也将有向图G中的点v、弧e，写成v?G，e?G。 定义4.3.2 设G，H是有向图。如果P(H) ?P(G)，A(H)?A(G)，则称H为G的有向子图(简称子图)。G是H的母图。 如果H是G的子图，并且P(H)=P(G)，则称H是G的支撑子图。 定义4.3.3 有向路 设G=(P, A)是有向图，弧序列(e1, …,en)称为G的从v到v’其长度为n的有向路，如果 1）ei?A(G), i=1, … ,n 2）v=init(e1), v’=fin(en) 3）fin(ek)=init(ek+1), 1?k?n-1 在不引起混淆的情况下，有时也将有向路(e1, … , en)写成(v1, … , vn, vn+1)，其中 vi=init(ei) (i=1, … , n)，vn+1=fin(en)。 定义4.3.4 简单(有向)路 有向图的有向路(e1,…,en)称为简单的，如果1）init(e1), … , init(en)互不相同，2）fin(e1), … , fin(en)互不相同。 即, n条弧的起点互不相同; n条弧的终点也互不相同。 定义4.3.5 有向回路 设G=(P, A)是有向图，v?P(G)，从点v到自身的简单有向路(长度可以为1或2)称为有向回路。 Note: 1 有向回路长度可以是1，2。 （允许反身弧、平行弧） 2 路是有向的，因此，有v到v’的路，未必就有v’到v的路。 3 顶点间有弧相连，却未必有路。 例： (e2),(e3, e4, e2),(e3, e5, e6, e10, e2),(e3, e5, e6, e7, e1)是从C到B的4条有向路。 这4条有向路中第一条，第四条是简单的； 定义: 强连通、根 定义4.3.6 设G=(P，A)是有向图，对G中任意两点v，v’ (v?v’)，如果都有从v到v’的有向路，则称G是强连通的。 定义4.3.7 设G=(P，A)是有向图，r?P(G)。称r为G的根，如果对G中任一点v (v?r)，都有从v到r的有向路。 Note： 1 强连通图的每一点都是根。 2 每一点都是根的有向图也必是强连通的。 3 有根未必强连通。 Note: 1 若有向图G有根，则漠视图G0必连通。 2 若有向图G是强连通的，则G必有根，漠视图G0必连通。 3 若漠视图G0连通，则 G不一定有根，当然更未必强连通； 即使有根，也未必强连通。 称有向图G是(弱)连通的，如果G的漠视图G0是连通的。 例： 例： 例： 定义4.3.8 有向图G称为有向树（或有根树），如果G中有一点r，并且满足：(1) G中每一点v(v?r)都恰是一条弧e的起点;(2) r不是任一条弧的起点; (3) r是根。 有向树和非有向树的例子： 有向树和非有向树的例子： 有向树和非有向树的例子： 有向树的性质 从有向树的定义中我们可推出有向树有如下性质： 1) 每一点v(v?r)到r恰有一条有向路； 2) 没有有向回路； 3) 两点间最多有一条弧。 有向树 性质 1) 有向树中每一点v(v?r)到r恰有一条有向路。 证明：因为r是根，则有向树中每一点v(v?r)到r都存在有向路，只需要证明有向路的唯一性; 反证，假设从有向树中一点v0(v0?r)有两条有向路，设为： (v0, v1, v2, …, vm, r)和(v0, v1’, v2