Abstract
We investigate the problem of finding the best solution satisfying all butk of the given constraints, for an abstract class of optimization problems introduced by Sharir and Welzl—the so-calledLP-type problems. We give a general algorithm and discuss its efficient implementations for specific geometric problems. For instance for the problem of computing the smallest circle enclosing all butk of the givenn points in the plane, we obtain anO(n logn+k 3 n ε) algorithm; this improves previous results fork small compared withn but moderately growing. We also establish some results concerning general properties ofLP-type problems.
Article PDF
Similar content being viewed by others
References
P. Agarwal, M. de Berg, J. Matoušek, and O. Schwarzkopf. Constructing levels in arrangements and higher-order Voronoi diagrams.Proc. 10th Ann. ACM Symp. on Computational Geometry, pp. 67–75, 1994.
P. K. Agarwal and J. Matoušek. Dynamic half-space range reporting and its applications.Algorithmica, 13:325–345, 1995.
A. Aggarwal, H. Imai, N. Katoh, and S. Suri. Findingk points with minimum diameter and related problems.J. Algorithms, 12:38–56, 1991.
N. Amenta. Helly theorems and generalized linear programming.Discrete Comput. Geom., 12:241–261, 1994.
B. Aronov, B. Chazelle, H. Edelsbrunner, L. J. Guibas, M. Sharir, and R. Wenger. Points and triangles in the plane and halving planes in space.Discrete Comput. Geom., 6:435–442, 1991.
B. Chazelle and J. Matoušek. On linear-time deterministic algorithms for optimization problems in fixed dimension.Proc. 4th ACM-SIAM Symp. on Discrete Algorithms, pp. 281–290, 1993.
K. L. Clarkson. New applications of random sampling in computational geometry.Discrete Comput. Geom., 2:195–222, 1987.
K. L. Clarkson. A Las Vegas algorithm for linear programming when the dimension is small.Proc. 29th Ann. IEEE Symp. on Foundations of Computer Science, pp. 452–456, 1988.
K. L. Clarkson. A bound on local minima of arrangements that implies the upper bound theorem. Manuscript, 1992.
K. L. Clarkson and P. W. Shor. Application of random sampling in computational geometry, II.Discrete Comput. Geom., 4:387–421, 1989.
R. Cole, M. Sharir, and C. K. Yap. Onk-hulls and related problems.SIAM J. Comput., 16:61–77, 1987.
A. Datta, H.-P. Lenhof, C. Schwarz, and M. Smid. Static and dynamic algorithms fork-point clustering problems.Proc. 3rd Workshop on Algorithms and Data Structures. Lecture Notes in Computer Science, vol. 709, pp. 265–276. Springer-Verlag, Berlin, 1993.
T. Dey and H. Edelsbrunner: Counting triangle crossings and halving planes.Discrete Comput. Geom., 12:281–289, 1994.
H. Edelsbrunner and E. P. Mücke. Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms.ACM Trans. Graphics 9:66–104, 1990.
A. Efrat, M. Lindenbaum, and M. Sharir, Finding maximally consistent sets of halfspaces.Proc. 5th Canad. Conf. on Computational Geometry, pp. 432–436, Waterloo, Ontario, 1993.
A. Efrat, M. Sharir, and A. Ziv. Computing the smallestk-enclosing circle and related problems.Proc. 3rd Workshop on Algorithms and Data Structures. Lecture Notes in Computer Science, vol. 709, pp. 325–336. Springer-Verlag, Berlin, 1993.
I. Emiris and J. Canny. An efficient approach to removing geometric degeneracies.Proc. 8th Ann. ACM Symp. on Computational Geometry, pp. 74–82, 1992.
D. Eppstein and J. Erickson. Iterated nearest neighbors and finding minimal polytopes.Proc. 4th ACM-SIAM Symp. on Discrete Algorithms, pp. 64–73, 1993.
H. Everett, J.-M. Robert, and M. van Kreveld. An optimal algorithm for the (≤k)-levels, with applications to separation and transversal problems.Proc. 9th Ann. ACM Symp. on Computational Geometry, pp. 38–46, 1993.
A. Gajentaan and M. H. Overmars.n 2-hard problems in computational geometry. Report RUU-CS-93-15, Department of Computer Science, Utrecht University, Utrecht, April 1993.
B. Gärtner. A subexponential algorithm for abstract optimization problems.Proc. 33rd Ann. IEEE Symp. on Foundations of Computer Science, pp. 464–472, 1992.
D. S. Johnson and F. P. Preparata. The densest hemisphere problem.Theoret. Comput. Sci., 6:93–107, 1978.
G. Kalai, A subexponential randomized simplex algorithm.Proc. 24th Ann. ACM Symp. on Theory of Computing, pp. 475–482, 1992.
J. Matoušek, Linear optimization queries.J. Algorithms, 14:432–448, 1993. The results combined with the results of O. Schwarzkopf also appear inProc. 8th ACM Symp. on Computational Geometry, pp. 16–25, 1992.
J. Matoušek, On enclosingk points by a circle.Inform. Process. Lett., 53:217–221, 1995.
J. Matoušek, M. Sharir, and E. Welzl. A subexponential bound for linear programming.Proc. 8th Ann. ACM Symp. on Computational Geometry, pp. 1–8, 1992. Also to appear inAlgorithmica.
N. Megiddo. The weighted Euclidean 1-center problem.Math. Oper. Res., 8(4):498–504, 1983.
K. Mulmuley. On levels in arrangements and Voronoi diagrams.Discrete Comput. Geom., 6:307–338, 1991.
K. Mulmuley. Dehn-Sommerville relations, upper bound theorem, and levels in arrangements.Proc. 9th Ann. ACM Sump. on Computational Geometry, pp. 240–246, 1993.
M. H. Overmars and J. van Leeuwen. Maintenance of configurations in the plane.J. Comput. System Sci., 23:166–204, 1981.
R. Seidel. The nature and meaning of perturbations in geometric computing.Proc. 11th Symp. on Theoretical Aspects of Computer Science (STACS). Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1994.
M. Sharir and E. Welzl. A combinatorial bound for linear programming and related problems.Proc. 1992 Symp. on Theoretical Aspects of Computer Science. Lecture Notes in Computer Science, vol. 577, pp 569–579. Springer-Verlag, Berlin, 1992.
C. K. Yap. A geometric consistency theorem for a symbolic perturbation scheme.J. Comput. System Sci. 40:2–18, 1990.
Author information
Authors and Affiliations
Additional information
This research was supported in part by Charles University Grant No. 351 and Czech Republic Grant GAČR 201/93/2167. Part of this research was performed while the author was visting the Computer Science Institute, Free University Berlin, and it was supported by the German-Israeli Foundation of Scientific Research and Development (G.I.F.), and part while visiting the Max-Planck Institute for Computer Science in Saarbrücken.
Rights and permissions
About this article
Cite this article
Matoušek, J. On geometric optimization with few violated constraints. Discrete & Computational Geometry 14, 365–384 (1995). https://doi.org/10.1007/BF02570713
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02570713