XL算法的冗余分析与改进

针对多变量二次方程组的求解问题,对XL算法的冗余性进行分析与改进。用XL算法扩展方程组存在冗余现象,采用该算法扩展由m个方程构成的n元二次方程组,所得到的新方程组中线性独立方程个数的上界为[mn(n+3)?m(m?3)]/2。基于此,对XL算法进行改进。分析表明,改进后的XL算法能降低求解多变量二次方程组的计算复杂性。