第六章 图
6.1 图的定义和基本术语
图: G=(V,E) Graph = (Vertex, Edge)
- V: 顶点(数据元素)的有穷非空集合
- E: 边的有穷集合
完全图: 任意两个点都有一条边相连
稀疏图: 有很少边或弧的图(e < nlongn)
稠密图: 有较多边或弧的图
网: 边/弧带权的图
邻接: 有边/弧相连的两个顶点之间的关系
- 存在(vi,vj).则称这两个点互为邻接点
- 存在<vi,vj>,则称vi邻接到vj,vj邻接于vi
关联(依附): 边/弧与顶点之间的关系.
顶点的度: 与该顶点相关联的边的数目 记为TD(V)
- 在有向图里面,顶点的度是入度和出度之和
- 入度记为 ID(V)
- 出度记为 OD(V)
提示: 有向树就是仅一个顶点的入度为0,其余顶点的入度均为1的有向图
路径: 接续的边构成的顶点序列
路径长度: 路径上面或弧的数目/权值之和
回路(环): 第一个顶点和最后一个顶点相同的路径
简单路径: 除路径起点和终点可以相同值外,其余顶点均不相同的路径
简单回路(简单环): 除路径起点和终点相同值外,其余顶点均不相同的路径
例子:
连通图(强连通图)
权与网: 图中边或弧所具有的相关数称为权.表明从一个顶点到另一个顶点的距离或耗费 带权的图称为网
**子图: **
连通分量
强连通分量
极小连通子图: 该子图是G的连通子图,在该子图中删除任何一条边,子图不再连通
生成树: 包含无向图G所有顶点的极小连通子图.
生成森林: 对非连通图,由各个连通分量的生成树的集合
例子
6.2 案例引入
六度空间理论
6.3 图的类型定义
图的抽象数据类型定义: