论文部分内容阅读
要布尔方程组求解技术对于密码分析具有重要的现实意义．然而，在众多求解算法的实际计算过程中，难以抑制的空间需求增长与计算机系统有限的存储能力之间的矛盾，正是当前制约布尔方程组求解技术取得更大成果的最主要瓶颈．针对基于消项的求解算法，分析了该矛盾的产生根源，提出了解决途径，进而设计了一种全新的布尔多项式计算机表示，称之为BanYan．BanYan适用于基于首项约化的求解算法，如F4，F5，XL等算法．通过记录中间结果的生成信息而非其本身，避免算法实现陷入项数规模高速膨胀带来的巨大存储负担．与BDD和系数矩阵等