图G=(V,E,)-南京大学.pptVIP

基本概念 离散数学─图论初步 南京大学计算机科学与技术系 内容提要 图的定义 图模型 图的术语 几种特殊的图 二部图 （偶图） 图的运算 图结构上的经典问题 柯尼斯堡(K?nigsberg)七桥问题 问题的抽象（欧拉于1736年） 用顶点表示对象-“地块” 用边表示对象之间的关系-“有桥相连” 没有一个顶点所关联的边数为偶数 C D A B A C B D 可否：从四块陆地中任一块出发，恰好通过每座桥一次，再回到起点。 “一笔画”问题 图的定义 图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，并且 不同边有不同端点集，即：如果e1? e2 ，则?(e1) ? ?(e2) 图G = (V, E, ?)是伪图，如果 存在一条只有1个端点的边，即: ?e0?E.|?(e0)| = 1，或者 有两条边具有相同的端点集，即:? e1? e2.?(e1)=?(e2) 图的定义（续） 伪图（包含环或者多重边）示例 洛杉矶 旧金山 丹佛 芝加哥 华盛顿 纽