正形置换的差分性质

在研究多输出Boole函数差分的基础上,利用多平衡多输出Boole函数的差分特性,证明了一个置换f(x)是正形置换的充要条件是其差分δf(α,α)=δf(0,α)=0(α≠0);指出了正形置换的差分分布表具有以下特征:(1)每一行和每一列的元素之和均为2n;(2)除δf(0,0)=2n外,差分分布表中首行、首列以及主对角线上其他元素全为零.