离散数学图论基础知识.ppt

例 利用可达性矩阵求右图的 所有强连通分支。 解 该图的邻接矩阵为 A(4)＝A(2)，A(5)＝A(3) 例 (续) 这说明，v1在一个强连通分支中，v2在一个 强连通分支中，v3,v4和v5在一个强连通分支中， 因此该图的所有强连通分支分别为结点子集{v1}， {v2}，{v3,v4,v5}导出的子图。 * 回顾命题演算的永真公式和几条规则 * 图的操作 定义 设图G＝V,E。 设e∈E，用G-e表示从G中去掉边e得到的图，称为删除e。又设E?E，用G-E?表示从G中删除E?中所有边得到的图，称为删除E?。 设v∈V，用G-v表示从G中去掉结点v及v关联的所有边得到的图，称为删除结点v。又设V?V，用G-V? 表示从G中删除V?中所有结点及关联的所有边得到的图，称为删除V?。 设e＝(u,v)∈E，用G\e表示从G中删除e，将e的两个端点u,v用一个新的结点w代替，使w关联除e外的u和v关联的一切边，称为边e的收缩。一个图G可以收缩为图H，是指H可以从G经过若干次边的收缩而得到。 设u,v∈V（u,v可能相邻，也可能不相邻），用G∪(u,v)表示在u,v之间加一条边(u,v)，称为加新边。 路径与回路 图G＝V,E中结点和边相继交错出现的序列Γ=v0e1v1e2v2…ekvk，若Γ中边ei的两端点是vi-1和vi（G是有向图时要求vi-1与vi分别是ei的始点和终点），则称Γ为结点v0到结点vk的路径。 v0和vk分别称为此路径的始点和终点，统称为路径的端点。 路径中边的数目k称为此路径的长度。 当v0＝vR时，此路径称为回路。 若路径中的所有边e1，e2，…，ek互不相同，则称此路径为简单路径或一条迹；若回路中的所有边e1，e2，…，ek互不相同，则称此回路为简单回路或一条闭迹； 若路径中的所有结点v0，v1，…，vk互不相同（从而所有边互不相同），则称此路径为基本路径或者初级路径、路径；若回路中除v0＝vk外的所有结点v0，v1，…，vk-1互不相同（从而所有边互不相同），则称此回路为基本回路或者初级回路、圈。 基本路径(或基本回路)一定是简单路径(或简单回路)，但反之则不一定。 简单路径与基本路径 注意： 在不会引起误解的情况下，一条路径v0e1v1e2v2…envn也可以用边的序列e1e2…en来表示，这种表示方法对于有向图来说较为方便。 在简单图中，一条路径v0e1v1e2v2…envn也可以用结点的序列v0v1v2…vn来表示。 在路径与回路的定义中，我们将回路定义为路径的特殊情况。因而，我们说某条路径，它可能是回路。但当我们说一基本路径时，一般是指它不是基本回路的情况。 在图G＝V，E中，对?vi，vj?V，如果从 短程线、距离 vi到vj存在路径，则称长度最短的路径为从vi到vj的短程线，从vi到vj的短程线的长度称为从vi到vj的距离，记为d(vi,vj)。 d(vi，vj)满足下列性质： d(vi,vj)≥0； d(vi,vi)＝0； d(vi,vk)+d(vk，vj)≥d(vi，vj)；(三角不等式) d(vi,vj)＝? (当vi到vj不存在路径时)。 在(a)中有： d(v2,v1)＝1， d(v3,v1)＝2， d(v1,v4)＝3， d(v1,v2)＝2， d(v1,v3)＝4， d(v4,v1)＝3； 在(b)中有： d(v1,v3)＝2， d(v3,v7)＝3， d(v1,v7)＝4。 短程线、距离 可达 定义设u,v为图G＝V,E中的两个结点，若存在从结点u到结点v的路径，则称从结点u到结点v是可达的，记为u→v。对任意结点u，规定u→u。 定理　无向图中结点之间的连通关系是等价关系。 证明 1）自反性：…… 2）对称性：…… 3）传递性：…… 由1）、2）、3）知，结点之间的连通关系是等价关系。 　　有向图结点之间的可达关系具有自反性和传递性，但一般说来，可达关系没有对称性。例如右图中v3到v2可达，但v2到v3不可达。因此，可达关系不是等价关系。 可达 定义　若无向图G＝V，E中任意两个结点都是连通的，则称G是连通图，否则则称G是非连通图(或分离图)。 无向完全图Kn（n≥1）都是连通图，而多于一个结点的零图都是非连通图。 定义　无向图G中的每个连通的划分块称为G的一个连通分支，用p(G)表示G中的连通分支个数。 无向图G＝V，E是连通图当且仅当p(G)＝1。 无向图的连通图 有向图的连通性 定义 设G＝V,E是一个有向图，略去G中所有有向边的方向得无向图G，如果无向图G是连通图，则称有向图G是连通图或称为弱连通图。否则称G是非连通图。 G1、G2、G3是连通的有向图 G4是非连通的有向图 定义 设有向图G＝V,E是连通图， 若G中任