(图论课件有向图.pptVIP

* * 图论及其应用 应用数学学院 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 本次课主要内容 (一)、有向图的概念与性质 (二)、有向图的连通性 有向图 (三)、图的定向问题 (四)、有向路与有向圈 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1、概念 定义1 一个有向图D是指一个三元组(V(D) , E(D), фD)。其中，V(D)是非空的顶点集合，E(D)是不与V(D)相交的边集合，而фD是关联函数，它使D的每条边对应D的有序顶点对(不必相异)。 如果e是D的一条边，而u与v是使得фD(u,v)=e的顶点，那么称e是由u连接到v，记为e=u, v。同时，称u为e的弧尾(起点), v为e的弧头(终点)。 (一)、有向图的概念与性质 注：有向图可以简单地理解为“边有方向的图”。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例如： 有向图D v4 v3 v2 v1 e2 e1 e4 e3 e6 e5 e7 v3与v2分别是e1 的起点与终点。 定义2 在一个有向图D中，具有相同起点和终点的边称为平行边。两点间平行边的条数称为该两点间的重数。 例如，在上图中，e6与e7是平行边。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义3 在一个有向图D中，如果没有有向环和平行边，则称该图为简单有向图。 定义4 设D是有向图，去掉D中边的方向后得到的无向图G，称为D的基础图。又若G是无向图，给G的每条边加上方向后得到的有向图D称为G的一个定向图。 e3 非简单有向图D v4 v3 v2 v1 e2 e1 e4 e6 e5 e7 简单有向图D v4 v3 v2 v1 e2 e1 e4 e6 e5 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义5 设D是有向图，v是D中顶点。以v为始点的边的条数称为点v的出度，以v为端点的一个自环算1度。点v的出度记为d+(v);以v为终点的边的条数称为点v的入度，以v为端点的一个自环算1度。点v的入度记为d-(v); 点v的出度与入度之和称为点v的度，记为d(v)。 有向图D v4 v3 v2 v1 e2 e1 e4 e6 e5 e7 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例1 一个简单图有多少个定向图？ 答：因为每条边有2种定向方式，所以共有2 m(G)种定向。 例2 求证：G存在一个定向图D，使得对 ，有 证明：不失一般性，设G是连通图。G中奇度顶点个数必然为偶数个，将偶数个奇数度顶点配对，然后在每一对配对顶点间连一条边得到欧拉图G1。在G1中用Fluery算法求出G的一欧拉环游C,然后顺次地在C上标上方向，由此得到C的定向图C1。 在C1中，去掉添加的边后，得到G的定向图D.显然： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 对 ，有 2、性质