Title: | 基于ZBDD的布尔多项式Gr(o)bner基算法的实现 |
Alternative Title: | implementing zbdd-based gr(o)bner basis algorithm of boolean polynomials
|
Author: | 李昕
; 张寅
|
Keyword: | ZBDD
; Gr(o)ttbner基
|
Source: | 计算机应用与软件
|
Issued Date: | 2011
|
Volume: | 28, Issue:2, Pages:274-276 | Indexed Type: | WANFANG
; CNKI
|
Department: | 中国矿业大学计算机学院,江苏,徐州,221008;中国科学院软件研究所,北京,100080 中国科学院软件研究所,北京,100080
|
Sponsorship: | 中国矿业大学青年科研基金项目(2007A039)
|
Abstract: | 零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项武Gr(O)bner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率.用C++实现了布尔多项式的Gr(O)bner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/16097
|
Appears in Collections: | 软件所图书馆_期刊论文
|
There are no files associated with this item.
|
Recommended Citation: |
李昕,张寅. 基于ZBDD的布尔多项式Gr(o)bner基算法的实现[J]. 计算机应用与软件,2011-01-01,28(2):274-276.
|
|
|