稀疏列支持确定性多项式系统的同伦技术
摘要：用随机稀疏同态算法确定在给定条件下，给定一系列多项式和一个多项式矩阵，通过使用消因子结构和输入多项式的稀疏性，计算以所有多项式为零和所有p-子式为零的代数集V_p(F,g)的隔离点。算法复杂度多项式与具有相同稀疏模式的隔离解的最大数量和与此类系统结构相关的一些组合数量有关。这是第一个同时利用消因子结构和输入多项式稀疏性的算法。同时，我们还推导出了满足加权次数约束的特殊但重要情况的复杂度界限。此类系统在计算映射的关键点时，限制在具有对称群作用的代数集上时，会自然地出现。
作者：George Labahn (SCG), Mohab Safey El Din (PolSys), ''Eric Schost (SCG), Thi Xuan Vu (PolSys, SCG)
论文ID：2009.00844
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2020-09-03