基本概念-南京大学计算机科学与技术系.PDFVIP

基本概念 离散数学─图论初步 南京大学计算机科学与技术系 内容提要  图的定义  图模型  图的术语  几种特殊的图  二部图 （偶图）  图的运算  图结构上的经典问题 Königsberg七桥问题  问题的抽象：  用顶点表示对象-“地块”  用边表示对象之间的关系-“有桥相连” A A D D C C B B 图的定义  图G是一个三元组：G =(V, E, ϕ)  V是非空顶点集，E是边集，且V ⋂E=φ；  ϕ: E Ρ(V), 且∀e∈E. 1≤|ϕ(e)|≤2. ϕ(e)称为边e的端点集.  举例 （数据中心、通信链接） 底特律 纽约 旧金山 丹佛 芝加哥 华盛顿 洛杉矶 图的定义（续）  图G = (V, E, ϕ)是简单图，如果  每条边有2个端点，即：∀e∈E. |ϕ(e)| = 2，并且  不同边有不同端点集，即：如果e ≠e ，则ϕ(e ) ≠ϕ(e ) 1 2 1 2  图G = (V, E, ϕ)是伪图，如果  存在一条只有1个端点的边，即: ∃e ∈E.|ϕ(e )| = 1，或者 0 0  有两条边具有相同的端点集，即:∃e ≠e .ϕ(e )=ϕ(e ) 1 2 1 2 图的定义（续）  伪图 （包含环或者多重边）示例 底特律 纽约 旧金山 丹佛 芝加哥 华盛顿 洛杉矶 图的定义（有向图）  有向图G是一个三元组：G= (V, E, ϕ)  V是非空顶点集，E是有向边 （弧）集，且V ⋂E=φ；  ϕ:EV×V, 若ϕ(e)=(u, v), 则u和v分别称为e 的起点和终点.  举例 （简单有向图） 底特律