[小学教育]4计算学科中的核心概念.ppt

第四章 计算科学中的核心概念 学科的核心概念是学科中最关键、最重要的概念，它涉及学科研究的内涵、对象、本质、核心要素等内容 基本特征 (1)在学科中多处出现 (2)在各分支领域及抽象、理论和设计的各个层面上都有很多示例 (3)在技术上有高度的独立性 (4)一般都在数学、科学和工程中出现 第四章 计算科学中的核心概念 4.1 算法 4.2 数据结构 4.3 程序 4.4 软件 4.5 硬件 4.6 CC1991报告提取的核心概念 4.1 算法 算法是最具有方法论性质的核心概念 算法是计算科学的灵魂 算法设计的优劣决定着软件系统的性能 对算法进行研究能深刻理解问题的本质以及可能的求解技术 4.1 算法 算法的历史简介 算法的定义和特征 算法实例 算法的表示方法 算法分析 4.1 算法 算法的历史简介 “解某种问题的任何专门的方法”——韦氏新世界词典 希尔伯特著名的23个数学问题第10个问题“丢番图方程的可解性问题” 丢番图方程：对于具有整数系数的不定方程，只考虑其整数解。 实质：能否写出一个可以判定任意丢番图方程是否可解的算法？ 4.1 算法 算法的历史简介 线性丢番图方程 对于只有一个未知数的线性丢番图方程，ax=b，只要a能整数b，就可判定其有整数解，该整数解即b/a。 对于有两个未知数的线性丢番图方程，ax+by=c，先求出a和b的最大公因子d，若d能整除c，则该方程有解（整数解）。 4.1 算法 算法的历史简介 线性丢番图方程 例: 13x+26x=52有无整数解？ 例: 2x+4y=15有无整数解？ 4.1 算法 算法的历史简介 欧几里德算法（求最大公因子） (1)以n除m，并令所得余数r(r必小于n)； (2)若r＝0，算法结束，输出结果n；否则，继续步骤(3)； (3)将n置换为m，r置换为n，并返回步骤(1)继续进行。 4.1 算法 算法的历史简介 例：设m=56，n=32，求m，n的最大公因子。 是求解过程，也是判定过程 命题“m和n是互质的”的真伪 4.1 算法 算法的定义和特征 《计算机程序设计的艺术》第一卷——克努特 算法的非形式化定义 一个算法，就是一个有穷规则的集合，其中之规则规定了一个解决某一特定类型的运算序列 4.1 算法 算法的定义和特征 算法的重要特性 (1)有穷性：一个算法在执行有穷步之后必须结束 (2)确定性：算法的每一个步骤必须要确切地定义 (3)输入：算法有零个或多个的输入 (4)输出：算法有一个或多个的输出 (5)能行性：算法中有待执行的运算和操作必须是相当基本的 4.1 算法 算法的定义和特征 算法的形式化定义 算法是一个四元组，即(Q,I,Ω,F) (1)Q是一个包含子集I和Ω的集合，它表示计算的状态； (2)I表示计算的输入集合； (3)Ω表示计算的输出集合； (4)F表示计算的规则，它是一个由Q到它自身的函数，且具有自反性，即对任何一个元素q∈Q，有F(q)=Q。 4.1 算法 算法的定义和特征 算法的形式化定义 一个算法是对于所有的输入元素x，都是在有穷步骤内终止的一个计算方法 对于任何一个元素x∈I，x均满足以下性质：x0=x，xk+1=F(xk)，(k≥0) 该性质表示任何一个输入元素x均有一个计算序列，即x0，x1，x2，…，xk。对任何输入元素x，该序列表示算法在第k步结束 4.1 算法 算法实例 例：求1＋2＋3＋……＋100 设变量X表示加数，Y表示被加数 ①将1赋值给X ②将2赋值给Y ③将X与Y相加，结果存放在X中 ④将Y加1，结果存放在Y中 ⑤若Y小于或等于100，转到步骤③继续执行；否则，算法结束，结果为X 4.1 算法 算法实例 例：求解调和级数Hn=1/1+1/2+…+1/n 设变量X表示累加和，变量I表示循环的次数 ①将0赋值给X ②将1赋值给I ③将X与1/I相加，然后将结果存入X ④将I加1 ⑤若I大于等于n，算法结束，结果为X;否则转到步骤③继续执行 4.1 算法 算法实例 例：求解斐波那契数 F0=0，F1=1，Fn+2=Fn+1+Fn，n≥0 设变量X表示前一个数的值，即定义中的Fn，变量Y表示当前数的值，即定义中的Fn+1，变量Z表示后一个数的值，即定义中的Fn+2。 ①如果n=0，那么将0赋值给Y，并输出Y，转步骤(11)，否则继续执行 ②将0赋值给X，将1赋值给Y ③输出X，Y ④将1赋值给I 4.1 算法 算法实例 例：求解斐波那契数 F0=0，F1=1，Fn+2=Fn+1+Fn，n≥0 ⑤如果I大于n-1，则转到步骤(11)，否则继续执行 ⑥将X和Y的和赋值给Z ⑦将Y赋值给X ⑧将Z赋值给Y ⑨将Y输出 ⑩将I加1，转步骤⑤继续执行 (11)算法结束 4.1 算法 算法的表示方法 自然语言 图形工具：流程图、盒图、问题求解图