数据结构-图

一、图的概述
1.图的定义
G = (V,E)。
顶点（vertex）集V，V = {v1,v2,...,vn}，顶点集为有限非空集。|V|表示顶点的个数，图的阶。
边（edge）集 E，E = {(u,v) | u属于V，u属于V}，表示顶点之间的关系的集合。|E|图边的条数。
图不能是空图，V有限非空集。不能存在单个关系，第三个非图。

2.图的举例
图反应了多对多之间的关系，如微信的好友关系，微博的粉丝关系。

3.图的相关术语
A 简单图和多重图
无向图不存在重复边，指向自己的边。有向图不存在相同指向的重复弧，指向自己的弧。
数据结构只讨论“简单图”。

B 稀疏图与稠密图
边数很少的图为稀疏图，反之为稠密图。一般 边数 <  顶点数 * log顶点数 （n(n-1)）

C 无向图和有向图
若E是无向边（边）的有限集合，则图G为无向图。边的取值范围为：0 ~ n(n − 1) / 2
若E是有向边（弧）的有限集合，则图G为有向图。从弧尾到弧头。边的取值范围为：0 ~ n(n − 1)
无向完全图：有n(n − 1) / 2条边。有向完全图：有n(n-1)条弧。

顶点与顶点的关系描述
路径：从顶点v到w之间的一条路径是指经过的顶点序列，可以重复，各顶点需要连通。
回路：第一个顶点和最后一个顶点相同的路径称为回路或环。
简单路径：在路径序列中，经过的顶点不重复的路径。
简单回路：除了第一个顶点和最后一个顶点外，其余经过的顶点不重复出现的回路。
路径长度：路径上边的数目。
点到点的距离：存在顶点v到w的最短路径，此路径长度为v到w的距离。

顶点的度、入度、出度
无向图顶点的度为依附于该顶点的边的条数。无向图全部顶点的度之和为边数的两倍。
有向图顶点v的入度是：以v为终点的有向边的条数。出度是以v为起点的有向边的数目。
有向图顶点的度是入度与出度之和。有向图全部顶点的度之和为边数。

ni 为 度为i的顶点个数。

D 子图、生成子图、导出子图
子图：图G中V的子集，所构成的部分图，满足E的子集。
生成子图：必须图G中V的顶点个数相同，满足E的子集即可。
导出子图：图G中V的子集，只要E中有边就必须出现。