第5章图的基本概念精品.pptVIP

定义5.12 在一个无向图G中，若从顶点vi到vj存在通路(当然从vj到vi也存在通路),则称vi与vj是连通的。规定vi到自身总是连通的。 在一个有向图D中，若从顶点vi到vj存在通路，则称vi可达vj。规定vi到自身总是可达的。 设vj,vi为无向图G中任意两点,若vj与vi是连通的,则称vj与vi之间长度最短的通路为vj与vi之间的短程线,并称为vj与vi之间的距离,记作dvj,vi,当vj不可达vi时,规定dvj,vi=∞ 连通的定义： 距离有以下性质： 1. dvj,vi≥0， vj=vi时，等号成立。 2. 在无向图中还有对称性: d(vj,vi)=d(vj,vi) 3. 满足三角不等式：dvj,vi+dvj,vk≥dvi,vk v3 。 。 。 。 。 v1 e4 v2 v4 v5 e1 e3 e5 e6 e7 v3 。 。 。 。 。 v1 v2 v4 v5 e1 e3 e5 e6 连通图 分离图 定义5.14 若无向图G是平凡图或G中任何两个顶点都是连通的，则称G为连通图，否则称G为非连通图或分离图。 显然，一个图G是连通的，当且仅当G中任意两点都是相连的。 v3 。 。 。 。 。 v1 e