计算机资料收集 计算机理论与计算模型.pptVIP

《计算机导论》 第二章 计算理论与计算模型 计算机按用途又可分为专用计算机和通用计算机。专用与通用计算机在其效率、速度、配置、结构复杂程度、造价和适应性等方面是有区别的。 专用计算机针对某类问题能显示出最有效、最快速和最经济的特性，但它的适应性较差，不适于其它方面的应用。我们在导弹和火箭上使用的计算机很大部分就是专用计算机。这些东西就是再先进，你也不能用它来玩游戏。 通用计算机适应性很强，应用面很广，但其运行效率、速度和经济性依据不同的应用对象会受到不同程度的影响。 通用计算机按其规模、速度和功能等又可分为巨型机、大型机、中型机、小型机、微型机及单片机。这些类型之间的基本区别通常在于其体积大小、结构复杂程度、功率消耗、性能指标、数据存储容量、指令系统和设备、软件配置等的不同。 一般来说，巨型计算机的运算速度很高，可达每秒执行几亿条指令，数据存储容量很大，规模大结构复杂，价格昂贵，主要用于大型科学计算。它也是衡量一国科学实力的重要标志之一。 单片计算机则只由一片集成电路制成，其体积小，重量轻，结构十分简单，性能介于巨型机和单片机之间的就是大型机、中型机、小型机和微型机。它们的性能指标和结构规模则相应的依次递减。 《计算机导论》 第二章 计算理论与计算模型 《计算机导论》 第二章 计算理论与计算模型 《计算机导论》 第二章 计算理论与计算模型 《计算机导论》 第二章 计算理论与计算模型 * 1.计算复杂性的发展 1993年的图灵奖授予合作奠定了计算复杂性理论基础的两位学者J.Hartmanis和R.E.Stearns。 在此以前，已有M.O.Rabin、S.A.Cook、R.M.Karp等学者因在计算复杂性理论研究中做出先驱性工作而分别在1976、 1982和1985年获得图灵奖。Hartmanis和Stearns则在前人工作的基础上，比较完整地提出了计算复杂性的理论体系，并首次正式命名了计算复杂性(computational complexity)，因而被公认为计算复杂性理论的主要创始人。 2.2 计算理论 * 1995年度的图灵奖授予加州大学伯克利分校的计算机科学家Manuel Blum，他是计算复杂性理论的主要奠基人之一。 Blum与前述两人互相独立地进行着相关问题的研究，并完成了他的博士论文：A machine independent theory of the complexity of recursive functions (与机器无关的递归函数复杂性理论)，论文提出了有关计算复杂性的4个公理，被称为布卢姆公理系统。目前，可计算理论的绝大部分结果都可以从这个公理系统推导出来。 2.2 计算理论 计算复杂性理论应用于计算机安全(密码学)、软件工程的程序正确验证，以及算法博弈论。 * 2.计算复杂性 2.2 计算理论 算法复杂性→针对特定算法 计算复杂性→针对特定问题，反映问题的固有难度 计算复杂性＝最佳的算法复杂性 计算复杂性：用计算机求解问题的难易程度。 度量标准： ①时间复杂度→计算所需的步数或指令条数； ②空间复杂度→计算所需的存储空间大小。 * 假设一个问题有两种算法： ①算法复杂性是n3 (0.2s) ②算法复杂性是3n (4*1028s,1千万亿年) (用每秒百万次的计算机，n=60) 如果一个问题没有多项式时间复杂性的算法，则被称为难解型问题。 2.2 计算理论 复杂性函数 问题规模n 10 30 50 60 n 0.01ms 0.03ms 0.05ms 0.06ms n3 1ms 27ms 125ms 216ms n5 100ms 24.3s 5.2min 13min 2n 1ms 17.9min 35.7年 366世纪 * 3.P类问题和NP类问题 按复杂性把问题分成不同的类。 2.2 计算理论 P类问题：由确定型图灵机在多项式时间内可解的一切判定问题所组成的集合。 P类问题包含了大量的已知自然问题，如计算最大公约数、计算π值、排序问题、二维匹配问题等。 NP类问题：由非确定型图灵机在多项式时间内可计算的判定问题所组成的集合。 也就是说，如果一个问题的潜在解答可以在多项式时间内被证实或证伪，则该问题属于NP。NP类问题数量巨大，如完全子图问题、图的着色问题、汉密尔顿回路问题、以及旅行销售员