中科院算法课程图论.pdf

19 第二章 图与遍历算法 §1 图的基本概念和术语  无向图(undirected graph) 图2-1-1 哥尼斯堡七桥 图2-1-2 Euler 图 无向图，简称图，是一个用线（边）连接在一起的结点 （顶点）的集合。严 格地说，图是一个三元组 G=( V, E, I ), 其中，V 是顶点的集合，E 是边的集 合，而 I 是关联关系，它指明了E 中的每条边与V 中的每个顶点之间的关联关 系：每条边必定连接两个而且只有两个顶点，它们称为该边的端点。有边相连的 两个顶点称为相邻的。连接顶点v 的边的条数称为v 的度，记做d(v). 图G=( V, E, I )中顶点的度与边数有如下的Euler 公式 ∑d (v) 2 | E | （2.1.1） v ∈V 由公式(2.1.1)可知，图中奇度顶点的个数一定是偶数。 没有重复边的图称为简单图，n 阶完全图是指具有n 个顶点而且每两个顶点 之间都有边连接的简单图，这样的图的边数为 n(n-1)/2.以下是1～4 阶的完全 图： 20 K2 K4 K1 K3 图2-1-3 几个完全图 另一类特殊的图是偶图（也叫二部图），它的顶点集分成两部分 V ，V ，每 1 2 部分中的顶点之间不相连（没有边连接）。 V1 V2 图2-1-4 一个偶图 当然， -部图，是指图的顶点集被分成 个部分，同部分的顶点之间没有边相 k k 连。 设图G 的顶点集是 { , , , } ，边集是E {e ,e , ,e } ，则顶点与顶 V v v v 1 2 n 1 2 m 点之间的邻接关系可以用如下矩阵表示： v v  v 1 2 n v1 a11 a12  a1n    v2 a21 a22  a2n        A  