| 一种布尔多项式的高效计算机表示 | |
| 李昕 ; 林东岱 ; 徐琳 | |
| 2015-09-10 ; 2015-09-10 | |
| 关键词 | 代数攻击 布尔多项式代表 布尔方程组求解 Grnber基 空间需求 |
| 中文摘要 | 布尔方程组求解技术对于密码分析具有重要的现实意义.然而,在众多求解算法的实际计算过程中,难以抑制的空间需求增长与计算机系统有限的存储能力之间的矛盾,正是当前制约布尔方程组求解技术取得更大成果的最主要瓶颈.针对基于消项的求解算法,分析了该矛盾的产生根源,提出了解决途径,进而设计了一种全新的布尔多项式计算机表示,称之为BanYan.BanYan适用于基于首项约化的求解算法,如F4,F5,XL等算法.通过记录中间结果的生成信息而非其本身,避免算法实现陷入项数规模高速膨胀带来的巨大存储负担.与BDD和系数矩阵等基于项的传统布尔多项式表示相比,平均情况以及最坏情况下,使用BanYan表示法所需要的空间约为项数表示法的1?l(l为计算过程中产生的多项式的平均项数),从而显著提升布尔方程组求解算法的现实求解能力. |
| 内容类型 | 期刊论文 |
| 源URL | [http://ir.calis.edu.cn/hdl/232060/14131]  |
| 专题 | 中国矿业大学（徐州） |
| 推荐引用方式 GB/T 7714 | 李昕,林东岱,徐琳. 一种布尔多项式的高效计算机表示[J],2015, 2015. |
| APA | 李昕,林东岱,&徐琳.(2015).一种布尔多项式的高效计算机表示.. |
| MLA | 李昕,et al."一种布尔多项式的高效计算机表示".(2015). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论