Active Learning a Convex Body in Low Dimensions

Authors Sariel Har-Peled, Mitchell Jones, Saladi Rahul

Thumbnail PDF


  • Filesize: 0.71 MB
  • 17 pages

Document Identifiers

Author Details

Sariel Har-Peled
  • Department of Computer Science, University of Illinois at Urbana-Champaign, IL, USA
Mitchell Jones
  • Department of Computer Science, University of Illinois at Urbana-Champaign, IL, USA
Saladi Rahul
  • Dept. of Computer Science and Automation, Indian Institute of Science, Bangalore, India

Cite AsGet BibTex

Sariel Har-Peled, Mitchell Jones, and Saladi Rahul. Active Learning a Convex Body in Low Dimensions. In 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 168, pp. 64:1-64:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Consider a set P ⊆ ℝ^d of n points, and a convex body C provided via a separation oracle. The task at hand is to decide for each point of P if it is in C using the fewest number of oracle queries. We show that one can solve this problem in two and three dimensions using O(⬡_P log n) queries, where ⬡_P is the largest subset of points of P in convex position. In 2D, we provide an algorithm which efficiently generates these adaptive queries. Furthermore, we show that in two dimensions one can solve this problem using O(⊚(P,C) log² n) oracle queries, where ⊚(P,C) is a lower bound on the minimum number of queries that any algorithm for this specific instance requires. Finally, we consider other variations on the problem, such as using the fewest number of queries to decide if C contains all points of P. As an application of the above, we show that the discrete geometric median of a point set P in ℝ² can be computed in O(n log² n (log n log log n + ⬡(P))) expected time.

Subject Classification

ACM Subject Classification
  • Theory of computation → Computational geometry
  • Approximation algorithms
  • computational geometry
  • separation oracles
  • active learning


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. G. Ambrus and I. Bárány. Longest convex chains. Rand. Struct. & Alg., 35(2):137-162, 2009. URL:
  2. Dana Angluin. Queries and concept learning. Machine Learning, 2(4):319-342, 1987. URL:
  3. Imre Bárány and Zoltán Füredi. Computing the volume is difficulte. Discrete Comput. Geom., 2:319-326, 1987. URL:
  4. T. M. Chan. An optimal randomized algorithm for maximum Tukey depth. In J. Ian Munro, editor, Proc. 15th ACM-SIAM Sympos. Discrete Algs. (SODA), pages 430-436. SIAM, 2004. URL:
  5. Michael B. Cohen, Yin Tat Lee, Gary L. Miller, Jakub Pachocki, and Aaron Sidford. Geometric median in nearly linear time. In Daniel Wichs and Yishay Mansour, editors, Proc. 48th ACM Sympos. Theory Comput. (STOC), pages 9-21. ACM, 2016. URL:
  6. David A. Cohn, Les E. Atlas, and Richard E. Ladner. Improving generalization with active learning. Machine Learning, 15(2):201-221, 1994. URL:
  7. Esther Ezra and Micha Sharir. A nearly quadratic bound for point-location in hyperplane arrangements, in the linear decision tree model. Discrete Comput. Geom., 61(4):735-755, 2019. URL:
  8. Juan Ferrera. An introduction to nonsmooth analysis. Academic Press, Boston, 2013. URL:
  9. Yuhong Guo and Russell Greiner. Optimistic active-learning using mutual information. In Proc. 20th Int. Joint Conf. on AI (IJCAI), pages 823-829, 2007. URL:
  10. S. Har-Peled, M. Jones, and S. Rahul. An animation of the greedy classification algorithm in 2d. URL:
  11. S. Har-Peled, N. Kumar, D. M. Mount, and B. Raichel. Space exploration via proximity search. Discrete Comput. Geom., 56(2):357-376, 2016. URL:
  12. Sariel Har-Peled, Mitchell Jones, and Saladi Rahul. Active learning a convex body in low dimensions. CoRR, abs/1903.03693, 2019. URL:
  13. David Haussler and Emo Welzl. ε-nets and simplex range queries. Discrete & Computational Geometry, 2:127-151, 1987. URL:
  14. Daniel M. Kane, Shachar Lovett, Shay Moran, and Jiapeng Zhang. Active classification with comparison queries. In Proc. 58th Annu. IEEE Sympos. Found. Comput. Sci. (FOCS), pages 355-366, 2017. URL:
  15. Andrey Kupavskii. The vc-dimension of k-vertex d-polytopes. CoRR, abs/2004.04841, 2020. URL:
  16. J. Matoušek and U. Wagner. New constructions of weak epsilon-nets. In Proceedings of the nineteenth annual symposium on Computational geometry, pages 129-135. ACM, 2003. Google Scholar
  17. Kurt Mehlhorn and Stefan Näher. Dynamic fractional cascading. Algorithmica, 5(2):215-241, 1990. URL:
  18. F. Panahi, A. Adler, A. F. van der Stappen, and K. Goldberg. An efficient proximity probing algorithm for metrology. In Int. Conf. on Automation Science and Engineering, CASE 2013, pages 342-349, 2013. URL:
  19. Franco P. Preparata and Michael Ian Shamos. Computational Geometry - An Introduction. Texts and Monographs in Computer Science. Springer, 1985. URL:
  20. Natan Rubin. An improved bound for weak epsilon-nets in the plane. In Mikkel Thorup, editor, Proc. 59th Annu. IEEE Sympos. Found. Comput. Sci. (FOCS), pages 224-235. IEEE Computer Society, 2018. URL:
  21. Burr Settles. Active learning literature survey. Technical Report #1648, Computer Science, Univ. Wisconsin, Madison, January 2009. URL:
  22. V. N. Vapnik and A. Y. Chervonenkis. On the uniform convergence of relative frequencies of events to their probabilities. Theory Probab. Appl., 16:264-280, 1971. Google Scholar
  23. Wolfgang Weil, editor. Random Polytopes, Convex Bodies, and Approximation, pages 77-118. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail