论文部分内容阅读
由抓住所谓的严格地批评的点，这份报纸为计算一个多项式函数的全球 infimum 论述一个有效算法。为 multivariate 真实多项式 f，在这份报纸的算法能决定 f 的全球 infimum 是否是有限的。在有有限 infimum 的 f 的情况中， f 的全球 infimum 能精确地在间隔表示被编码。我们的算法的另一个用法是当 f 的全球 infimum 是有限的时，决定 f 的 infimum 是否被达到。在我们的算法的设计，著名 Wus 方法起一个重要作用。