基于ZBDD的布尔多项式Gr(o)bner基算法的实现 | |
李昕 ; 张寅 | |
刊名 | 计算机应用与软件 |
2011 | |
卷号 | 28期号:2页码:274-276 |
关键词 | ZBDD Gr(o)ttbner基 |
ISSN号 | 1000-386X |
其他题名 | implementing zbdd-based gr(o)bner basis algorithm of boolean polynomials |
中文摘要 | 零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项武Gr(O)bner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率.用C++实现了布尔多项式的Gr(O)bner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高. |
收录类别 | WANFANG ; CNKI |
资助信息 | 中国矿业大学青年科研基金项目(2007A039) |
语种 | 中文 |
公开日期 | 2013-10-08 |
内容类型 | 期刊论文 |
源URL | [http://ir.iscas.ac.cn/handle/311060/16097] |
专题 | 软件研究所_软件所图书馆_期刊论文 |
推荐引用方式 GB/T 7714 | 李昕,张寅. 基于ZBDD的布尔多项式Gr(o)bner基算法的实现[J]. 计算机应用与软件,2011,28(2):274-276. |
APA | 李昕,&张寅.(2011).基于ZBDD的布尔多项式Gr(o)bner基算法的实现.计算机应用与软件,28(2),274-276. |
MLA | 李昕,et al."基于ZBDD的布尔多项式Gr(o)bner基算法的实现".计算机应用与软件 28.2(2011):274-276. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论