前言
准备期末考就不做题了吧。。。
填一点坑。
反演原理
为了下文方便,我们定义一个函数 U i , j = [ i = j ] U_{i,j}=[i=j] Ui,j=[i=j],其中 [ q ] [q] [q] 表示 q q q成立时值为 1 1 1,反之值为 0 0 0。
首先我们有一个数列 a a a,以及一个二元函数 f i , j f_{i,j} fi,j,以及一个已经知道的数列 b b b。
a a a的生成法则为: a i = ∑ j = 0 i f i , j b j ① a_{i}=\sum\limits_{j=0}^{i}f_{i,j}b_{j}① ai=j=0∑ifi,jbj①
那么假如我们直到了 a a a,能不能通过类似得生成法则倒推回 b b b呢(这也就意味着在这个生成法则上,任意一个 a a a数列都对应着一个 b b b数列,有点反函数的味道),这个过程就叫反演。
假定也有一个函数 g g g。
那么 b i = ∑ j = 0 i g i , j a j ② b_{i}=\sum\limits_{j=0}^{i}g_{i,j}a_{j}② bi=j=0∑igi,jaj②
那么我们把 ① ① ①带入 ② ② ②中得:
b i = ∑ j = 0 i g i , j ∑ k = 0 j f j , k b k b_{i}=\sum\limits_{j=0}^{i}g_{i,j}\sum\limits_{k=0}^jf_{j,k}b_{k} bi=j=0∑igi,jk=0∑jfj,kbk
b i = ∑ j = 0 n b j ∑ k = j n g i , k f k , j ③ b_{i}=\sum\limits_{j=0}^{n}b_{j}\sum\limits_{k=j}^{n}g_{i,k}f_{k,j}③ bi=j=0∑nbjk=j∑ngi,kfk,j③
那么,一个比较明显的事情就是如果两边需要相等的话,那么需要:
∑ k = j i g i , k f k , j = U i , j \sum\limits_{k=j}^ig_{i,k}f_{k,j}=U_{i,j} k=j∑igi,kfk,j=Ui,j