非齐次线性递推转化为齐次线性递推的判断

非齐次递推转化为齐次递推的判断

在做leetcode爬楼梯这道题的时候：

假设你正在爬楼梯。需要 n 阶你才能到达楼顶。
每次你可以爬 1 或 2 个台阶。你有多少种不同的方法可以爬到楼顶呢？

官方解法里有利用矩阵快速幂的方法。而利用矩阵快速幂关键在于将一个递推式如$f(n)={\sum }_{i=1}^{m}f(n-i)$这样的齐次线性递推式转换为一个矩阵$m\times m$的矩阵
$$\left[\begin{array}{ccccc}{a}_1& a_2& a_3& \cdots & a_m\\ 1& 0& 0& \cdots & 0\\ 0& 1& 0& \cdots & 0\\ 0& 0& 1& \cdots & 0\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& \cdots & 1\end{array}\right]$$根据相互关系写出递推式$$\left[\begin{array}{c}f(n)\\ f(n-1)\\ f(n-2)\\ f(n-3)\\ ⋮\\ f(n-m-1)\end{array}\right]=\left[\begin{array}{ccccc}{a}_1& a_2& a_3& \cdots & a_m\\ 1& 0& 0& \cdots & 0\\ 0& 1& 0& \cdots & 0\\ 0& 0& 1& \cdots & 0\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& \cdots & 1\end{array}\right]\left[\begin{array}{c}f(n-1)\\ f(n-2)\\ f(n-3)\\ f(n-4)\\ ⋮\\ f(n-m-2)\end{array}\right]$$

当递推式为非齐次方程时，可以将其化为齐次方程再求解，例如
$$f(x)=(2x-6)c+f(x-1)+f(x-2)+f(x-3)$$可以化作
$$\begin{array}{rl}f(x)+xc=& [f(x-1)+(x-1)c]+[f(x-2)+(x-2)c]\\ & +[f(x-3)+(x-3)c]\end{array}$$令$g(x)=f(x)+xc$，那么我们又得到了一个齐次线性地推公式
$$g(x)=g(x-1)+g(x-2)+g(x-3)$$

什么时候非齐次线性递推转化为齐次线性递推呢?小白想了个解法，希望各位大佬指教。设非齐次递推式一般式为
$$f(x)=\sum _{i=1}^{n}f(x-i)+mx+n\text{\hspace{1em}(1)}$$目标是将其化为
$$f(x)+ux+v=\sum _{i=1}^n{a}_i[f(x-i)+u(x-i)+v]\text{\hspace{1em}(2)}$$然后令
$$g(x)=f(x)+ux+v$$化作对应的齐次方程为
$$g(x)=\sum _{i=1}^{n}g(x-i)$$那么问题就在于式(1)能否转化为式(2)呢？将式(2)化作
$$\begin{array}{rl}f(x)& =\sum _{i=1}^n{a}_i[f(x-i)+u(x-i)+v]-ux-v\\ & =\sum _{i=1}^n{a}_{i}f(x-i)+(\sum _{i=1}^n{a}_i-1)ux+(\sum _{i=1}^n{a}_i-1)v-\sum _{i=1}^n{a}_{i}iu\end{array}$$
也就是如果等式
$$\mathbf{m}\mathbf{x}+\mathbf{n}=(\sum _{\mathbf{i}=1}^{\mathbf{n}}{\mathbf{a}}_{\mathbf{i}}-1)\mathbf{u}\mathbf{x}+(\sum _{\mathbf{i}=1}^{\mathbf{n}}{\mathbf{a}}_{\mathbf{i}}-1)\mathbf{v}-\sum _{\mathbf{i}=1}^{\mathbf{n}}{\mathbf{a}}_{\mathbf{i}}\mathbf{i}\mathbf{u}$$有解，那么该非齐次方程递推便可以转化为齐次递推，根据求出的$u$,$v$便可以求出对应的齐次递推。

小白第一次写博客，希望各位大佬指教。😉