数据结构与算法--图的定义及存储结构

一、图的定义和术语

      1.图的定义

          图: G=(V,E)

               V: 顶点(数据元素)的有穷非空集合

               E: 边的有穷集合

           1) 无向图: 每条边都是无方向的

           2) 有向图: 每条边都是有方向的

           3) 完全图: 任意两个点都有一条边相连

           4) 稀疏图: 有很少边或弧的图(e<nlogn)

           5) 稠密图: 有较多边或弧的图

           6) 网: 边/弧带权的图

           7) 邻接: 有边/弧相连的两个顶点之间的关系(圆括号是无向图，尖括号是有向图)

                         存在(Vi,Vj),则称Vi和Vj互为邻接点

                         存在<Vi,Vj>,则称Vi邻接到Vi，Vj邻接于Vi

           8) 关联(依附): 边/弧与顶点之间的关系

                          存在(Vi,Vj)/<Vi,Vj>,则称该边/弧关联于Vi和Vj

           9) 顶点的度: 与该顶点相关联的边的数目，记为TD(v)

             在有向图中，顶点的度等于该顶点的入度与出度之和

                     顶点v的入度是以v为终点的有向边的条数，记作ID(v)

                     顶点v的出度是以v为始点的有向边的条数，记作OD(v)

           10) 当有向图中仅1个顶点的入度为0，其余顶点的入度均为1，此时是何形状?

                   答: 是树!而且是一棵有向树!

      2.图的相关概念

             1) 路径: 接续的边构成的顶点序列

             2) 路径长度: 路径上边或弧的数目/权值之和

             3) 回路(环): 第一个顶点和最后一个顶点相同的路径

             4) 简单路径: 除路径起点和终点可以相同外，其余顶点均不相同的路径

             5) 简单回路(简单环): 除路径起点和终点相同外，其余顶点均不相同的路径

             6) 连通图(强连通图): 在无(有)向图G={V,{E}}中，若对任何两个顶点v、u都存在从v、u的路径，则称G是连通图(强连通图)

             7) 权与网: 图中边或弧所具有的相关数称为权，表明从一个顶点到另一个顶点的距离或耗费

                               带权的图称为网

             8) 子图: 设有两个图G=(V,{E})、G1=(V1,{E1}),若则称G1是G的子图