离散数学复件lecture.ppt

图 论 主要内容 7.1??图论的基本概念 7.2??子图和图的运算 7.3? 路径、回路和连通图 7.4??欧拉图和哈密顿图 7.6 树、有向树和有序树 什么是图? 普通含义: 在坐标系中用点线表示的数据。 离散数学中的含义:一种用于表示关系的特殊离散结构，具有网状表示形式 图论的应用 网络、调度、流量优化、电路设计、路径规划…… 计算机游戏、程序编译、面向对象设计…… 表示各种关系 7.1 图论的基本概念 例 例 有些书中： 图 —— 简单图； 多重图——含平行边； 伪图——图。 例 例 例 必要非充分条件 两图结点数目和边数目相同； 两图中度数为d的结点数目相同； …… 例 判断下面两个图是否同构？如是，标出对应结点；否则，说明两图的差异 例 7.2 子图和图的运算 结点导出的子图 设图G＝〈Ｖ，Ｅ，Ψ〉， V′? V且V ′ ??. 以V ′为结点集合，以所有起点和终点均在V ′中的边为边集合的G的子图称为由V ′导出的G的子图，记为G[V ′]. 若V′? V，导出子图G[V－V ′]记为G－V ′. 例 例 求G－a和G－d 边导出的子图 设图G＝〈Ｖ，Ｅ，Ψ〉， E′? E且E ′??. V ′={v|v?V且有e? E′使v与e关联}。以V ′为结点集合，以E′为边集合的G的子图称为由E ′导出的G的子图，记为G[E ′]. 例 例 交、并、环和 Ｇ1∩Ｇ2 =〈V1∩Ｖ2，Ｅ1∩Ｅ2，Ψ1∩Ψ2〉 Ｇ1∪Ｇ2 =〈V1∪Ｖ2，Ｅ1∪Ｅ2，Ψ1∪Ψ2〉 Ｇ1? Ｇ2 =〈V1∪Ｖ2，Ｅ1?Ｅ2，Ψ1∪Ψ2 Ｅ1?Ｅ2〉 显然，并不是任何两个图都有交、并和环和，它们必须可运算才行。 例 定理7.2.1 设图Ｇ1＝〈Ｖ1，Ｅ1，Ψ1〉和Ｇ2＝〈Ｖ2，Ｅ2，Ψ2〉为可运算。 如果Ｖ1∩Ｖ2??，则存在唯一的Ｇ1∩Ｇ2。 （ 若 V１∩Ｖ２ ＝ ? ，则 Ｇ１∩Ｇ２ 不存在 ） 存在唯一的Ｇ1∪Ｇ2和Ｇ1?Ｇ2 。 运算 G – E? 设图G＝〈Ｖ，Ｅ，Ψ〉。若E′? E，则记〈Ｖ，Ｅ－ E′，Ψ (E- E′)〉为G－ E′；若e?E，则记G－{e}为G－e。 G－ E′是从G中去掉E′中的边所得到的G的子图。 注意： 与 E′中的边相关联的结点并不去掉。 例 求G－{a, e}和G－{c, e} 例 求G－{{a, e}, {e, d}, {e, c}, {b, c}} 运算 G + E?Ψ? 设G＝〈Ｖ，Ｅ，Ψ〉和G′＝〈Ｖ′，Ｅ′，Ψ′〉同为无向图或同为有向图，若G和G′边不相交且G′无孤立点，则记G∪ G′为 G＋Ｅ′Ψ′ G＋Ｅ′Ψ′是由G增加Ｅ′中的边所得到的图 其中，Ψ? 指出 E? 中的边与结点的关联关系。 例 例 定理7.2.2 设f和g为图G＝〈Ｖ，Ｅ，Ψ〉和 G′＝〈Ｖ′，Ｅ′，Ψ′〉之间的同构映射。 i) 若v?V且v’＝f(v)，则dG(v)＝dG’(v’)； ii) 若S?V且S’＝f[S]，则G[S]?G’[S’]且G－S ?G’－S’； iii) 若K?E且K’＝g[K]，则G[K]?G’[K’]且G－K ?G’－K’； iv) G的补图与G’的补图仍同构。 7.3 路径、回路和连通性 例 直径 图G＝〈Ｖ，Ｅ，Ψ〉的直径定义为 例 例 极大子图 设G’是图G的具有某性质的子图，并且对于G的具有该性质的任意子图G’’，只要G’? G’’，就有G’＝G’’，则称G’相对于该性质是G的极大子图。 一笔画 下列例题给出了完备匹配的一个应用。 【例9.17】在某大学本科毕业生分配的供需洽谈会上，有n个毕业生可从m(m≥n)个单位选择自己职业。已知每个毕业生至少愿意去r(1≤r≤m)个单位去工作，而每个用人单位至多看中了r–1个毕业生，愿意从中选择一名。问最多有多少个单位可以选择到满意的毕业生？写出判断过程。 解：设V1=?v| v为毕业生?，V2=?u| u为用人单位?， E=?(v,u)| v愿意到u去工作?， 则G=?V1,V2,E?是二部图，由已知条件可知，?v?V1， deg(v)≥r，而?u?V2，deg(u)≤r–1≤r，由此可知，G满足定理9.7.4的条件，其中t=r，因此有V1到V2的完备匹配。于是有n个单位，也最多有n个单位可以选择到满意的毕业生，每个毕业生都可选到愿意去的单位。 图9.65给出了n=3，m=5，r=3的情况。在这种情