【梳理】离散数学 第14章 图的基本概念 14.1 图 14.2 通路与回路

教材：《离散数学》第2版 屈婉玲 耿素云 张立昂 高等教育出版社
源文档高清截图在最后

第14章 图的基本概念

14.1 图

1、图论中的图与几何中的图形有着本质区别。图论重点研究点与点的连线，而与点的具体位置基本无关。

2、设集合A、B，称{ {a, b}| a∈A∧b∈B}为A与B的无序积A&B。无序积中的无序对{a, b}也可记作(a, b)，允许a＝b。由于(a, b)＝(b, a)，因此A&B＝B&A。

3、一个无向图G是一个有序二元组<V, E>，其中
（1）顶点集V是一个非空有穷集，元素称为顶点或节点（结点）。
（2）边集E是无序积V&V的有穷多重子集，元素称为无向边。
如果是有向图，（2）应该改成：边集E是笛卡尔积V×V的有穷多重子集，称作边集，元素称为有向边。

4、多重集合是允许重复元素的集合，一个元素重复出现的次数称为该元素的重复度。一般的集合可以看做所有元素的重复度均为1的多重集。

5、顶点数称为图的阶，含n个顶点的图也叫作n阶图。一条边都没有的图称作零图。n阶零图记作Nn。1阶零图N1称作平凡图，只有一个顶点，没有边。虽然图的定义要求顶点集V非空，但图的运算中可能产生顶点集为空集的结果，称作空图，记作∅。用图形表示图时，如果给全部顶点和边都指定符号（字母、带下标的字母、数字），则称这样的图为标定图，否则称作非标定图。将有向图的各有向边改成无向边后得到的无向图称为这个有向图的基图。

6、设无向图G(V, E)（也记作G＝(V, E)，G＝<V, E>），ek＝(vi, vj)∈E，则vi, vj为ek的端点，ek与vi, vj关联。若vi≠vj，则称ek与vi, vj的关联次数为1；否则为2，并称ek为环。若e与v不关联，就称e与v的关联次数为0。若无向图的两个顶点vi, vj有一条边连接，就称两个顶点相邻；若两条边至少有一个公共端点，就称两条边相邻。

7、设有向图D(V, E)，ek＝(vi, vj)∈E，则vi, vj为ek的端点，ek与vi, vj关联。vi, vj分别是ek的始点（起点）、终点。若vi＝vj，则称ek为环。若有向图的两个顶点vi, vj有一条有向边连接，就称两个顶点相邻；若两条边中一条边的终点是另一条边的起点，就称两条边相邻。

8、有向图和无向图中，没有边关联的顶点称为孤立点。

9、设无向图G(V, E)，v∈V，则NG(v)＝{u | u∈V∧(u, v)∈E∧u≠V}为v的邻域， 为v的闭邻域，称IG(v)＝{e | e∈E∧e与v关联}为v的关联集。可见，无向图中，顶点v的邻域就是与v由一条边直接相连的顶点的集合，关联集就是以v为端点的无向边的集合。

10、设有向图D(V, E)，v∈V，则称 为v的后继元集， 为v的先驱元集，称