对于程序小白,递归思想是不太好理解的,国内相关教材对此的讲解也不够简单易懂,其实这种思想我们在高中数学已经接触过的,只是很少有人把他们联系起来。
其实,递归思想,就是经典证明方法——数学归纳法的一种灵活应用。
先来回顾下数学归纳法吧:
一般地,证明一个与自然数n有关的命题P(n),有如下步骤:
(1)证明当n取第一个值n0时命题成立。n0对于一般数列取值为0或1,但也有特殊情况;
(2)假设当n=k(
k≥n0,k为自然数)时命题成立,证明当n=k+1时命题也成立。
综合(1)(2),对一切自然数n(≥n0),命题P(n)都成立。
再来看一个简单的递归函数:
int recurMul(a,n)
{
if (n == 1)
return a;
else
return a + recurMul(a,n - 1);
}
这是个用递归思想来求正整数a x n的值的函数,简单分析下,它其实就是数学归纳法的应用。
首先,n = 1是,a x 1 = a, 是一定成立的
[(1)证明当n取第一个值n0时命题成立。n0对于一般数列取值为0或1]
其次,假定recurMul(a,n - 1)成立,recurMul(a,n) = a + recurMul(a,n - 1)也是一定成立的。
[(2)假设当n=k(k≥n0,k为自然数)时命题成立,证明当n=k+1时命题也成立。]
所以,该递归函数满足了数学归纳法(1)(2)两个条件,recurMul(a,n)肯定也是成立的,我们就可以通过
recurMul(a,n)来求a x n的值了。