《离散数学教学资料》71-图的概念.ppt

图 论 图论属于拓扑学的一个分支，它起源于一些娱乐性的难题。 随着近代数学的发展，特别是现代计算机学科的诞生，图作为一种工具在许多领域的应用中发挥着重要的作用，图论本身也得到了充分的发展。 图论的内容十分丰富，本课程仅学习图论的一些基本概念和基本理论。 第7章 图的基本概念 §7.1　图的概念 A＆B = { (a,b) | a∈A,b∈B} 无序积 A×B = {a,b| a∈A,b∈B} 笛卡尔积 注意： (a,b)＝(b,a) a,b≠b,a 例： {x,y}＆{x,y} = {(x,x),(y,y),(x,y)} {x,y}×{x,y} = {x,x, y,y,x,y,y,x} 1. 图的概念： 定义： 一个无向图 G 是一个二元组 V,E , 其中 : (1) V是一个非空集合 , V中元素称为 图的结点 ; (2) E 是 V＆V 的一个多重子集 , E中 元素称为图的边(无向边) 。 定义： 一个有向图 G 是一个二元组 V,E , 其中 : (1) V是一个非空集合 , V中元素称为 图的结点 ; (2) E 是 V×V 的一个多重子集 , E 中 元素称为图的边(有向边) 。 2. 图的图形表示法 v3 v2 v1 e1 e2 e3 无向图 有向图 图的图形表示法： v1 v2 v3 e1 e3 e2 e4 e4 给定图 G = V,E ： (1) 有限图： V 和 E 都是有限集合 (2) n 阶图： | V | = n (3) 零图： | E | = 0 (4) 平凡图： | V | = 1 , | E | = 0 3. 几种特殊图 给定图 G = V,E ： (1) 若 ek = (vi,vj) 或 ek = vi,vj , 则称 vi 和 vj 是 ek 的端点 , 称 ek 与 vi (或 vj ) 彼此关联。 (2) 若 ek = vi,vj , 则称 vi 是 ek 的始点 , vj 是 ek 的终点。 (3) 孤立结点：无边关联的结点。 (4) 环：仅与一个结点关联的边。 4. 关联、邻接 给定图 G = V,E ： (1) 邻接结点：与同一条边相关联的两 个不同结点。 (2) 邻接边：与同一个结点相关联的两 条不同边。 (1) 任意图中 , 结点 v 作为边的端点的 次数 , 称为结点的度，记 d(v)。 (2) 有向图中 , 结点 v 作为边的始点的 次数 , 称为结点的出度 , 记d+(v) , 结点 v 作为边的终点的次数 , 称为 结点的入度 , 记d-(v)。 d+(v) + d-(v) = d(v) 5. 度、出度、入度 d(u) = 4 u v d+(v) = 2 d- (v) = 2 d (v) = 4 例： (1) 给定任意图 G=V,E : 最大度Δ(G) = mam { d(v) | v?V } 最小度δ(G) = min { d(v) | v?V } (2) 给定有向图 D=V,E : 最大出度Δ+(G) = mam { d+(v) | v?V } 最大入度Δ-(G) = mam { d-(v) | v?V } 最小出度δ+(G) = min { d+(v) | v?V } 最小入度δ-(G) = min { d-(v) | v?V } 定理：( 握手定理 ) 给定任意图 G = V,E , 设 |V|=n, |E|=m , 则 : 6. 握手定理 ? d ( vi ) = 2m n i = 1 ( 每条边对于结点度数之和都贡献2 , 所有结点的度数之和等于边数的2倍 ) |V|=3 |E|=4 例： ? d(vi) = 1+3+4 = 8 i = 1 3 推论： 给定任意图 G = V,E , 奇数度的结点必有偶数个。 ( ∵ 边数的2倍是偶数 ∴ 结点度数之和是偶数 ∴ 奇数度的结点必有偶数个 ) 定理：给定有向图 G = V,E , 设 |V|=n, |E|=m , 则 : ? d+ ( vi ) = ? d- ( vi ) = m n n i = 1 i = 1 (每条边对应