Abstract
The basic problem of interval computations is: given a function f(x 1,..., x n) and n intervals [x i, x i], find the (interval) range yof the given function on the given intervals. It is known that even for quadratic polynomials f(x 1,..., x n), this problem is NP-hard. In this paper, following the advice of A. Neumaier, we analyze the complexity of asymptotic range estimation, when the bound ε on the width of the input intervals tends to 0. We show that for small c > 0, if we want to compute the range with an accuracy c ⋅ ε2, then the problem is still NP-hard; on the other hand, for every δ > 0, there exists a feasible algorithm which asymptotically, estimates the range with an accuracy c ⋅ ε2−δ.
Similar content being viewed by others
References
Berz., M. and Hoffstätter, G.: Computation and Application of Taylor Polynomials with Interval Remainder Bounds, Reliable Computing 4 (1) (1998), pp. 83-97.
Gaganov. A. A.: Computational Complexity of the Range of the Polynomial in Several Variables, M.S. thesis, Leningrad University, Math. Department, 1981 (in Russian).
Gaganov, A. A.: Computational Complexity of the Range of the Polynomial in Several Variables, Cybernetics (1985), pp. 418-421.
Garey, M. E. and Johnson, D. S.: Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman, San Francisco, 1979.
Hungerbühler, R. and Garloff, J.: Bounds for the Range of a Bivariate Polynomial over a Triangle, Reliable Computing 4 (1) (1998), pp. 3-13.
Kahl, P.: Solving Narrow-Interval Linear Equation Systems Is NP-Hard, M.S. thesis, University of Texas at El Paso, Department of Computer Science, 1996.
Kreinovich, V., Lakeyev., A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations, Kluwer Academic Publishers, Dordrecht, 1998.
Makino, K. and Berz, M.: Efficient Control of the Dependency Problem Based on Taylor Model Methods, Reliable Computing 5 (1) (1999), pp. 3-12.
Papadimitriou, C. H.: Computational Complexity, Addison Wesley, San Diego, 1994.
Vavasis, S. A.: Nonlinear Optimization: Complexity Issues, Oxford University Press, N.Y., 1991.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kreinovich, V. Range Estimation Is NP-Hard for ε2 Accuracy and Feasible for ε2−δ . Reliable Computing 8, 481–491 (2002). https://doi.org/10.1023/A:1021368627321
Issue Date:
DOI: https://doi.org/10.1023/A:1021368627321