-
题名布尔环上的分支Grbner基算法
被引量：5
- 1
-
-
作者
孙瑶
王定康
-
机构
中国科学院数学与系统科学研究院数学机械化重点实验室
-
出处
《系统科学与数学》
CSCD
北大核心
2009年第9期1266-1277,共12页
-
基金
国家自然科学基金(NSFC60821002/F02,10771206)资助
-
文摘
众所周知Grbner基在很多领域都有着十分重要的应用.近些年来Grbner基算法有了很大的改进,其中最著名的是Faugère提出的F4和F5算法.这两个算法具有很高的效率但通常需要消耗大量的内存.鉴于此,将给出一个布尔环上基于zdd数据结构的分支Grbner基算法,该算法不仅可以大大降低对内存的消耗,还能有效的控制矩阵规模,从而提高算法的整体效率.详细阐述并证明了算法的基本理论,介绍该分支算法的数据结构及分支策略.最后通过实验数据可以发现,在很多例子中此算法都要优于Magma中的F4算法.
-
关键词
分支Groebner基
布尔环
zdd数据结构
-
Keywords
Branch Groebner bases, boolean ring, zdd data structure
-
分类号
O153.3
[理学—数学]
TP301.6
[理学—基础数学]
-
