图的逻辑结构

（图片来自懒猫老师《数据结构》相关课程笔记）

1.图的定义

（1）图是由顶点的有穷非空集合和顶点之间边的集合，在图中，顶点个数不能为零，但可以没有边

（2）有方向或箭头的边称为有向边，没有箭头的边称为无向边；图任意两顶点间都为有向边的图称为有向图，任意两顶点间都为无向边的图称为无向图

2.图的基本术语

（1）在图中，边连接的两个顶点，互为邻接点；称该边依附于这两个顶点

（2）无向完全图：在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。
有向完全图：在有向图中，如果任意两个顶点之间都存在方向相反的两条弧，则称该图为有向完全图

（3）

顶点的度：在无向图中，顶点v的度是指依附于该顶点的边数，通常记为TD (v)
顶点的入度：在有向图中，顶点v的入度是指以该顶点为弧头的弧的数目，记为ID (v)
顶点的出度：在有向图中，顶点v的出度是指以该顶点为弧尾的弧的数目，记为OD (v)

无向图中，各顶点的度之和为边数之和的2倍；有向图中，各顶点的出度之和=入度之和=边和

（4）

权：对边赋予的有意义的数量值，可以理解成从一个顶点到另一个顶点需要付出的的代价    

网：边上带权的图，即网图

（5）路径长度： 

       带权图：路径上各边的权之和

       非带权图：路径上边的个数                                                             

（6）

连通图：在无向图中，任意两个顶点之间都有路径                                                               

连通分量：在无向非连通图的极大连通子图（例如下图）；对于有向图来说就是强连通图和强连通分量

（7）

生成树：包含原连通图全部顶点的一个极小连通子图                                                           

生成森林：在非连通图中，由每个连通分量都可以得到一棵生成树，这些连通分量的生成树就组成了一个非连通图的生成森林