离散数学-14 图的基本概念

相关概念

1. 图

① 可用G泛指图（无向的或有向的）

②V(G), E(G), V(D), E(D)

③ n阶图

2. 有限图

3. n 阶零图（无边图，孤立结点构成）与平凡图（一阶零图，只有一个顶点，没有边）

4. 空图——（顶点集为空集）

5. 用 e_k 表示无向边或有向边

6. 顶点与边的关联关系

① 关联、关联次数

② 环（伪图：含有环的图）

③ 孤立点（没有边关联的顶点）

7. 顶点之间、边之间的相邻与邻接关系

8. 邻域与关联集

①vV(G) (G为无向图)

v 的关联集

②vV(D) (D为有向图)

9. 标定图与非标定图

10. 基图（有向图化无向图）

预备知识

• 多重集合——元素可以重复出现的集合
• 无序集——AB={(x,y) | xAyB}

定义14.1无向图G = <V,E>, 其中

(1) V 为顶点集，元素称为顶点

(2) E为VV 的多重子集，其元素称为无向边，简称边

定义14.2有向图D=<V,E>, 只需注意E是VV 的多重子集

定义14.3

(1) 无向图中的平行边及重数（平行边的条数）

(2) 有向图中的平行边及重数（注意方向要相同，一定要相同起点、终点）

(3) 多重图（含平行边的图）

(4) 简单图（不含平行边也不含环的图）

在定义14.3中定义的简单图是极其重要的概念

定义14.4

(1) 设G=<V,E>为无向图, vV, d(v)——v的度数, 简称度（v作为边的端点的次数）

(2) 设D=<V,E>为有向图, vV,

d⁺(v)——v的出度（v作为边的始点的次数）

d^(v)——v的入度（v作为边的终点的次数）

d(v)——v的度或度数

(3) (G)最大度, (G)最小度

(4) ⁺(D), ⁺(D), ^(D), ^(D), (D), (D)

(5) 奇度顶点（度为奇数的顶点）与偶度顶点（度为偶数的顶点）

(6)悬挂顶点（度数为1的顶点），悬挂边

  

推论 任何图 (无向或有向) 中，奇度顶点的个数是偶数.

证明：(⟶) 握手定理