論文元數(shù)據(jù)搜索,找到相關(guān)信息共 1 條:
2015, 37(4): 881-886.
doi: 10.11999/JEIT140831
刊出日期:2015-04-19
目前基于標(biāo)簽的Grbner基算法大多是Buchberger型的,涉及矩陣型算法的文獻(xiàn)往往是為了進(jìn)行復(fù)雜度分析,而不考慮實際的效率。該文從實際應(yīng)用出發(fā),給出矩陣型Gao-Volny-Wang(GVW)算法的一個實例,提出算法層次的優(yōu)化設(shè)計方法。同時,該文還給出一個高效的約化準(zhǔn)則。通過實驗,該文比較了算法可用的各項準(zhǔn)則及策略。實驗結(jié)果表明,該文的矩陣型GVW實例在準(zhǔn)則和策略的選取上是最優(yōu)的。并且,矩陣型GVW在某些多項式系統(tǒng)(例如,Cyclic系列和Katsura系列多項式系統(tǒng))下比Buchberger型GVW要快2~6倍。