基于ZBDD的布尔多项式Gr(o)bner基算法的实现

• 作者: 张寅 李昕
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: ZBDD Gr(o)ttbner基
• 年，卷（期）: 2011,（2）
• 页码范围: 274-276
• 分类号: TP3
• 字数: 2619字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2011.02.082

摘要

零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项武Gr(O)bner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率.用C++实现了布尔多项式的Gr(O)bner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李昕	中国矿业大学计算机学院	54	993	14.0	31.0
5	张寅	中国科学院软件研究所	4	13	2.0	3.0