问题的开始
现在有一个数列 \(\mathcal{f} _x\)
满足
\[\mathcal{f} _x= \begin{cases} 1 & x=\{0, 1\} \\ \mathcal{f} _{x-1}+\mathcal{f} _{x-2} & otherwise \end{cases} \]
通俗来讲,这个数列就是当前项等于之前两项之和。
求\(\mathcal{f}_x\mod m的值\)
递归
递归是函数自己调用自己的过程,是一种通过重复将问题分解为同类的子问题而解决问题的方法,和分治类似。
递归的递归定义:
递归就是一种通过递归来解决问题的方法。
这时你如果要理解递归,就必须了解定义中加粗的递归的定义,于是你去看递归的定义,为了理解递归的定义,就必须了解定义中加粗的递归的定义\(\dots\)
于是你渐渐悟出,递归就是自己解释自己,自己使用自己的意思。
事实上,递归在数学中也十分常见:
集合论对自然数的正式定义是:\(1\) 是一个自然数,每个自然数都有一个后继,这一个后继也是自然数。
有限递归与无限递归
无限递归的例子:
从前有座山,山里有座庙。
庙里有个老和尚在给小和尚讲故事。
故事讲的是:
从前有座山,山里有座庙。
庙里有个老和尚在给小和尚讲故事。
故事讲的是:\(\dots\)
没有终止,无穷无尽。
有限递归的例子:
你今年几岁?答:去年的岁数加一岁,2000 年我出生。
这次是有穷尽的递归,到2000年停止递归(2000年时1岁)。
这里2000年停止并返回1岁是递归的终止条件。
代码的例子
int func(传入数值) {
if (终止条件) return 最小子问题解;
return func(缩小规模);
}
回到问题
说了这么多,在回来看一看我们斐波那契数列的问题:
这个数列就是当前项等于之前两项之和。
现在这个问题很明显是递归了,求第 \(x\) 项时先调用 \(x - 1\) 和 \(x - 2\) 项。
代码
int fabbic(int x) {
if (x == 0 || x == 1)
return 1; // 终止条件
return fabbic(x - 1) + fabbic(x - 2); // 递归调用
}