图的定义和术语
在图中的数据元素通常称做顶点,设V是顶点的有穷非空集合,VR是顶点两点之间关系的集合。
若<v,w>∈VR,则<v,w>表示从顶点V到顶点W的一条弧,且称v为弧头,w为弧尾,此时的图称
为有向图。
若<v,w>∈VR必有<w,v>∈VR,则用(v,m)来代替,表示v和m之间的一条边。此时的图称为无向图
说人话:全为双向的是无向图,有一个单向的是有向图
用n表示图中的顶点数,用e表示边或弧的数目。
对于无向图,e的取值范围是*0≤e≤1/2 * n (n-1) , 有1/2 * n *(n-1)条边的无向图称为完全图。
对于有向图,e的取值范围是0≤e≤n*(n-1),有n*(n-1)条边的有向图称为有向完全图。
又很少条边或弧的图称为稀疏图,反之称为稠密图。
有时图的边或弧具有与它相关的数,这种数称为权可以表示一个顶点到另一个顶点的距离或耗费,
带权的图称为网
顶点v的度是和v相关联的顶点的数目,对有向图来说,还分为入度和出度
无向图中,从顶点v到顶点v‘的路径是一个顶点序列。
有向图中,路径也是有向的。
路径长度是经过边或弧的数目。
第一个顶点和最后一个顶点相同的路径称为环或回路。
序列中顶点不重复出现的路径称为简单路径。
无向图中,如果v到v’有路径则称v和v‘是连通的。任意两个顶点都连通的图叫连通图。G是非连通图,但G中可连通的部分,叫做连通分量。
有向图中,任意v到v’和v’到v都连通,称为强连通图,极大强连通图的子图强连通分量
一个连通图的生成树是一个极小连通图。因为它只有n个顶点和n-1条边。
如果一个图有n个顶点和小于n-1条边那么它一定是非连通图。
如果一个图有n个顶点和大于n-1条边那么它一定有环。
但n-1条边不一定都是生成树。
如果一个有向图恰有一个顶点入度为0,其他顶点入度都为1,则称这是一颗有向树
一个有向图的生成森林由若干棵有向树构成,含有图中全部顶点,但只有足以构成若干棵不想交的有向树的弧。
返回目录