本影演算其实更正式的中文名叫做哑运算,这里觉得这么叫更有趣一些。
本影演算法的起源可以追溯到上个世纪(Bell(1938))。本影演算法这个名字是由西尔维斯特发明的,这种演算法(也被称为Blissard演算法或符号演算法)是一套启发式装置,其中的子项被当作幂来处理。让我们来看一个例子,看看这是什么意思(更多的例子可以在Guinand(1979)中找到)。伯努利数
定义的。
19世纪本影演算中使用的法宝是这种记法:
这里我们用
一个微不足道的标准代数运算就可以得到如下结果:
注意我们进行的是完全形式的计算!你可能会觉得上面这个式子实在太诡异了,因为实际上它导出方式确实非常诡异:
然后我们将
其中
不对!此时我们把上标换回下标,然后我们就可以得到惊人的恒等式:
这个式子是正确的!!通常的证明需要考虑倒数级数
实际上,不难发现我们当前的本影演算法存在很大的问题:
在对此方法改进的过程中,Rota(1964)取得了一个重大突破,其中,为了处理与拆分相关的问题,下降上指标的过程被作用于多项式上的泛函所取代。这一思想在Mullin和Rota(1970)中被扩展到了一个作用于多项式上的移位不变量算子的理论和一个二项式形多项式的相关类。后来,对种类(species)概念的最新扩展,将所有的二项式多项式都与物种相关联。随后,这种现代形式本影演算法在Rota,Kahaner和Odlyzko(1973)中被扩展到Sheffer多项式类。
在后面的章节中我们将逐步完善这一理论的基础。