E cient incremental algorithms for the sparse resultant and the mixed volume
E cient incremental algorithms for the sparse resultant and the mixed volume
复制标题
稀疏结果和混合体积的高效增量算法
DOI:
--
复制
发表时间:
1995
期刊:
影响因子:
--
通讯作者:
zProjet Safir
中科院分区:
文献类型:
--
作者:
Ioannis Z. EMIRISzAND;John F. CANNYx;zProjet Safir
We propose a new and e cient algorithm for computing the sparse resultant of a system of n+1 polynomial equations in n unknowns. This algorithm produces a matrix whose entries are coe cients of the given polynomials and is typically smaller than the matrices obtained by previous approaches. The matrix determinant is a nontrivial multiple of the sparse resultant from which the sparse resultant itself can be recovered. The algorithm is incremental in the sense that successively larger matrices are constructed until one is found with the above properties. For multigraded systems, the new algorithm produces optimal matrices, i.e., expresses the sparse resultant as a single determinant. An implementation of the algorithm is described and experimental results are presented. In addition, we propose an e cient algorithm for computing the mixed volume of n polynomials in n variables. This computation provides an upper bound on the number of common isolated roots. A publicly available implementation of the algorithm is presented and empirical results are reported which suggest that it is the fastest mixed volume code to date.