摘要:
文章从代数正规型中线性项与非线性项关系的角度,给出了de Bruijn序列特征函数新的必要条件.设f(x0,x1,…,xn)=x0(①)g(x1,…,xn-1)(①)xn是一个n阶de Bruijn序列的特征函数,记L(g)为函数g的代数正规型中所有线性项的模2加,若L(g)=0,证明了非线性项x1x2,x2x3,…,xn-2xn-1中至少有一个不在函数g的代数正规型中出现.进一步地,若L(g)=x1(①)x2(①)…(①)xn-2,则当xn-2xn-1不在函数g的代数正规型中出现时,非线性项x1x2,x2x3,…,xn-3xn-2中也至少有一个不在函数g的代数正规型中出现.类似的,若L(g) =x2(①)x3(①)…(①)xn-1,则当x1x2不在函数g的代数正规型中出现时,非线性项x2x3,x3x4,…,xn-2xn-1中也至少有一个不在函数g的代数正规型中出现.对任意整数1≤k≤(n-I)/2,若L(g)=x(①)x2(①)…(①)xk(①)xn-k(①)xn-k+1(①)…(①)xn-1,给出了函数g在其真值表中部分位置上的取值限制.