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

第1篇 数理逻辑 第2篇 集合论 第3篇 代数结构 第4篇 图论 第4篇 图论 模型化是数学中的一个基本概念，它处于所有的数学应用之心脏，也处于某些最抽象的纯数学核心之中。 R. C. Buck 第4篇 图论 第10章 图 第11章 特殊图 第12章 树 命题逻辑和谓词逻辑是数理逻辑的基础部分 第4篇 图论 第11章 特殊图 11.1 欧拉图与Hamilton图 11.2 二分图与匹配 11.3 平面图、对偶图与地图着色 11.4 网络及最大流问题 11.5 典型例题解析 第11章 特殊图 数学知识有三个不同于其它知识的主要特征：其一是数学知识比其它知识更清晰地使其结果具有真理性；其二是数学知识乃是获得其它正确知识的必经的第一步；其三是数学知识的获得并不依赖于其它知识。 Schubert H. 第11章 特殊图 11.1 欧拉图与Hamilton图 11.1.1 欧拉图 对于哥尼斯堡七桥问题，大数学家欧拉最先意识到哥尼斯堡七桥问题的求解与 A, B, C, D 的大小和它们之间的长度无关，从而将问题求解转换为对多重图的遍历，即：找到一条遍历多重图每条边恰好一次的回路。若需要，回路可以重复访问结点。 定理11.1（欧拉路的充要条件） 无向图 G 具有一条欧拉路，当且仅当 G 是连通的，且有零个或两个奇数度结点。 证明：先证明必要性，再证明充分性。 （1）必要性：设 G 具有欧拉路，即有点边序列v0e1v1e2v2…eiviei?1…ekvk，其中结点可能重复出现，但边不重复，因为欧拉路经过图 G 中每一个结点，故图 G 必连通的。 ? 对任意一个不是端点的结点 vi，在一个欧拉路中每当 vi 出现一次，必关联两条边，故虽然 vi 可重复出现，但 deg(vi) 必是偶数。 ? 对于端点，若 v0＝vk，则 d(v0) 为偶数，即G 中无奇数度结点。 若端点 v0 与 vk 不同，则 d(v0) 为奇数，d(vk )为奇数，G 中就有两个奇数度结点。 （2）充分性： 若图 G 连通，有零个或两个奇数度结点，构造一条欧拉路如下： ? 若有两个奇数度结点，则从其中的一个结点开始构造一条迹，即从 v0 出发关联 e1 “进入” v1，若 deg(v1) 为偶数，则必由 v1 再经过 e2 进入 v2，如此进行下去，每次仅取一次。由于 G 是连通的，故必可到达另一奇数度结点停下，得到一条迹 L1：v0e1v1e2v2…eiviei?1…ekvk。若 G 中没有奇数度结点，则从任一结点 v0 出发，用上述的方法必可回到结点 v0，得到上述一条闭迹 L1。 ? 若 L1 通过了 G 的所有边，则 L1 就是欧拉路。 ? 若 G 中去掉 L1 后得到子图 G′，则 G′中每一点的度数为偶数，因原图是连通的，故 L1 与 G′至少有一个结点 vi 重合，在 G′中由 vi 出发重复 ? 的方法，得到闭迹 L2。 ? 当 L1 与 L2 组合在一起，如果恰是 G，则即得欧拉路，否则重复 ? 可得到闭迹 L3，以此类推直到得到一条经过图 G 中所有边的欧拉路。 定义11.2 给定有向图 G，通过每边一次且仅一次的一条单向路(回路)，称作单向欧拉路（回路）。 定理11.2 有向图 G 具有一条单向欧拉回路，当且仅当是连通的，且每个结点的入度等于出度。一个有向图 G 具有单向欧拉路，当且仅当是连通的，而且除两个结点外，每个结点的入度等于出度，但这两个结点中，一个结点的入度比出度大 1。另一个结点的入度比出度小 1。 这个定理的证明可以看作是无向图的欧拉路的推广，因为对于有向图的任意一个结点来说，如果入度与出度相等，则该结点的总度数为偶数，若入度和出度之差为 1 时，其总度数为奇数。因此定理的证明与定理11.2 相似。 欧拉图广泛应用于有关合适路线的设计问题。代表性的中国邮递员问题将在 11.1.3 小节中介绍，这里举一个清洁车路线的设计问题，简单说明欧拉图的应用。 No【例11.1】设某城市的街道布局如下图所示。每条边代表一条特定街道的一段街区，每个结点代表街区间的交点。扫雪车车库位于结点 d。证明存在一条路线使得扫雪车清扫每个街区恰好一次且清扫完最后一个街区正好返回车库。为这个扫雪车找出完成任务的路线。 解：首先，注意到图是连通的，并且每个结点的度数为偶数，那么，根据定理11.2 可以推知出图中存在欧拉回路。而图是扫雪街区布局的模型图， 所以可以推出存在一条使得扫雪车经过每个街区恰好一次最后回到车库的路线。