Abstract
We consider the problem of approximately integrating a Lipschitz function f (with a known Lipschitz constant) over an interval. The goal is to achieve an additive error of at most ε using as few samples of f as possible. We use the adaptive framework: on all problem instances an adaptive algorithm should perform almost as well as the best possible algorithm tuned for the particular problem instance. We distinguish between \({\rm DOPT}\) and \({\rm ROPT}\) , the performances of the best possible deterministic and randomized algorithms, respectively. We give a deterministic algorithm that uses \(O({\rm DOPT}(f,\epsilon)\cdot\log(\epsilon^{-1}/{\rm DOPT}(f,\epsilon)))\) samples and show that an asymptotically better algorithm is impossible. However, any deterministic algorithm requires \(\Omega({\rm ROPT}(f,\epsilon)^{2})\) samples on some problem instance. By combining a deterministic adaptive algorithm and Monte Carlo sampling with variance reduction, we give an algorithm that uses at most \(O({\rm ROPT}(f,\epsilon)^{4/3}+{\rm ROPT}(f,\epsilon)\cdot\log(1/\epsilon))\) samples. We also show that any algorithm requires \(\Omega({\rm ROPT}(f,\epsilon)^{4/3}+{\rm ROPT}(f,\epsilon)\cdot\log(1/\epsilon))\) samples in expectation on some problem instance (f,ε), which proves that our algorithm is optimal.
Similar content being viewed by others
References
Barabesi, L., Marcheselli, M.: A modified Monte Carlo integration. Int. Math. J. 3(5), 555–565 (2003)
Baran, I.: Adaptive algorithms for problems involving black-box Lipschitz functions. Master’s thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts (May 2004). http://www.mit.edu/~ibaran/papers/mthesis.{pdf,ps}
Baran, I., Demaine, E.D.: Optimal adaptive algorithms for finding the nearest and farthest point on a parametric black-box curve. In: Proceedings of the 20th Annual ACM Symposium on Computational Geometry, Brooklyn, NY, June 2004
Biedl, T., Brejova, B., Demaine, E.D., Hamel, A.M., López-Ortiz, A., Vinař, T.: Finding hidden independent sets in interval graphs. Theor. Comput. Sci. 310(1–3), 287–307 (2004)
Davis, P.J., Rabinowitz, P.: Methods of Numerical Integration, 2nd edn. Academic, San Diego (1984)
Demaine, E.D., López-Ortiz, A., Munro, J.I.: Adaptive set intersections, unions, and differences. In: Proceedings of the 11th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, pp. 743–752 (January 2000)
Fagin, R., Lotem, A., Naor, M.: Optimal aggregation algorithms for middleware. J. Comput. Syst. Sci. 66(4), 614–656 (2003)
Hansen, P., Jaumard, B., Lu, S.-H.: On the number of iterations of Piyavskii’s global optimization algorithm. Math. Oper. Res. 16(2), 334–350 (1991). May
Hart, J.C.: Sphere tracing: a geometric method for the antialiased ray tracing of implicit surfaces. Vis. Comput. 12(10), 527–545 (1996)
Piyavskii, S.A.: An algorithm for finding the absolute extremum of a function. USSR Comput. Math. Math. Phys. 12, 57–67 (1972)
Robbins, H.: A remark on Stirling’s formula. Am. Math. Mon. 62(1), 26–29 (1955)
Traub, J.F., Wasilkowski, G.W., Woźniakowski, H.: Information-Based Complexity. Academic, New York (1988)
Werschulz, A.G.: An overview of information-based complexity. Technical Report CUCS-022-02, Computer Science Department, Columbia University (October 2002)
Zabinsky, Z., Kristinsdottir, B.P., Smith, R.L.: Optimal estimation of univariate black-box Lipschitz functions with upper and lower error bounds. Comput. Oper. Res. 30(10), 1539–1553 (2003)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Baran, I., Demaine, E.D. & Katz, D.A. Optimally Adaptive Integration of Univariate Lipschitz Functions. Algorithmica 50, 255–278 (2008). https://doi.org/10.1007/s00453-007-9093-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-007-9093-7