为真，根据数学归纳法可知p(n).ppt

归纳与递归 1 数学归纳法 2 递归定义 3 递归算法 1 数学归纳法 理解数学归纳法 1 数学归纳法 理解数学归纳法 我能到梯步 1 如果我能到梯步 k，那么我就能到梯步 k+1 因此，我能到所有的梯步 1 数学归纳法 原理：k, n ∈Z+ [ P(1)∧?k ( P(k) → P(k+1)) ] → ?nP(n) 永真 基础步骤：证明 P(1)＝T 归纳步骤：证明 ?k ( P(k) → P(k+1))＝T 注意：证明的是蕴涵式为真，而不是 P(k) 为真 证明结论：?nP(n)＝T 1 数学归纳法 数学归纳法为什么有效？ 良序性公理：每个非空的非负整数集都有最小元 推论：数学归纳法是有效的 数学归纳法证明完成后，必须保证 ?n P(n) 为真 假设反命题 ?n ?P(n) 为真，即存在 n 使 P(n) 为假 则有最小 m 使 P(n) 为假，且 m≠1，即 m1 但 m-1 肯定使 P(n) 为真，根据数学归纳法可知 P(n) 为真 这与 m 的选择矛盾！ 练习 猜测以下计算公式，并用数学归纳法证明 练习 猜测以下计算公式 练习 用数学归纳法证明：当n≥2时，如下P(n)成立 归纳基础：n=2，P(2)成立 归纳假设：n=k(k≥2)时，P(k)成立 归纳步骤：n=k+1时，P(k+1)是否成立？ 练习 用数学归纳法证明：当n≥2时，如下P(n)成立 归纳步骤：n=k+1时，P(k+1)是否成立？ 练习 证明对正整数n，6是4n+7n+1的因子 归纳基础：n=1时，6是4+7+1=12的因子，成立 归纳假设：n=k时，6是4k+7k+1的因子 归纳步骤：n=k+1时，是否成立？ 练习 证明对正整数n，6是4n+7n+1的因子 归纳步骤：n=k+1时，是否成立？ 强数学归纳法(第二数学归纳法) 归纳基础 求证 P(1) 为真 归纳步骤： 对每个正整数 k 求证 P(1)∧P(2)∧…∧P(k)→P(k+1) 为真 强数学归纳法(第二数学归纳法) 算术基本定理：大于1的整数n可以写成素数之积 基础步骤：P(2)为真 归纳步骤：假设 P(j) 对所有 j≤k 的整数都真 求证 P(j+1) 为真 若 j+1 为合数，则存在a、b(2≤a≤bj+1)使 j+1 = a*b 根据归纳假设，a 和 b 可表示为素数之积，得证 若 j+1 为素数，自然得证 数学归纳法小结 主要用于证明关于离散对象的结论 离散对象总是可以用正整数来计数 只是一个证明工具，不是发现工具 只能证明通过其它方式得到的结论 需要利用经验或试推先猜测结论 2 递归定义与结构归纳法 递归(Recursion)定义的对象 递归地定义函数 递归函数 f：定义域={非负整数} 递归基础：f(0) 初始条件 递归步骤：f(n)=g(f(k)), kn, n＞0 递归方程 递归地定义函数 例1 初始条件：f(0)=3 递归方程：f(n+1)=2f(n)+3 计算 f(1), f(2), f(3), f(4) 函数的闭公式 f(n)=？ 递归地定义函数 例2：自然数阶乘 n! 初始条件：f(0) = 1 递归方程：f(n) = nf(n–1)，n0 计算阶乘的 C 语言递归函数？ 递归地定义函数 递归定义的函数是良定义的 对每个正整数，函数值的计算方式是确定无疑的 一定能用递归定义中的某一公式进行计算 不是初始条件，就是递归方程 递归地定义函数 定义1：菲波那契数(Fibonacci) 初始条件：F(0) = 0，F(1) = 1 递归方程：F(n) = F (n–1) + F (n–2)，n1 Fibonacci 数的闭公式？ 练习 根据如下函数定义，计算 f(1), f(2), f(3), f(4) 练习 根据如下函数定义，计算 f(7) 练习 以下是良定义的递归函数吗？ 练习 根据如下函数定义，计算 f(2) 练习 证明 Fibonacci 数列满足以下性质 递归地定义集合与结构 例3. S={ 被 3 整除的正整数 } 递归基础：3?S 基础规则：定义初始元素 递归步骤：X?S∧Y?S→X+Y?S 构造规则：定义新元素 排斥规则：规定集合只含由①②定义的元素 默认排斥规则一定成立 练习 给出S={ 4,7,10,13,16,19,…}的递归定义 递归基础 递归步骤 递归地定义集合与结构 字符串相关的递归定义 字母表 ∑＝？ 字符串集合 ∑*、字符串的连接运算 ? 字符串长度 l(w) 递归地定义集合与结构 C 语言中有字符串吗？ char * s; 如何操作字符串(string.h) 连接：char* strcat ( s, t ) 长度：size_t strlen ( s ) …？ 递归地定义集合与结构 结构的递归定义：树 根树 二叉树