第3讲 归纳法.ppt

归纳法 基于递归的技术 在最简单的形式中，递归是这样一种过程：先把问题分成一个或多个子问题，这些子问题在结构上和原来的问题一模一样，然后解这些子问题，把这些子问题的解组合起来，从而得到原问题的解。 归纳法，或称为尾递归； 无重叠子问题； 有重叠子问题。 归纳法 考虑一个带有参数n的问题，n通常表示问题实例中事务的数目 在进行问题求解时，从求解一个带有小一点参数的相同问题开始，然后再把解推广到包含所有n个对象 该方法基于数学归纳法证明技术，所设计的算法的正确性已自然地嵌入到算法的描述中了。 Algorithm 5.1 SELECTIONSORTREC Input: An array A[1…n] of n elements. Output: A[1…n] sorted in nondecreasing order. 1. sort(1) Procedure sort(i) {Sort A[i…n]} 1. if in then 2. k?i 3. for j?i+1 to n 4. if A[j]A[k] then k?j 5. end for 6. if k ?i then interchange A[i] and A[k] 7