数据结构（十八）图的定义

图的定义

图：由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为：G(V,E),其中，G表示一个图，V是图G中顶点的集合，E是图G中边的集合。

 

图中数据元素，称为顶点

图中，任意两个顶点之间都有可能有关系，顶点之间的逻辑关系用边来表示。

 

无向边用（）表示  无向完全边 有n * (n - 1) / 2条边

有向边用 <> 表示  有向完全边 有 n * (n - 1)条边

 

简单图：同一条边不重复出现

 

图的顶点与边之间的关系

无向图：顶点V的度：和V相关联的边的数目

有向图：顶点V的入度ID：以顶点V为头的弧的数目

       顶点V的出度OD：以顶点V为尾的弧的数目

       TD = ID + OD(V)

路径的长度：路径上的边或弧的数目

回路或环：第一个顶点到最后一个顶点相同的路径

    简单路径：顶点不重复出现的路径

 

连通图

无向图中的极大连通子图称为连通分量

有向图中的极大强连通子图称作有向图的强连通分量

 

连通图的生成树是一个极小的连通子图，它含有图中全部的n个顶点，但只有足以构成一棵树的n – 1条边

一个有向图的生成树林由若干棵有向数组成，含有图中全部顶点，但只有足以构成若干棵不相交的有向树的弧

 

图按照有无方向分为无向图和有向图。无向图由顶点和边构成，有向图由顶点和弧构成。弧由弧尾和弧头之分。

图按照边或弧的多少分为稀疏图和稠密图。如果任意两个顶点之间都存在边叫完全图，有向的叫有向完全图。若无重复的边或顶点到自身的边则叫简单图。

图中顶点之间有邻接点，依附的概念。无向图顶点的边数叫做度，有向图顶点分为入度和出度。

图上的边或弧上带权则成为网。

图中顶点间存在路径，两顶点存在路径则说明是连通的，如果路径最终回到起始点则称为环，当中不重复叫简单路径。若任意两顶点都是连通的 ，则图就是连通图，有向则称为强连通图。图中有子图，若子图极大连通则就是连通分量，有向则称为强连通分量。

无向图连通且n个顶点n – 1条边叫生成树。有向树中一顶点入度为0其余顶点入度为1的叫有向树。一个有向树由若干棵有向树构成生成森林。