Abstract
Recent combinatorial algorithms for linear programming can also be applied to certain nonlinear problems. We call these Generalized Linear-Programming, or GLP, problems. We connect this class to a collection of results from combinatorial geometry called Helly-type theorems. We show that there is a Helly-type theorem about the constraint set of every GLP problem. Given a familyH of sets with a Helly-type theorem, we give a paradigm for finding whether the intersection ofH is empty, by formulating the question as a GLP problem. This leads to many applications, including linear expected time algorithms for finding line transversals and mini-max hyperplane fitting. Our applications include GLP problems with the surprising property that the constraints are nonconvex or even disconnected.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
N. Amenta. Finding a line transversal of axial objects in three dimensionsProceeding of the 3rd Annual ACM-SIAM Symposium on Discrete Algorithms, 1992, pages 66–71.
B. Aronov, J. E. Goodman, R. Pollack, and R. Wenger. There is no Hadwiger number for line transversals in higher dimensions. Unpublished manuscript, cited in [GPW], Theorem 2.9.
D. Avis and M. Doskas. Algorithms for high dimensional stabbing problems,Discrete Applied Mathematics, vol. 27 (1990), pages 39–48.
D. Avis and M. E. Houle. Computational aspects of Helly’s theorem and its relatives,Proceedings of the Third Canadian Conference on Computational Geometry, 1991, pages 11–14.
B. Chazelle and J. Matoušek. On linear-time deterministic algorithms for optimization problems in fixed dimension,Proceeding of the 4th Annual ACM-SIAM Symposium on Discrete Algorithms, 1993, pages 281–290.
K. L. Clarkson. Las Vegas algorithms for linear and integer programming when the dimension is small, Manuscript, 1990. An earlier version appeared inProceedings of the 29th Annual Symposium on Foundations of Computer Science, 1988, pages 452–455.
L. Danzer, B. Grünbaum, and V. Klee Helly’s theorem and its relatives,Proceedings of the Symposium on Pure Mathematics, vol. 7, 1963, pages. 101–180. American Mathematical Society, Providence, RI.
J. Demmel. The componentwise distance to the nearest singular matrix,SIAM Journal of Matrix Analysis and Applications, vol. 13, no. 1 (1992), pages 10–19.
M. Dyer. On a multidimensional search technique and its application to the Euclidean one-center problem,SIAM Journal on Computing vol. 15 (1986), pages 725–738.
M. Dyer. A class of convex programs with applications to computational geometry,Proceedings of the 8th Annual Symposium on Computational Geometry, 1992, pages 9–15.
J. Eckhoff. Helly, Radon- and Carathody type theorems, inHandbook of Convex Geometry, P. M. Gruber and J. M. Willis, eds., Chapter 2.1. Elsevier Science, Amsterdam, 1993.
P. Egyed and R. Wenger. Stabbing pairwise disjoint translates in linear time,Proceedings of the 5th Annual Symposium on Computational Geometry, 1989, pages 364–369.
J.E. Goodman, R. Pollack, and R. Wenger, Geometric transversal theory, inNew Trends in Discrete and Computational Geometry. Springer-Verlag, New York (to appear).
B. Grünbaum and T. S. Motzkin. On components in some families of sets,Proceedings of the American Mathematical Society, vol. 12 (1961), pages 607–613.
A. J. Hoffman. Binding constraints and Helly numbers,Annals of the New York Academy of Sciences, vol. 319 (1979), pages 284–288.
G. Kalai. A subexponential randomized simplex algorithm,24th Annual ACM Symposium on the Theory of Computation, 1992, pages 475–482.
J. Matoušek, M. Sharir, and E. Welzl. A subexponential bound for linear programming,Proceedings of the 8th Annual Symposium on Computational Geometry, 1992, pages 1–8.
N. Megiddo. Linear programming in linear time when the dimension is fixed.SIAM Journal on Computing, vol. 12 (1983), pages 759–776.
N. Megiddo. On the ball spanned by balls,Discrete and Computational Geometry, vol. 4 (1989), pages 605–610.
N. Megiddo. Personal communication (1991).
S. Poljak and J. Rohn. Radius of nonsingularity,Mathematics of Systems, Signals and Control (to appear).
J. Rohn. Linear interval equations,Linear Algebra and Its Applications, vol. 126 (1989), pages 39–78.
R. Seidel. Linear programming and convex hulls made easy,Proceedings of the 6th Annual Symposium on Computational Geometry, 1990, pages 211–215.
M. Sharir and E. Welzl. A combinatorial bound for linear programming and related problems,Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, 1992, pages 569–579. Lecture Notes in Computer Science, vol. 577 Springer-Verlag, Berlin.
S. Toledo. Extremal polygon containment problems,Proceedings of the 7th Annual Symposium on Computational Geometry, 1991, pages 176–185.
H. Tverberg. Proof of Grünbaum’s conjecture on common transversals for translates,Discrete and Computational Geometry, vol. 4 (1989), pages 191–203.
Author information
Authors and Affiliations
Additional information
The author was supported at Berkeley by a University of California President’s Dissertation Year Fellowship. Some of this work was done while visiting the Freie Universität, Berlin.
Rights and permissions
About this article
Cite this article
Amenta, N. Helly-type theorems and Generalized Linear Programming. Discrete Comput Geom 12, 241–261 (1994). https://doi.org/10.1007/BF02574379
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02574379