判别无向图g中指定的两个顶点之间是否存在一条长度为k的简单路径_算法4th4：图...

概述

图可以根据是否「有向」和「带权」分成以下四种：

• 无向图    (无向不带权)
• 有向图    (有向不带权)
• 加权无向图(无向带权)
• 加权有向图(有向带权)

无向图

无向图定义：由一组顶点和一组能够将两个顶点链接在一起的边组成。

特殊情况下的图：自环，平行边。

自环：就是自己连自己。

平行边：同一对顶点上有多条边相连。例如就像家和学校两个点之间存在很多条路可以选择，而路与路之间称为平行边。

术语

图论方面存在很多相关术语，为了便于后续的叙述，先将这些术语罗列出来。

• 相邻：两个顶点和同一条边相连称为相邻。同时也称这条边「依附」与这两个顶点。
• 顶点的度：与该顶点相邻边的个数。
• 子图：一幅图中所有边的子集以及这些边相关的点所组成的图。
• 路径：边顺序连接起来的一系列的顶点。
• 简单路径：没有重复顶点的路径。
• 环：至少含有一条起点和终点相同的路径。
• 简单环：不含有重复顶点和边的环。
• 连通图：任意一个顶点都存在一条路径到达另一个任意顶点。
• 极大连通子图：非连通图是由若干个连通子图组成，这些连通子图称为极大连通子图。
• 连通分量：极大连通子图的个数称为非连通图的连通分量。
• 树：无环「连通图」。<