计算复杂性件.ppt

1000个图片的拼图，如果没有考虑把握技巧，那么对于每个图片有正反面、左右和对错3种组合8种状态，这样我们把所有图片拼在一起需要考虑81000种状态（步骤）情况拼图，这是一个惊人的数字，用计算机求解在我们的有生之年是看不到结果的。难道这个问题就没有结果了吗？非也，我们人不是在玩这种游戏吗？我只用了一两天甚至更短的时间就成功了，哪有你老师说的那么复杂？那样不是很郁闷吗？我拼图成功很是快乐，为什么？ 同学，游戏不是这样玩的！ 我们的课程可以使你从可郁闷性与郁闷复杂性到可快乐性与快乐复杂性的。怎么办？分类分解问题呗！首先把图片都翻到相同一面，最坏时要做1000次，如果图片字母标号有20种，然后把它们根据字母标号分成20子类，每一子类再根据字母正反分为2个子子类，同样拼图时相邻的图片是交错排列的，按照这样的分类方法进行拼图看看最坏时我们需要多少个步骤？ 玩游戏是一门学问呦！ 1000+1000+20?250个状态（步骤），这些状态步骤完全在你的有限时间掌控之中，因此能够在一两天甚至更短时间内完成拼图任务。嗷！原来是这样的呀！看来学好这门课会使我们从可郁闷性与郁闷复杂性到可快乐性与快乐复杂性的！！！为了学好这门课程我们有必要介绍这门课程的本质与定位以及一些重要历史人物，他们是？？？？？ 计算学科（Computing Science）即我们所熟悉的计算机科学与技术(Computer Science and Technology)。计算学科是对描述和变换信息的算法过程，包括其理论、分析、设计、效率分析、实现和应用等进行的系统研究的一门学科。它涉及计算过程的分析如可计算性、算法，研究有关计算机的各种现象、揭示其规律与本质如计算机的设计和使用、可计算性硬件和软件的实际实现问题。 计算学科的基本问题是能行与效率的问题,即它的核心问题是“能行”问题(Practicability)： 1)什么是（实际）可计算的？什么是（实际）不可计算的？ 2)如何保证计算的自动性、有效性及正确性？ 1985年春，ACM（美国计算机协会）和IEEE－CS（国际电子电气工程师学会计算机分会）组成联合攻关小组，开始了对“计算作为一门学科”的存在性证明。1989年1月，该小组提交了《计算作为一门学科》（Computing as a discipline）的报告。第一次给出了计算学科一个透彻的定义，回答了计算学科中长期以来一直争论的一些问题，完成了计算学科的“存在性”证明，还提出了未来计算科学教育必须解决的二个重大问题――整个学科核心课程详细设计及整个学科综述性导引课程的构建。1991年，在这报告的基础上提交了关于计算学科教学计划CC1991（Computing Curricula 1991）。2001年12月，提交了最终的CC2001报告。 《计算作为一门学科》报告及CC1991、CC2001一起解决了三个重要问题： 第一个重大问题（计算作为一门学科的存在性证明）的解决。对学科本身的发展至关重要。如果在众多分支领域都取得了重大成果并已得到广泛应用的“计算”，连作为一门学科的地位都不清楚，那么它的发展势必要受到很大的限制。 第二个重大问题（整个学科核心课程详细设计）的解决，将为高校制定计算机教学计划奠定基础。确定一个公认的本科生应该掌握的核心内容，将避免教学计划设计中的随意性，从而为我们科学地制定教学计划奠定基础。 第三个重大问题（整个学科综述性导引课程的构建）的解决，将使人们对整个学科的认知科学化、系统化和逻辑化。如果人们对计算学科的认知能建立在公理化的基础之上，则该学科可被认为是严谨的科学、成熟的学科，从而有助于它的发展，并将由此而得到人们的尊重。 攻关小组的结论是：计算学科所研究的根本问题是能行问题（什么能被（有效地）自动进行）。计算学科的基本原理已纳入理论、抽象和设计这3个具有科学技术方法意义的过程中。学科的各分支领域正是通过这3个过程来实现它们各自的目标。而这3个过程要解决的都是计算过程中的“能行性”和“有效性”问题。 与数学相比，电子技术的重要性对计算科学而言不如数学，因为数学提供了计算科学最重要的学科思想和方法论基础，而电子技术只提供了电子计算机的实现技术，它仅仅只是对计算科学许多思想和方法的一种当前最现实、最有效的实现技术手段而已。当科学技术的手段提到发展时，完全有可能有某一项新技术归结为有效地取代电子技术（如光技术、生物技术等等），但计算科学的数学基础可能变化不大。 从事计算科学的人都知道，计算科学中不仅许多理论是用数学描