两类递推数列

此博客是抄论文的，你可以认为是转载的

1.线性递推数列

有限数列显然是线性递推数列。
无限数列$a_i$设其生成函数为$A(x)$
那么如果$A(x)$能被表示为$\frac{C(x)}{B(x)}$的形式，其中$B(x)[x^0]=1$，则$A(x)$是线性递推数列。
常数项为$1$是因为递推式你要让${\sum }_{j=0}{b}_j{a}_{i-j}=0$来递推出$a_i$所以常数项需要为$1$。
能这样表示是因为线性递推实质上就是$A(x)B(x)=C(x)$，其中$B(x)$是我们的线性递推式。

对于一个线性递推数列$a_i$，假设他前$i$项的最短递推式是$R^{(i)}$，长度为$l_i$，那么如果$R^{(i-1)}$不是前$i$项的最短递推式，那么有$l_i\ge \max (l_{i-1},i+1-l_{i-1})$，且这个等号是可以通过构造取到的。
首先$l_i\ge l_{i-1}$显然，如果$l_i\le$