1 图
1.1 图的定义
1.1.1 无序积
设 为任意的两个集合,称
为 与 的无序积,记作
1.1.2 无向图
一个无向图 是一个有序的二元组 ,其中
- 是一个非空有穷集,称作顶点集,其元素称作顶点或结点
- 是无序积 的有穷多子集,称作边集,其元素称作无向边,简称边
1.1.3 有向图
一个有向图 是一个有序的二元组 ,其中
- 是一个非空有穷集,称作顶点集,其元素称作顶点或结点
- 是笛卡尔积 的有穷多子集,称作边集,其元素称作有向边,简称边
1.1.4 图
无向图和有向图统称为图,有时用 泛指图
用 分别表示 的顶点集和边集, 分别是 的顶点数和边数。
1.1.5 阶
顶点数称作图的阶, 个顶点的图称作n阶图
1.1.6 零图、n阶零图、平凡图
一条边也没有的图称作零图
阶零图记作
一阶零图 称作平凡图。平凡图只有一个顶点,没有边
1.1.7 空图
顶点集为空集的图称为空图,记作
1.1.8 标定图与非标定图
当用图形表示图是,如果给每一个顶点和每一条边指定一个符号(字母或数字,当然字母还可以带下标),则称这样的图为标定图,否则称为非标定图
1.1.9 基图
将有向图的各条有向边改成无向边后所得到的无向图称作这个有向图的基图
1.2 元素之间的关系
1.2.1 端点与关联次数
设 为无向图, ,称 为 的端点, 与 关联。
若 ,则称 与 的关联次数为
若 ,则称 与 的关联次数为
如果顶点 不与边 关联,则称 与 的关联次数为
设 为有向图, ,称 为 的端点, 为 的始点, 为 的终点, 与 关联。
1.2.2 相邻
无向图中若两个顶点之间有一条边相连接,则称这两个顶点相邻。若两条边至少有一个公共端点,则称这两条边相邻。
有向图中若两个顶点之间有一条有向边,则称这两个顶点相邻,若两条边中一条边的终点是另一条边的始点,则称这两条边相邻
1.2.3 孤立点
图中没有边关联的顶点称作孤立点
1.2.4 无向图的邻域与关联集
设无向图
1.2.4.1 邻域
为 的邻域
1.2.4.2 闭邻域
为 的闭邻域
1.2.4.3 关联集
为 的关联集
1.2.5 有向图的元集与邻域
设有向图
1.2.5.1 后继元素
为 的后继元素
1.2.5.1 先驱元素
1.2.5.2 邻域
1.2.5.3 闭邻域
1.3 简单图与多重图
1.3.1 平行边与重数
在无向图中,如果关联一对顶点的无向边多于 条,在有向图中如果关联一对顶点的无向边多于 条,且这些边的始点与终点相同(也就是它们的方向相同),则称这些边为平行边
平行边的条数称作重数
1.3.2 简单图
不含平行边也不含环的图称作简单图
1.3.3 多重图
含有平行边的图称作多重图
1.4 顶点的度数
1.4.1 无向图
1.4.1.1 度数
设 为无向图, ,称 作为边的端点的次数为 的度数,简称为度,记作 。
1.4.1.2 最大度与最小度
最大度
最小度
1.4.2 有向图
1.4.2.1 出度入度与度数
设 为有向图,
,称 作为始点的次数为 的出度,记作
称 作为终点的次数为 的入度,记作
称 为 的度数,记作
1.4.2.2 最大(出、入)度最小(出、入)度
1.4.3 悬挂顶点与悬挂边
称度数为 的顶点为悬挂顶点,与它相关联的边称作悬挂边
1.4.4 偶(奇)度顶点
度为偶数(奇数)的顶点称作偶度(奇度)顶点
1.5 握手定理
1.5.1 定理描述
在任何无向图中,所有顶点的度数之和等于边数的 倍
在任何有向图中,所有顶点的度数之和等于边数的 倍;所有顶点的入度之和等于所有顶点的出度之和,都等于边数
1.5.2 推论
任何图中,奇度顶点的个数是偶数
1.5.3 度数列
1.5.4 可图化
1.5.4.1 定义
1.5.4.2 判定定理
非负整数列 是可图化的当且仅当 为偶数
设 为任意 阶无向简单图,则
1.5.5 可简单图化
1.6 图的同构
1.6.1 定义
记作
1.6.2 性质
图的同构关系是等价关系,具有自反性、对称性、传递性
1.7 完全图与竞赛图
1.7.1 无向完全图(完全图)
设 为 阶无向简单图,若 中每个顶点均与其余的 个顶点相邻,则称 为 阶无向完全图,简称为 阶完全图,记作
1.7.2 有向完全图
设 为 阶有向简单图,若 中每个顶点都邻接到其余的 个顶点,则称 为 阶有向完全图
1.7.3 竞赛图
设 为 阶有向简单图,若 的基图为 阶无向完全图 ,则称 为n阶竞赛图
1.8 正则图
设 为 阶无向简单图,若 ,均有 ,则称 为k-正则图
1.9 子图
1.9.1 母图
1.9.2 真子图
1.9.3 生成子图
1.9.4 导出子图
设 ,则称以 为顶点集,以 中两个端点都在 中的边组成边集 的图为 的 导出的子图,记作
设 ,则称以 为边集,以 中边关联的顶点为顶点集 的图为 的 导出的子图,记作
1.10 补图
1.10.1 补图
设 为 阶无向简单图,令 ,称 为 的补图
1.10.2 自补图
若图 ,则称 为自补图
1.11 图的操作
1.11.1 删除边(集)
1.11.2 删除顶点(集)
1.11.3 收缩
设 ,用 表示从 中删除 后,将 的两个端点 用一个新的顶点 代替,并使 关联除 以外 关联的所有边,称作 的收缩
1.11.4 加新边
2 通路与回路
2.1 通路
2.1.1 定义
2.1.2 长度
2.1.3 简单通路
2.1.4 复杂通路
2.2 回路
2.2.1 定义
2.2.2 简单回路
2.2.3 初级回路(圈)
2.2.4 奇圈与偶圈
2.2.5 复杂回路
2.3 性质
2.3.1 长度定理
2.3.1.1 描述
在 阶图 中,若从顶点 到 (u \ne v)存在通路,则从 到 存在长度小于等于 的通路
在 阶图 中,若从顶点 到 (u \ne v)存在回路,则从 到 存在长度小于等于 的回路
2.3.1.2 推论
在 阶图 中,若从顶点 到 (u \ne v)存在通路,则从 到 存在长度小于等于 的初级通路
在 阶图 中,若从顶点 到 (u \ne v)存在回路,则从 到 存在长度小于等于 的初级回路
3 图的连通性
3.1 无向图的连通性
3.1.1 连通
3.1.2 连通图与非连通图
3.1.3 连通分支
设无向图 , 是 关于顶点之间的连通关系 的一个等价类,称导出子图 为 的一个连通分支
的连通分支数记作
3.1.4 短程线和距离
3.2 无向图的连通度
3.2.1 点割集与割点
设无向图
若存在 使得 ,且对于任意的 ,均有 ,则称 是 的点割集
若 ,则称 为割点。
3.2.2 边割集(割集)与割边(桥)
设无向图
若存在 使得 ,且对于任意的 ,均有 ,则称 是 的边割集或简称割集
若 ,则称 为割边或桥。
3.2.3 点连通度(连通度)与 k-连通图
3.2.3.1 点连通度(连通度)
设 为无向连通图且不是完全图,则称
为点连通度,简称连通度
3.2.3.2 k-连通图
若 ,则称 为k-连通图
3.2.4 边连通度与 r边-连通图
3.2.4.1 边连通度
设 为无向连通图,则称
为边连通度
规定非连通图的边连通度为
3.2.4.2 r边-连通图
若 ,则称 为r边-连通图
3.2.5 连通度与最小度之间的关系
对于任何无向图 ,有
3.3 有向边的连通性
3.3.1 顶点间的可达关系
3.3.1.1 可达
3.3.1.2 相互可达
3.3.2 短程线与距离
3.3.3 弱连通图(连通图)
若有向图 的基图是连通图,则称 为弱连通图,简称连通图
3.3.4 单向连通图
3.3.4.1 定义
若 至少成立其一,则称 为单向连通图
3.3.4.2 判别定理
有向图 是单向连通图当且仅当 中存在经过每个顶点至少一次的通路
3.3.5 强连通图
3.3.5.1 定义
若 均有 ,则称 为强连通图
3.3.5.2 判定定理
有向图 是强连通图当且仅当 中存在经过每个顶点至少一次的回路
3.3.6 极大路径与扩大路径法
3.3.6.1 极大路径
设 为 阶无向图, 为一条路径。若 的始点与终点都不与 外的顶点相邻,则称 为一条极大路径
3.3.6.2 扩大路径法
3.4 二部图(二分图、偶图)
3.4.1 定义
设无向图 ,若能将 划分成 ,和 (即 ),使得 中每条边的两个端点都是一个属于 ,另一个属于 ,则称 为二部图(或二分图、偶图),称 和 为互补顶点子集,常将二部图 记作
3.4.2 判别法
阶无向图 是二部图当且仅当 中无奇圈
3.4.3 完全二部图
若 是简单二部图, 中的每个顶点均为 中的所有顶点相邻,则称 为完全二部图记为 ,其中
阶零图为二部图
4 图的矩阵表示
4.1 关联矩阵
4.1.1 关联次数
4.1.2 定义
4.2 邻接矩阵
4.2.1 定义
4.2.2 计算长度为l的通路(回路)总数
的 次幂 中的元素 为 中 到 长度为 的通路数
为 中 到自身长度为 的回路数
4.2.3 计算长度小于等于l的通路(回路)总数
4.3 可达矩阵
5 图的运算
5.1 图的性质
5.1.1 不交的
5.1.2 边不交的(边不重的)
5.2 图的运算
5.2.1 并图
5.2.2 差图
5.2.3 交图
5.2.4 环和
称以 为边集,以 中边关联的顶点组成的集合为顶点集的图为 与 的环合,记作