计算机引论专题报告作业.docVIP

《计算机科学引论》课程专题报告 题 目：计算学科中的典型问题或哲学问题简介 学生姓名： 学 院： 系 别： 专 业： 班 级： 年 月 引言 - 2- 1计算学科中的典型问题或哲学问题简介 - 2 - 1.1计算机科学典型问题示例 - 2 - 1.1.1哥尼斯堡七桥问题 - 2 - 1.1.2汉诺塔问题 -3 - 1.1．3哲学家共餐问题 -4 - 1.1.4旅行商问题 -5 - 1.1.5类问题和NP类问题P -6 - 1.1.6哲学基本问题的理论意义和实践意义 - 7 - 引言 计算学科的飞速发展，改变着人们的生活、工作、学习和交流方式。计算意味着什么？计算学科意味着什么？这些都成为哲学工作者和从事计算机研究、开发的人员必须面对的重大的元问题。建构计算学科根本问题的理论框架，形成计算学科的元理论——计算学科中的哲学问题就成为当务之急。“计算学科中的哲学问题”的提出是在计算机日益成为人们生活重要组成部分时，从哲学的层面对计算机文化现象与计算学科的重新定位和反思。人类社会所特有的技术结构包括两方面：一方面是外在于人的工具系统；另一方面是人使用工具的技能。这两方面相互协调又互相转化地双向发展，推动着人类技术以加速度向前发展，并由此导致了社会现代化和人类自身现代化的双向发展。以往的工具都是人类躯体的延伸。而计算机是人脑的延伸。 寻找走遍这7座桥且只许走过每座桥一次，最后又回到原出发点的路径 欧拉将七桥问题抽象成了一个“一笔画”问题。怎样不重复地通过7座桥，变成了怎样不重复地画出一个几何图形的问题。原先，人们是要求找出一条不重复的路线，欧拉接下来着手判断：这种不重复的路线究竟存在不存在？由于这么改变了一下提问的角度，欧拉抓住了问题的实质。欧拉发现，凡是能用一笔画成的图形，都有这样一个特点：每当你用笔画一条线进入中间的一个点时，你还必须画一条线离开这个点。否则，整个图形就不可能用一笔画出。也就是说，单独考察图中的任何一个点（除起点和终点外），它都应该与偶数条线相连；如果起点与终点重合，那么，连这个点也应该与偶数条线相连。 结论： （1）如果通奇数座桥的地方不止两个，满足要求的路线是找不到的； （2）如果只有两个地方通奇数座桥，可以从这两个地方之一出发，找到所要求的路线； （3）如果没有一个地方是通奇数座桥的，则无论从哪里出发，所要求的路线都能实现。欧拉的论文为图论的形成奠定了基础。今天，图论已广泛地应用于计算机科学、运筹学、信息论、控制论等科学之中，并已成为我们对现实问题进行抽象的一个强有力的数学工具。随着计算机科学的发展，图论在计算机科学中的作用越来越大，同时，图论本身也得到了充分的发展。 1.1.2汉诺塔问题 1）每次只能移动一个盘子； 2）盘子只能在三根柱子上来回移动不能放在他处 ； 3）在移动过程中三根柱子上的盘子必须始终保持大盘在下小盘在上 天神说，当这64个盘子全部移到第三根柱子上后，世界末日就要到了。汉诺塔问题是一个典型的用递归方法来解决的问题。递归是计算机学科中的一个重要概念。所谓递归，就是将一个较大的问题归约为一个或多个子问题的求解方法。而这些子问题比原问题简单，且在结构上与原问题相同。根据递归方法，我们可以将64个盘子的汉诺塔问题转化为求解63个盘子的汉诺塔问题，如果63个盘子的汉诺塔问题能够解决，则可以将63个盘子先移动到第二个柱子上，再将最后一个盘子直接移动到第三个柱子上，最后又一次将63个盘子从第二个柱子移动到第三个柱子上。 1.1．3哲学家共餐问题 哲学家的生活进程 思考问题 饿了停止思考，左手拿一支筷子（拿不到就等） 右手拿一支筷子（拿不到就等） 进餐 放右手筷子 放左手筷子 重新回到思考问题的状态1 Deadlock Starvation 1.1.4旅行商问题 旅行商问题（Traveling Salesman Problem，简称TSP）是威廉·哈密尔顿（W.R.Hamilton）爵士和英国数学家克克曼（T.P.Kirkman）于19世纪初提出的一个数学问题。这是一个典型的NP完全性问题。其大意是：有若干个城市，任何两个城市之间的距离都是确定的，现要求一旅行商从某城市出发，必须经过每一个城市且只能在每个城市逗留一次，最后回到原出发城市。问如何事先确定好一条最短的路线，使其旅行的费用最少。 人们在考虑解决这个问题时，一般首先想到的最原始的一种方法是：列出每一条可供选择的路线（即对给定的城市进行排列组合），计算出每条路线的总里程，最后从中选出一条最短的路线。假设现在给定的4个城市