Microsoft Office 用户-东南大学薛 晖hxue@seu.edu.cn.PPTVIP

经典问题之一 一逻辑学家误入某部落，被囚于牢狱，酋长欲意放行，他对逻辑学家说：“今有两门，一为自由，一为死亡，你可任意开启一门。现从两个战士中选择一人负责解答你所提的任何一个问题（Y/N），其中一个天性诚实，一人说谎成性，今后生死任你选择。”逻辑学家沉思片刻，即向一战士发问，然后开门从容离去。逻辑学家应如何发问？ 经典问题之二 某汽车司机违章驾驶，交警向他宣布处理决定：“要么扣留驾驶执照三个月，要么罚款1000元。”司机说：“我不同意。”如果司机坚持己见，那么，以下哪项实际上是他必须同意的？　　A、扣照但不罚款。　　 B、罚款但不扣照。　 　C、既不罚款也不扣照。　 　D、既罚款又扣照。　 　E、如果做不到既不罚款也不扣照，那么就必须接受既罚款又扣照。 经典问题之二 某汽车司机违章驾驶，交警向他宣布处理决定：“要么扣留驾驶执照三个月，要么罚款1000元。”司机说：“我不同意。”如果司机坚持己见，那么，以下哪项实际上是他必须同意的？　　A、扣照但不罚款。　　 B、罚款但不扣照。　 　C、既不罚款也不扣照。　 　D、既罚款又扣照。　 　E、如果做不到既不罚款也不扣照，那么就必须接受既罚款又扣照。 数理逻辑与计算机 一切能用数理逻辑抽像出来的逻辑问题，全都可以用计算机程序来解决 罗素和怀海德的巨著《数学原理》里给出了很多经典数学定理的证明过程，在若干年以后，书中越来越多的定理已能够用计算机程序自动证明出来 数理逻辑与计算机 1959年，美籍华人王浩教授只用9分钟的机器时间，就在计算机上证明了罗素和怀特海《数学原理》一书中的一阶逻辑部分的全部定理350多条，让罗素惊叹不已 幻方 据传说，大禹在4000多年前就观察到神龟背上的幻方 1977年美国旅行者1 号、2号宇宙飞船就带上了幻方以作为人类智慧的信号 幻方 幻方可以看作是一个3阶方阵，其元素是1到9的正整数，每行、每列以及两条对角线的和都是15 幻方 一个n阶幻方是由整数1，2，3，…，n2按下述方式组成的n×n方阵： 该方阵每行上的整数的和、每列上的整数的和以及两条对角线中每条对角线上的整数的和都等于同一个数s s -- 幻和 幻方 构造幻方 构造奇数阶幻方的方法： 将1放在最上一行的中间，其后的整数沿着自左下到右上的这条对角线按照自然顺序放置，同时作修正： 在到达顶行时，下一个整数要放在底行，所放位置就是把底行当作顶行上边一行时该数应该放置的位置 当到达最右边的一列时，下一个整数要放在最左边的一列上，所放位置就是把最左边的一列当作最右边那列的右边的列时该数应该放置的位置 当要放的位置上已经填好了整数，或上一个整数已经放在了幻方的右上角时，则当前要摆放的整数将放在紧挨上述位置的下方 Konigsberg七桥问题 在哥尼斯堡的一个公园里，有七座桥将普雷格尔河中两个岛及岛与河岸连接起来。问是否可能从这四块陆地中任一块出发，恰好通过每座桥一次，再回到起点？ 一笔画问题 欧拉于1736年研究并解决了此问题，他把问题归结为“一笔画”问题，证明上述走法是不可能的 连通图可以一笔画的充要条件是它们是连通的，且奇顶点(通过此点弧的条数是奇数)的个数为0或2 中国邮递员问题 邮递员从邮局出发送信，要求对辖区内每条街，都至少通过一次，再回邮局。在此条件下，怎样选择一条最短路线? 中国邮递员问题由管梅谷教授在1960年提出，美国国家标准和技术研究院（NIST）首先将此问题命名为中国邮递员问题 中国邮递员问题 假设有一个镇有14条路及9个路口（路口分别编号为 1,2, …,9），如何找到一条最短路线? 欧拉回路 若图中有欧拉回路（图G的一个回路，若它恰通过G中每条边一次 ），则任何一个欧拉回路即为此问题的解 若图中不存在欧拉回路，其中必存在有奇数个边的端点，且这类的端点一定大于2个。因此有些边需要再重复一次，使奇数边的端点变为偶数边的端点 重复边 不存在欧拉回路，其中有4个路口（编号 1, 3, 6 及9）有奇数条路通过 现在要做：在图中使几个边重复，使图中所有的端点均有偶数边通过 问题：确定重复哪个边可以使原图的端点都有偶数边通过，且增加长度最少 ？ 选择重复边 画出所有奇数边的端点的完全图 K4 ，边上的数字是从一端点到另一端点的最短长度 选择边 {1,6} 及 {3,9}，所有端点都经过一次，而总长度 4 + 2 = 6最短 问题的解 原来的图中，连接端点 1 和 6, 端点 3 和 9 的边再重复一次，所有端点均有偶数个边通过 任一个欧拉路径即为此问题的解答，如以下的端点顺序 {1,2,3,4,9,3,1,8,7,3,9,7,6,9,5,6,7,