整式递推数列

详见钟子谦IOI2019国家集训队论文。
对于无限数列 { a i } \{a_i\} { ai​}和有限多项式数列 { P i } \{P_i\} { Pi​}满足$P_0$非$0$多项式。
若对任意 p > = ∣ { P } ∣ − 1 p>=|\{P\}|-1 p>=∣{ P}∣−1有 ∑ i = 0 ∣ { P } ∣ − 1 a p − i P i ( p ) \sum_{i=0}^{|\{P\}|-1} a_{p-i}P_i(p) ∑i=0∣{ P}∣−1​ap−i​Pi​(p)
则称$P$为$a$的整式递推式。
对于有限数列 { a i } \{a_i\} { ai​}也有此定义。
但是整式递推数列只指可以用$P$描述的无限数列 { a i } \{a_i\} { ai​}
举例：卡特兰数。
$C_n=\frac{4n-2}{n+1}{C}_{n-1}$
即
$C_n(n+1)-C_{n-1}(4n-2)=0$
所以$P_0(x)=x+1$，$P_1(x)=2-4x$的有限多项式数列 { P 0 , P 1 } \{P_0,P_1\} { P0​,P1​}即为卡特兰数的整式递推式。

整式递推式 { P i } \{ P_i \} { Pi​}的阶数为$|P|-1$，其次数为${\max }_{i=0}^{|P|-1}\mathrm{deg}{P}_i$。

微分有限：多项式$A(x)$为微分有限的当且仅当存在有限多项式数列 { Q } \{Q\} { Q}，
满足$Q_{|Q|-1}\ne 0$（注意我们的数列都是从$0$开始编号的，所以这句话的意思是最后一项非$0$），
且 ∑ i = 0 ∣ Q ∣ − 1 Q i ( x ) A ( i ) ( x ) = 0 \sum_{i=0}^{|Q|-1}Q_i(x)A^{(i)}(x)=0