图的定义和术语

图的定义和术语

在图中的数据元素通常称做顶点，设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，则称这是一颗有向树

一个有向图的生成森林由若干棵有向树构成，含有图中全部顶点，但只有足以构成若干棵不想交的有向树的弧。
返回目录