RUS  ENG
Full version
JOURNALS // Sibirskii Zhurnal Vychislitel'noi Matematiki // Archive

Sib. Zh. Vychisl. Mat., 2025 Volume 28, Number 3, Pages 293–303 (Mi sjvm910)

Estimating the range of a polynomial on an interval with relative accuracy $\varepsilon$ is NP-hard for $\varepsilon\leqslant 1$ and feasible for $\varepsilon> 1$

V. Kreinovicha, S. P. Sharyb

a University of Texas at El Paso, TX 79968, El Paso, USA
b Federal Research Center for Information and Computing Technologies, Novosibirsk, Russia

Abstract: In many practical situations, we need to compute an enclosure for the range of a polynomial in several variables $f(x_1,\dots,x_n)$ on given intervals $[\underline{x}_1,\overline{x}_1],\dots,[\underline{x}_n,\overline{x}_n]$ with a certain relative accuracy $\varepsilon>0$. It was known that this problem is NP-hard for all $\varepsilon<1/8$ but it was not known whether the problem is NP-hard for the other values of $\varepsilon$. Our article provides an almost complete answer to this question, namely, we prove that the problem under study is NP-hard for all $\varepsilon\leqslant 1$ and feasible (polynomially complex) for all $\varepsilon>1$.

Key words: interval, polynomial, range, NP-hard problem, feasible problem, Gaganov theorem.

UDC: 519.6

Received: 01.08.2024
Revised: 28.08.2024
Accepted: 04.03.2025

DOI: 10.15372/SJNM20250305



© Steklov Math. Inst. of RAS, 2025