基于ZBDD的布尔多项式Grobner基算法的实现 | |
李昕 ; 张寅 | |
刊名 | Computer Applications and Software |
2011 | |
卷号 | 28期号:2 |
关键词 | Grobner基 |
ISSN号 | 1000-386X |
其他题名 | implementing zbdd-based grobner basis algorithm of boolean polynomials |
中文摘要 | 零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Grobner基算法可以在运算 中保持ZBDD结构的不变性从而进一步提高计算效率。用C+ +实现了布尔多项式的Grobner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高。 |
英文摘要 | As a rising data structure storing Boolean polynomial in recent years, ZBDD (zero suppressed binary decision diagram) enables more efficient computing speed and more balanced memory consumption.The Gr?bner basis algorithm of Boolean polynomial based on it can maintain ZBDD structure unchanged so as to further enhance the efficiency of computations. In this paper, we use C + + to achieve the Boolean polynomials Gr?bner-basis computation with the irreducibility processing on Gr?bner basis,and the feasibility of the algorithm as well as the improvement on efficiency of the operations are verified as well. |
学科主题 | Automation & Control Systems |
收录类别 | CSCD |
资助信息 | 中国矿业大学青年科研基金项目 |
语种 | 中文 |
CSCD记录号 | CSCD:4377947 |
公开日期 | 2013-10-08 |
内容类型 | 期刊论文 |
源URL | [http://ir.iscas.ac.cn/handle/311060/16146] |
专题 | 软件研究所_软件所图书馆_期刊论文 |
推荐引用方式 GB/T 7714 | 李昕,张寅. 基于ZBDD的布尔多项式Grobner基算法的实现[J]. Computer Applications and Software,2011,28(2). |
APA | 李昕,&张寅.(2011).基于ZBDD的布尔多项式Grobner基算法的实现.Computer Applications and Software,28(2). |
MLA | 李昕,et al."基于ZBDD的布尔多项式Grobner基算法的实现".Computer Applications and Software 28.2(2011). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论