解决递归式的repertoire method

解决递归式是一个头疼的问题,即使是只求出在大O范围下的封闭解，
需要运用master定理，递归树等等，有时仍然无法解决。
在这里提出的方法并不是在大O意义下的，只是一个大家都很常用的求解递归式的方法。
例如求解递归式

$$\begin{align} f(1)&=\alpha\\ f(2n)&=2f(n)+\beta\ \ \ ,n\ge1\\ f(2n+1)&=2f(n)+\gamma\ \ \ ,n\ge1 \end{align}$$
很容易可以假设出
$$f(n)=A(n)\alpha+B(n)\beta+C(n)\gamma$$
其中 $A(n),B(n),C(n)$是只於 $n$有关的函数。
我们可以随意假设出$f(n)$来求取 $A(n),B(n),C(n)$
首先假设 $f(n)=n$,那么 $\alpha=1, \beta=0 , \gamma = 1$
得到 $$A(n)+C(n)=n\tag{1}$$
然后给 $f(n)$一个常函数,例如 $f(n)=1$,
那么 $\alpha=1, \beta=-1 , \gamma = -1$
得到
$$A(n)-B(n)-C(n)=1\tag{2}$$
还需要一个式子才能解出三个函数。
这时无论令 $f(n)$为什么都不好做了。
那么我们可以观察原式。
发现如果令 $f(n)=A(n)$,那么原式会变为
$$\begin{align} A(1)&=1\\ A(2n)&=2A(n)\ \ \ ,n\ge1\\ A(2n+1)&=2A(n)\ \ \ ,n\ge1 \end{align}$$
可以直接使用归纳法解得 $A(n)$
$$A(n)=2^m,其中n=2^m+l(0\le l\lt2^m)\tag{3}$$
联立 $(1)(2)(3)$式即可解得
$$\begin{align} A(n)&=2^m\\ B(n)&=2^m-1-l\\ C(n)&=l \end{align}$$
即可解得 $f(n)$
这种方法的思想就是待定系数法。
有时还需要敏锐的观察力和灵感。

注:我在一本书上发现了和上式形式相近的一类递归式通用的神奇解法，我会在仔细研究后发上来。