数据结构-图

一、图的基本概念

        一）基本性质

                1、线性表可以为空表，树可以是空树，但图不可以是空图，即图中不能一个顶点也没有，途中的顶点集V（Vertex）一定非空，但边集E（Edge）可以为空

                2、顶点集V和边集E中的元素数量必须是有限的

                3、任意一条边的两边必须连接着两个顶点

        二）有向图

                1、E是有向边的有限集合，称该图为有向图，这种有向的边也称为弧

                2、弧是顶点的有序对，记为<v，w>

                3、弧<v，w>的v称为弧尾，w称为弧头，<v，w>称为从v到w的弧，也称为v邻接到w

        三）无向图

                1、E是无向边的有限集合时，称该图为无向图

                2、无向图的任意两个结点互为邻接点，且<w，v>的两顶点可以互换

                3、无向图和有向图均只对边的相关性质做了限制

        四）简单图、多重图

                1、简单图即不存在重复边（平行边），且不存在顶点指向自身的边（自环）

                2、若图不满足简单图的定义，则其可能为多重图和伪图

                3、多重图指即含有平行边的图，伪图指含有平行边或自环的图

                4、这里提供另一种解释，伪图和多重图不做区分，且多重图的定义和简单图相对，不是简单图就是多重图（我们只研究简单图，故这里不做深入探讨）

        五）完全图

                1、对于无向图，其|E|在0到C-n^2之间，当|E|取最大值时，即每个顶点间都存在一条边，此时该图被称为完全图

                2、对于有向图，其|E|在0到2*C-n^2之间，当|E|取最大值时，即每个顶点间都存在两条方向相反的弧，此时该图被称为完全图

        六）子图

                1、若存在两个图G(V,E)和G'(V',E')，当V'是V的子集，E'是E的子集，则称G'是G的子图

                2、若G和G'的顶点相同，但边集不同，则称G'为G的生成子图

        七）连通、连通图、连通分量

                1、这些性质和概念仅存在于无向图中

                2、若顶点v和顶点w之间存在路径，则称这两个顶点是连通的

                3、若无向图中任意两个顶点都是连通的，则称该图为连通图，否则称为非连通图

                4、无向图的极大连通子图称为连通分量，极大要求该连通子图包含其所有的边

                5、一个图中的连通分量可能不止一个

                6、非连通图最多有C-2^n-1条边，即将n-1个顶点组成一个完全图

        八）强连通图、强连通分量

                1、这些性质和概念仅存在于有向图中

                2、对于一对顶点w、v，若同时存在从w到v的路径和从v到w的路径，则称这对顶点是强连通的

                3、若有向图中的任意一对顶点都是强连通的，则称该图为强连通图

                4、有向图的极大连通子图称为强连通分量，强连通分量至少有n条边，构成一个环路

        九）生成树、生成森林

                1、无向图才有生成树的概念

                2、连通图的生成树即指包含该树中所有结点的极小连通子图，极小要求其边数最少且保持连通

                3、非连通图的连通分量的生成树构成了生成森林

        十）概念区分

                1、有向图和无向图是两个概念，且不存在重合

                2、简单图是一个很宽泛的概念，本章节讨论的图均为简单图（有向简单图或无相简单图）

                3、完全图的概念适用于有向图和无向图，但定义略有不同，本质都是在满足简单图的定义下，使边数最多

                4、子图个概念适用于有向图和无向图，且定义相同

                5、连通、连通图、连通分量均为无向图的概念，仅在讨论无向图时才有意义

                6、强连通、强连通分量均为有向图的概念，仅在讨论有向图时才有意义

                7、生成树、生成森林是对连通图和非连通图的讨论，故仅在讨论无向图时才有意义

        十一）顶点的度、入度和出度

                1、无向图中讨论顶点的度，度即依附于顶点V的边的个数，且度总数=2E

                2、有向图中讨论顶点的度、入度和出度，入度即以顶点V为终点的弧的数量，出度即以顶点V为起点的弧的数量，顶点V的入度+出度=度，且有向图的入度总数=出度总数=E

        十二）边的权和网<