光滑性准则（Smoothness Rule） 递推方程（Recursive Equation）

光滑性准则

称一个函数是研究处不减的当且仅当它在研究处单调不增。
称一个函数是b-光滑的（$b\ge 2$）当且仅当它是研究处不减的，并且它的$bk$子序列受制于它本身（$k=1,2,\cdots$）。
称一个函数是光滑的当且仅当它对所有$b\ge 2$是b-光滑的。
一般大多数标注函数都是光滑的。增长太快的类似$f(n)=n^{\log n}$、$f(n)=2^n$、$f(n)=n!$是不光滑的。
光滑性准则 如果计算函数$t$是研究处不减的，标注函数$f(n)$是光滑的，且对于$n=b^k(k=1,2,\cdots )$的$t(n)$受制于/制约/同等级于$f(n)$，则对所有$n$都有$t(n)$受制于/制约/同等级于$f(n)$。

递推方程

假设有递推方程$$a_n{t}_n+a_{n-1}{t}_{n-1}+a_{n-2}{t}_{n-2}+\cdots =b_1^n{p}_1(n)+b_2^n{p}_2(n)+b_3^n{p}_3(n)+\cdots$$
则这个方程的特征根$x$满足$$Q(x)\prod _i(x-b_i{)}^{\mathrm{deg}(p_i)+1}=0$$
如果没有重根，则$t$是$x_i^n$的线性组合。
如果有重根，则$x_i^n$改为$x_i^n,n{x}_i^n,n^2{x}_i^n,\cdots$。