布尔函数零化子次数的一个错误证明的更正  

Modify incorrect proof of one theorem on algebraic degree of Boolean function annihilators

作　　者：张帆[1] 熊炎[1] 方明科[1] 

机构地区：[1]信阳师范学院,计算机与信息技术学院,河南信阳464000

出　　处：《计算机工程与应用》2012年第6期84-85,共2页Computer Engineering and Applications

基　　金：河南省自然科学基金(No.102102210242)

摘　　要：指出了张文英等人关于零点集包含一个k维子空间的n元布尔函数一定存在n-k次零化子的证明,存在明显错误。利用线性空间笛卡儿积的思想,给出了关于上述结论的简洁、严密的逻辑证明。This paper points out it is incorrect proof of one theorem given by Zhang Wenying et al. that Boolean function there be annihilators with algebraic degree n-k, if the Boolean fimction in terms of the set ofx values on whichf（x）=0. It gives a simple rigorous proof for the theorem by structuring Cartesian product of linear spaces.

关 键 词：布尔函数 零化子 代数攻击 笛卡尔积 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]