10-1-aolm-离散数学.ppt

离散数学 人民邮电出版社 第1篇 数理逻辑 第2篇 集合论 第3篇 代数结构 第4篇 图论 第4篇 图论 模型化是数学中的一个基本概念，它处于所有的数学应用之心脏，也处于某些最抽象的纯数学核心之中。 R. C. Buck 第4篇 图论 第10章 图 第11章 特殊图 第12章 树 命题逻辑和谓词逻辑是数理逻辑的基础部分 第4篇 图论 第10章 图 10.1 图模型 10.2 图的分类 10.3 图的连通性 10.4 图的矩阵表示 10.5 典型例题解析 第4篇 图论 第11章 特殊图 11.1 欧拉图与 Hamilton 图 11.2 二分图与匹配 11.3 平面图、对偶图与地图着色 11.4 网络及最大流问题 11.5 典型例题解析 第4篇 图论 第12章 树 12.1 树的概念 12.2 生成树 12.3 根树、二叉树及其应用 12.4 典型例题解析 第10章 图 数学知识对于我们来说，其价值不止在于它是一种有力的工具，同时还在于数学自身的完美。在数学内部或外部的展开中，我们看到了最纯粹的逻辑思维活动，以及最高级的智能活力的美学体现。 Pringsheim Alfred 第10章 图 18 世纪在哥尼斯堡城 ( 今俄罗斯加里宁格勒 ) 的普莱格尔河上有 7 座桥，将河中的两个岛和河岸连结，如图所示。城中的居民经常沿河过桥散步，于是提出了一个问题：能否一次走遍 7 座桥，而每座桥只许通过一次，最后仍回到起始地点。这就是七桥问题，一个著名的图论问题。 图论 (Graph Theory) 是数学的一个分支。它以图为研究对象。图论中的图是由若干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的线表示相应两个事物间的关系。 10.1 图模型 描述同一组四个城市 A, B, C, D 之间是否可以直接到达的关系。 定义10.1 一个图定义为一个三元组 ，记作 ，其中： (1) V(G)是一个非空集合，它的元素称为结点或顶点； (2) E(G)是边集合； 是从边集合 E(G) 到无序积 上的函数。 定义10.3 关联于同一结点的两条边称为邻接边。关联于同一结点的一条边称为自回路或环。连接于同一对结点间的多条边称为平行边。含有环的图称为伪图。含有平行边的图称为多重图。不含平行边和环的图称为简单图。 定义10.4 若边与结点无序偶 相关联，则称该边为无向边，图示以不带箭头的实线表示。若边与结点有序偶 相关联，则称该边为有向边，图示以带箭头的实线表示。每一条边都是无向边的图称为无向图。每一条边都是有向边的图称为有向图。有向图不考虑方向时得到的图称为该图对应的基础图。如果图中既有无向边，又有有向边，则称该图为混合图。如果图的每条边标有一个正数，该正数称为边的权重，该图称为加权图或带权图。 定义10.5 在图 G＝(V, E) 中，与某一结点 v， ，关联的边数，称为该结点的度数，记作 。如果 G 是有向图，射入结点 v， ，的边数称为该结点的入度，射出结点的边数称为该结点的出度。结点的度数 等于结点的入度与出度之和。 称为 G＝(V, E) 的最大度， 称为 G＝(V, E) 的最小度。此外约定，每个环在对应结点上度数增加 2。 定理10.1（欧拉定理） 设图 G＝(V, E)，其结点度数的总和等于边数的两倍，即： 证明：因为图中每条边关联两个结点，而一条边为每个关联结点贡献的度数为 1，因此，一个图中结点度数的总和等于边数的两倍。 定理10.2 在任何图中，度数为奇数的结点个数必是偶数。 证明：设 V1 为图 G 中度数为奇数的结点集, V2 为图 G 中度数为偶数的结点集，则根据定理10.1