基于ZBDD的布尔多项式Grobner基算法的实现

ISCAS OpenIR

	基于ZBDD的布尔多项式Grobner基算法的实现
其他题名	implementing zbdd-based grobner basis algorithm of boolean polynomials
	李昕; 张寅
	2011
发表期刊	Computer Applications and Software
ISSN	1000-386X
卷号	28 期号:2
摘要	零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Grobner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率。用C+ +实现了布尔多项式的Grobner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高。
收录类别	CSCD
其他摘要	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.
关键词	Grobner基
部门归属	李昕（徐州）中国矿业大学计算机学院徐州江苏 221008 中国. 张寅中国科学院软件研究所北京 100080 中国.
学科领域	Automation & Control Systems
资助者	中国矿业大学青年科研基金项目
语种	中文
CSCD记录号	CSCD:4377947
内容类型	期刊论文
URI标识	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).