求对称多项式方程组所有解的同伦算法

本文对初等对称多项式组P（Z）构造了同伦H（t，a，Z），证明了几乎对所有aU＝｛（Z1，…，Zn）C^n|Zi≠Zj,i一动，i≠j｝，0为它的正则值，而Hn(-1)（0）由n！条光滑曲线组成，且每条曲线关于t为严格单调的。在此基础上导出了一种关于求对称多项式方程组F（Z）＝0所有解的同伦算法，它比用一般同伦去解这类问题可节省大量机时。