稀疏差分结果的新界和高效算法
摘要：稀疏差分消元理论中引入的稀疏差分消元结果是一个基本概念。本文证明了一般势Laurent变换系统的稀疏差分消元可通过与差分系统相关的简单代数系统的稀疏结果来计算。此外，我们还发现了稀疏差分消元的新的序数界限。然后，我们提出了一种高效的算法来计算稀疏差分消元，该算法是代数系统中多项式系数的两个行列式的商。算法的复杂度进行了分析，并且实验结果表明了算法的效率。
作者：Chun-Ming Yuan, Zhi-Yong Zhang
论文ID：1810.00057
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2021-04-21