离散数学王元元习题解答 (9).pdfVIP

第三篇 图论 第八章 图 8.1 图的基本知识 内容提要 8.1.1 图的定义及有关术语 定义 8.1 图 （graph ）G 由三个部分所组成： （1）非空集合 V(G) ，称为图 G 的结点集，其成员称为 结点 或顶点 （nodes or vertices ）。 （2 ）集合 E(G) ，称为图 G 的边集，其成员称为 边 (edges)。 I G （3 ）函数 Ψ：E(G) →(V(G) ，V(G)) ，称为边与顶点的 关联映射 （associatve mapping ）。 这里（ V(G) ， V(G) ）称为 VG 的偶对集，其成员 偶对 （pair）形如（ u ，v ），u ，v 为结 点，它们未必不同。 Ψ (e) = (u,v) 时称边 e 关联 端点 u，v 。当 (u,v) 用作序偶时 (V(G) ，V(G)) =V(G) G V(G) ，e 称为 有向边 ，e 以 u 为起点 , 以 v 为终点 , 图 G 称为有向图 （directed graph ）；当(u,v) 用作无序偶对时， (u,v) = (v,u) ，称 e 为无向边 （或 边 ），图 G 称为 无向图 （或 图）。 图 G 常用三元序组 V(G) ， E(G) ，Ψ , 或 V， E，Ψ来表示。显然，图是一种数学结 G 构，由两个集合及其间的一个映射所组成。 定义 8. 2 设图 G 为 V， E，Ψ 。 （l）当 V 和 E 为有限集时，称 G 为有限图 ，否则称 G 为无限图 。本书只讨论有限图。 （2 ）当 Ψ 为单射时， 称 G 为单图 ；当 Ψ 为非单射时， 称 G 为重图 ，又称满足 Ψ(e1) = G G Ψ(e2)的不同边 e1,e2,为重边 ,或平行边 。 （3）当 Ψ(e) ＝(v,v) （或v,v ）时，称 e 为环（ loops）。无环和重边的无向单图称为 简单 图 。当 G 为有限简单图时，也常用（ n，m ）表示图 G，其中 n = V ，m = E 。 （4 ）Ψ 为双射的有向图称为 有向完全图 ；对每一 (u ，v) ，u v，均有 e 使 Ψ (e)＝(u,v) 的简单图称为 无向完全图 ，简称 完全图 ，n 个顶点的完全图常记作 Kn 。