多项式近似因式分解的可信验证

摘要

众所周知,系数有扰动多项式的因式分解是不连续的。因此,传统的多项式因式分解对于数值计算来说是一个不适定问题。本文利用区间算法,研究多项式近似因式分解的可信计算。给定一个实多项式,本文利用已有算法计算给定多项式其因式分解流形结构,设计算法输出在该因式分解流形结构中一系数为区间的因式分解。算法保证,在该区间因式分解中存在一系数为实数的因式分解,其所对应的多项式为在确定的因式分解流形结构中与给定多项式残差最小的多项式。