循环差分-微分模上双变元维数多项式的Gr?bner基算法北大核心CSCD

Gr?bner基算法是在计算机辅助设计和机器人学、信息安全等领域广泛应用的重要工具.文章在周梦和Winkler(2008)给出的差分-微分模上Gr?bner基算法和差分-微分维数多项式算法基础上,进一步研究了分别差分部分和微分部分的双变元维数多项式算法.在循环差分-微分模情形,构造和证明了利用差分-微分模上Gr?bner基计算双变元维数多项式的算法.     

差分-微分模上的Grbner基及差分-微分维数多项式

通过引入广义单项式序把Grbner基理论拓展到差分-微分模上,构造和证明了差分-微分模上Grbner基算法.然后利用差分-微分模上的Grbner基构造了线性差分-微分方程系的维数多项式算法.     

差分-微分模上的Gröbner基及差分-微分维数多项式

通过引入广义单项式序把Gröbner基理论拓展到差分!-!微分模上, 构造和证明了差分!-!微分模上Gröbner基算法. 然后利用差分-微分模上的Gröbner基构造了线性差分-微分方程系的维数多项式算法.     

差分-微分模上多个序的Grbner基及多变量维数多项式

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Grbner基,并给出和证明了计算这种Grbner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler(2008)所得结果,也推进了Levin(2007)所得结果.     

差分-微分模上多个序的Gr(o)bner基及多变量维数多项式

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Gr(o)bner基,并给出和证明了计算这种Gr(o)bner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler (2008)所得结果,也推进了Levin (2007)所得结果.     

二项式斜多项式环的Grbner基

对于二次代数A=k〈X〉/(■),当关系■满足某种对称关系时,代数A是ArtinSchelter正则PBW代数,进一步,存在X上的一种重排,使得A是二项式斜多项式环.     

布尔环上的分支Gr(o)bner基算法

众所周知Gr\"obner基在很多领域都有着十分重要的应用.近些年来Gr\"obner基算法有了很大的改进,其中最著名的是Faug\`ere提出的F4和F5算法. 这两个算法具有很高的效率但通常需要消耗大量的内存.鉴于此,将给出一个布尔环上基于zdd数据结构的分支Gr\"obner基算法,该算法不仅可以大大降低对内存的消耗,还能有效的控制矩阵规模,从而提高算法的整体效率.详细阐述并证明了算法的基本理论,介绍该分支算法的数据结构及分支策略.最后通过实验数据可以发现,在很多例子中此算法都要优于Magma中的F4算法.     

可除的四元数代数上多项式环的Grbner基(英文)

设F是一个特征不等于2的域,A是F上的一个可除代数。本文研究了A上多项式环A[x1,x2,…,xn]中理想是有限生成的,以及它的Gr bner基;也表明F[x1,x2,…,xn]中有限子集G是F[x1,x2,…,xn]的Gr bner基当且仅当G是A[x1,x2,…,xn]中的Gr bner基。     

Artin局部主理想环上多项式理想的Grbner基的标准型

本文给出 Ａｒｔｉｎ局部主理想环上单变元多项式理想的极小Grbner基的标准型．证明 Ｎｅｃｈａｅｖ提出的标准生成系（ＣＧＳ）恰是极小 Ｇｒｏｂｎｅｒ基．将标准型用于分析环上线性码．     

基于Grbner基方法的交通分配算法

交通规划中的第四阶段交通分配是交通规划中最重要的环节之一,合理的交通分配方法是未来规划期内交通运输系统状态良好的关键,对交通分配模型进行优化有利于交通规划正确高效.经典的交通规划分配模型算法计算复杂,比较次数多,计算量大,而Grbner基方法在计算机上容易实现,计算思路清晰简洁,适合在交通分配中采用.选取了交通分配中的典型算法增量分配法,对其中最短路算法用Grbner基方法改进,构造了基于Grbner基方法的交通分配模型.模型先将交通分配中的最短路问题转化为求多项式集的Grbner基,然后直接得出交通分配中的最短路径,使交通分配算法高效简洁.最后,为算法加以实例佐证,证实算法在工程应用中可行.     

诺特赋值环上Grbner基的性质

本文主要研究了诺特赋值环上多项式理想的Grbner基的性质.利用Buchberger算法,证明了约化Grbner基的存在性及当其首项系数为单位元时的唯一性.推广了极小Grbner基和约化Grbner基的概念.同时,我们给出了求极小Grbner基和约化Grbner基的算法.     

神经理想的Gr?bner基与典范形式集

神经环和神经理想这一概念是由Curto等(2013)提出的,它们是用于整理和分析神经编码中复杂组合信息的一种有用的代数方法.文章主要研究了神经理想的典范形式集与Gr?bner基之间的关系,并根据Gr?bner基中的元素给出了3种新类型的RF-关系.     

图的κ-覆盖与Grbner基求解

证明图的k-覆盖存在性问题等价于一个多元多项式方程组在{0,1}范围的求解问题,并通过使用Grbner基给出一个图有k-覆盖的有效判别与求解方法,进而求得图的覆盖数和极小覆盖.     

分区参数Grbner基的计算

对于含参数的多项式理想,提出了分区参数Grbner基的概念,并且给出了一个计算分区参数Grbner基的算法,证明了该算法的正确性和终止性.     

微分算子Lie代数上的Leibniz 2-上循环

中心扩张问题在Leibniz代数的研究中起着非常重要的作用,因此有许多文章研究各种各样Leibniz代数的中心扩张问题.在这篇文章里,我们确定了微分算子Lie代数上的所有一维Leibniz中心扩张.     

π-凝聚环上多项式环的同调维数

本对π凝聚环上多项式环的FGT维数做了讨论，给出了定理，R，R[x]是π-凝聚环，则当脚FGT-WD(R)≥1时FGT-WD(R[x])=FGT—WD(R) 1，当FGT—WD(R)=0时，FGT-WD(R)．FGT—WD(R[x])中一为零另一个也为零．     

图的k-全染色问题与Gr?bner基求解

对于任意给定的有限图和任一正整数k,本文证明图的k-全染色存在性问题等价于一个多元多项式方程组在{1,2,…,k}范围的求解问题,并通过使用Grbner基给出一个图k-全可染色的有效判别与求解方法,进而求得图的全可染色数与极小全染色方案.     

分区参数Gr(o)bner基的计算

对于含参数的多项式理想,提出了分区参数Gr(o)bner基的概念,并且给出了一个计算分区参数Gr(o)bner基的算法,证明了该算法的正确性和终止性.     

半导出Hall代数的Gr?bner-Shirshov基

在Dynkin型Ringel-Hall代数中,不可分解表示同构类之间的所有拟交换关系之集构成由这些关系生成的理想的一个极小Gr?bner-Shirshov基,并且相应的不可约元素构成此Ringel-Hall代数的一组PBW基.本文的目的是将把此结果推广到Dynkin箭图的半导出Hall代数上去.为此,首先通过计算所有合成来证明不可分解表示同构类之间的所有拟交换关系之集是一个极小Gr?bner-Shirshov基.然后,作为一个应用,通过取所有不可约元素构造一组PBW基.     

Toric理想IAd的Gr(o)bner基

给出Toric环、Toric理想的概念,利用已知的Gr(o)bner基求配置矩阵A的Toric理想IA的Gr(o)bner基.特别对一类无法用计算机计算其Gr(o)bner基的理想IAd,给出了它的Gr(o)bner基的具体形式并通过实例验证其结论.