ACM Home Page
Please provide us with feedback. Feedback
Efficient algorithms for geometric optimization
Full text PdfPdf (578 KB)
Source ACM Computing Surveys (CSUR) archive
Volume 30 ,  Issue 4  (December 1998) table of contents
Pages: 412 - 458  
Year of Publication: 1998
ISSN:0360-0300
Authors
Pankaj K. Agarwal  Duke Univ., Durham, NC
Micha Sharir  Tel Aviv Univ., Tel Aviv, Israel
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 59,   Downloads (12 Months): 394,   Citation Count: 32
Additional Information:

abstract   references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/299917.299918
What is a DOI?

ABSTRACT

We review the recent progress in the design of efficient algorithms for various problems in geometric optimization. We present several techniques used to attack these problems, such as parametric searching, geometric alternatives to parametric searching, prune-and-search techniques for linear programming and related problems, and LP-type problems and their efficient solution. We then describe a wide range of applications of these and other techniques to numerous problems in geometric optimization, including facility location, proximity problems, statistical estimators and metrology, placement and intersection of polygons and polyhedra, and ray shooting and other query-type problems.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
 
2
 
3
AGARWAL, P. K. AND MATOUSEK, J. 1994. On range searching with semialgebraic sets. Discrete Comput. Geom. 11,393-418.
 
4
AGARWAL, P. K. AND MATOUSEK, J. 1995. Dynamic half-space range reporting and its applications. Algorithmica 13, 325-345.
 
5
 
6
 
7
AGARWAL, P. K. AND SHARIR, M. 1994. Planar geometric location problems. Algorithmica 11, 185-195.
 
8
AGARWAL, P. K. AND SHARIR, M. 1996a. Efficient randomized algorithms for some geometric optimization problems. Discrete Comput. Geom. 16, 317-337.
 
9
 
10
 
11
 
12
AGARWAL, P. K., AMENTA, N., AND SHARIR, M. 1998. Placement of one convex polygon inside another. Discrete Comput. Geom. 19, 95-104.
 
13
 
14
 
15
AGARWAL, P. K., ARONOV, B., AND SHARIR, M. 1997c. Motion planning for a convex polygon in a polygonal environment. Tech. Rep. CS-1997-17, Dept. of Computer Science, Duke University.
 
16
AGARWAL, P. K., ARONOV, B., SHARIR, M., AND SURI, S. 1993a. Selecting distances in the plane. Algorithmica 9, 495-514.
17
 
18
 
19
 
20
21
 
22
 
23
 
24
AGGARWAL, A. AND PARK, J. K. 1988. Notes on searching in multidimensional monotone arrays. In Proceedings of the 29th Annual IEEE Symposium on the Foundations of Computer Science, 497-512.
 
25
AGGARWAL, A., KLAWE, M. M., MORAN, S., SHOR, P. W., AND WILBER, R. 1987. Geometric applications of a matrix-searching algorithm. Algorithmica 2, 195-208.
26
27
 
28
 
29
 
30
 
31
ALON, N. AND MEGIDDO, N. 1990. Parallel linear programming in fixed dimension almost surely in constant time. In Proceedings of the 31st Annual IEEE Symposium on the Foundations of Computer Science, 574-582.
 
32
ALON, N. AND SPENCER, J. 1993. The Probabilistic Method. Wiley, New York.
 
33
ALT, H., BEHRENDS, B., AND BL(~MER, J. 1995. Approximate matching of polygonal shapes. Ann. Math. Artif. Intell. 13, 251-266.
 
34
AMATO, N. M., GOODRICH, M. T., AND RAMOS, E.A. 1994. Parallel algorithms for higherdimensional convex hulls. In Proceedings of the 35th Annual IEEE Symposium on the Foundations of Computer Science, 683-694.
35
 
36
AMENTA, N. 1994b. Helly-type theorems and generalized linear programming. Discrete Comput. Geom. 12, 241-261.
 
37
 
38
 
39
40
 
41
 
42
BAR-YEHUDA, R., EFRAT, A., AND ITAI, A. 1993. A simple algorithm for maintaining the center of a planar point-set. In Proceedings of the Fifth Canadian Conference on Computational Geometry, 252-257.
 
43
 
44
 
45
 
46
47
48
 
49
 
50
BRONNIMANN, H. AND CHAZELLE, B. 1994. Optimal slope selection via cuttings. In Proceedings of the Sixth Canadian Conference on Computational Geometry, 99-103.
 
51
BRONNIMANN, H. AND GOODRICH, M. T. 1995. Almost optimal set covers in finite VC-dimension. Discrete Comput. Geom. 14, 263-279.
 
52
BRONNIMANN, H., CHAZELLE, B., AND MATOUSEK, J. 1993. Product range spaces, sensitive sampling, and derandomization. In Proceedings of the 34th Annual IEEE Symposium on the Foundations of Computer Science, 400- 409.
53
 
54
CANNY, J. AND REIF, J. H. 1987. New lower bound techniques for robot motion planning problems. In Proceedings of the 28th Annual IEEE Symposium on the Foundations of Computer Science, 49-60.
55
56
 
57
58
 
59
 
60
 
61
 
62
CHAZELLE, B., EDELSBRUNNER, H., GUIBAS, L. J., AND SHARIR, M. 1993. Diameter, width, closest line pair and parametric searching. Discrete Comput. Geom. 10, 183-196.
 
63
CHAZELLE, B., EDELSBRUNNER, H., GUIBAS, L. J., AND SHARIR, M. 1994. Algorithms for bichromatic line segment problems and polyhedral terrains. Algorithmica 11, 116-132.
 
64
CHAZELLE, B., EDELSBRUNNER, H., GUIBAS, L. J., SHARIR, M., AND STOLFI, J. 1996. Lines in space: Combinatorics and algorithms. Algorithmica 15, 428-447.
 
65
 
66
 
67
 
68
 
69
 
70
CLARKSON, K. L. 1992. Randomized geometric algorithms. In Computing in Euclidean Geometry, D.-Z. Du and F. K. Hwang, Eds., World Scientific, Singapore, 117-162.
 
71
72
 
73
 
74
CLARKSON, K. L., EPPSTEIN, D., MILLER, G. L., STURTIVANT, C., AND TENG, S.-H. 1996. Approximating center points with iterative Radon points. Int. J. Comput. Geom. Appl. 6, 357-377.
 
75
COHEN, E. AND MEGIDDO, N. 1993. Maximizing concave functions in fixed dimension. In Complexity in Numeric Computation (P. Pardalos, Ed., World Scientific, Singapore, 74-87.
76
77
 
78
 
79
 
80
81
82
 
83
DANZER, L., GRfJNBAUM, B., AND KLEE, V. 1963. Helly's theorem and its relatives. In Convexity, Proceedings of the Symposium on Pure Mathematics, Vol. 7, American Mathematical Society, Providence, RI 101-180.
 
84
DAS, G. AND JOSEPH, D. 1990. The complexity of minimum convex nested polyhedra. In Proceedings of the Second Canadian Conference on Computational Geometry, 296-301.
 
85
 
86
 
87
88
 
89
DEHAEMER, M. J., JR. AND ZYDA, M. J. 1991. Simplification of objects rendered by polygonal approximations. Comput. Graph. 15, 175- 184.
 
90
 
91
DILLENCOURT, M. B., MOUNT, D. M., AND NETAN- YAHU, N.S. 1992. A randomized algorithm for slope selection. Int. J. Comput. Geom. Appl. 2, 1-27.
 
92
DREZNER, Z. 1981. On a modified l-center problem. Manage Sci. 27, 838-851.
 
93
DREZNER, Z. 1984a. The p-centre problems- Heuristic and optimal algorithms. J. Oper. Res. Soc. 35, 741-748.
 
94
DREZNER, Z. 1984b. The planar two-center and two-median problem. Transp. Sci. 18, 351- 361.
 
95
DREZNER, Z. 1987. On the rectangular p-center problem. Naval Res. Logist. Q. 34, 229-234.
 
96
DREZNER, Z. 1989. Conditional p-centre problems. Transp. Sci. 23, 51-53.
 
97
DREZNER, Z., ED. 1995. Facility Location. Springer-Verlag, New York.
 
98
DREZNER, Z., MEHREZ, n., AND WESOLOWSKY, G.O. 1992. The facility location problems with limited distances. Transp. Sci. 25, 183- 187.
 
99
 
100
DYER, M. E. 1984. Linear time algorithms for two- and three-variable linear programs. SIAM J. Comput. 13, 31-45.
 
101
102
103
 
104
DYER, M. E. AND FRIEZE, A. M. 1985. A simple heuristic for the p-centre problem. Oper. Res. Lett. 3, 285-288.
 
105
 
106
EBARA, H., FUKUYAMA, N., NAKANO, H., AND NA- KANISHI, Y. 1980. Roundness algorithms using the Voronoi diagrams. In Abstracts of the First Canadian Conference on Computational Geometry, 41.
 
107
ECKHOFF, J. 1993. Helly, Radon, and Carath- ~odory type theorems. In Handbook of Convex Geometry, P. M. Gruber and J. Wills, Eds., North-Holland, 389-448.
 
108
 
109
 
110
 
111
EFRAT, A. AND SHARIR, M. 1996. A near-linear algorithm for the planar segment center problem. Discrete Comput. Geom. 16, 239-257.
 
112
113
 
114
EPPSTEIN, D. 1992. Dynamic three-dimensional linear programming. ORSA J. Comput. 4, 360 -368.
 
115
 
116
 
117
EPPSTEIN, D. AND ERICKSON, g. 1994. Iterated nearest neighbors and finding minimal polytopes. Discrete Comput. Geom. 11,321-350.
 
118
119
120
 
121
 
122
FOLLERT, F., SCHOMER, E., AND SELLEN, J. 1995. Subquadratic algorithms for the weighted maximum facility location problem. In Proceedings of the Seventh Canadian Conference on Computational Geometry, 1-6.
 
123
 
124
FOWLER, R. J., PATERSON, M. S., AND TANIMOTO, S.L. 1981. Optimal packing and covering in the plane are NP-complete. Inf. Process. Lett. 12, 133-137.
 
125
 
126
FREDERICKSON, G. N. AND JOHNSON, D. B. 1982. The complexity of selection and ranking in X + Y and matrices with sorted rows and columns. J. Comput. Syst. Sci. 24, 197-208.
 
127
FREDERICKSON, G. N. AND JOHNSON, D. B. 1983. Finding kth paths and p-centers by generating and searching good data structures. J. Alg. 4, 61-80.
 
128
FREDERICKSON, G. N. AND JOHNSON, D. B. 1984. Generalized selection and ranking: Sorted matrices. SIAM J. Comput. 13, 14-30.
129
 
130
 
131
 
132
133
 
134
GONZALEZ, T. 1985. Clustering to minimize the maximum intercluster distance. Theor. Comput. Sci. 38, 293-306.
 
135
GONZALEZ, T. 1991. Covering a set of points in multidimensional space. Inf. Process. Lett. 40, 181-188.
136
 
137
GOODRICH, M. T. 1995. Efficient piecewise-linear function approximation using the uniform metric. Discrete Comput. Geom. 14, 445-462.
 
138
GOODRICH, M. T. AND RAMOS, E. A. 1997. Bounded-independence derandomization of geometric partitioning with applications to parallel fixed-dimensional linear programming. Discrete Comput. Geom. 18, 397-420.
139
 
140
GRfJNBAUM, B. 1956. A proof of V~zsonyi's conjecture. Bull. Res. Council Isr., Sect. A, 6, 77-78.
 
141
GUPTA, P., JANARDAN, R., AND SMID, M. 1994. Fast algorithms for collision and proximity problems involving moving geometric objects. Rep. MPI-I-94-113, Max-Planck-Institut Inform., Saarbrficken, Germany.
 
142
GUSFIELD, D., BALASUBRAMANIAN, K., AND NAOR, D. 1994. Parametric optimization of sequence alignment. Algorithmica 12, 312-326.
143
 
144
 
145
HECKBERT, P. S. AND GARLAND, M. 1995. Fast polygonal approximation of terrains and height fields. Tech. Rep. CMU-CS-95-181, Carnegie Mellon University.
 
146
HELLY, E. 1930. Uber Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. Monaths. Math. und Physik 37, 281-302.
 
147
HEPPES, A. 1956. Beweis einer Vermutung von A. V~zonyi. Acta Math. Acad. Sci. Hungar. 7, 463-466.
 
148
 
149
 
150
 
151
HERSHBERGER, J. AND SURI, S. 1993a. Efficient computation of Euclidean shortest paths in the plane. In Proceedings of the 34th Annual IEEE Symposium on the Foundations of Computer Science, 508-517.
152
153
 
154
 
155
HOCHBAUM, D. S. AND SHMOYS, D. 1985. A best possible heuristic for the k-center problem. Math. Oper. Res. 10, 180-184.
156
 
157
HOCKEN, R. J., RAJA, J., AND BABU, U. 1993. Sampling issues in coordinate metrology. Man. Rev. 6, 282-294.
 
158
159
160
 
161
 
162
163
 
164
HUTTENLOCHER, D. P., KEDEM, K., AND SHARIR, M. 1993. The upper envelope of Voronoi surfaces and its applications. Discrete Comput. Geom. 9, 267-291.
 
165
 
166
HWANG, R. Z., CHANG, R. C., AND LEE, R. C.T. 1993a. The generalized searching over separators strategy to solve some NP- hard problems in subexponential time. Algorithmica 9, 398-423.
 
167
HWANG, R. Z., LEE, R. C. T., AND CHANG, R.C. 1993b. The slab dividing approach to solve the Euclidean p-center problem. Algorithmica 9, 1-22.
 
168
IMAI, H., LEE, D., AND YANG, C. 1992. l-segment center covering problems. ORSA J. Comput. 4, 426-434.
 
169
JADHAV, S. AND MUKHOPADHYAY, A. 1994. Computing a centerpoint of a finite planar set of points in linear time. Discrete Comput. Geom. 12, 291-312.
 
170
 
171
172
 
173
JAROMCZYK, J. W. AND KOWALUK, M. 1995a. A geometric proof of the combinatorial bounds for the number of optimal solutions to the 2-center Euclidean problem. In Proceedings of the Seventh Canadian Conference on Computational Geometry, 19-24.
 
174
175
 
176
 
177
178
 
179
 
180
 
181
KAUFMAN, L. AND ROUSSEEUW, P.J. 1990. Finding Groups in Data: An Introduction to Cluster Analysis. Wiley, New York.
 
182
KHACHIYAN, L. G. 1980. Polynomial algorithm in linear programming. U.S.S.R. Comput. Math. Math. Phys. 20, 53-72.
 
183
 
184
KNUTH, D.E. 1973. Sorting and Searching. Addison-Wesley, Reading, MA.
 
185
 
186
 
187
Ko, M. T., LEE, R. C. T., AND CHANG, J.S. 1990. An optimal approximation algorithm for the rectilinear m-center problem. Algorithmica 5, 341-352.
 
188
KORNEENKO, N. M. AND MARTINI, H. 1993. Hyperplane approximation and related topics. In New Trends in Discrete and Computational Geometry, J. Pach, Ed., Algorithms and Combinatorics, Springer-Verlag, Heidelberg, 135- 161.
 
189
 
190
 
191
LEE, D. T. AND WU, Y.F. 1986. Geometric complexity of some location problems. Algorithmica 1, 193-211.
 
192
LEVEN, D. AND SHARIR, M. 1987. On the number of critical free contacts of a convex polygonal object moving in two-dimensional polygonal space. Discrete Comput. Geom. 2, 255-270.
 
193
Lo, C.-Y. AND STEIGER, W. 1990. An optimaltime algorithm for ham-sandwich cuts in the plane. In Proceedings of the Second Canadian Conference on Computational Geometry, 5-9.
 
194
Lo, C.-Y., MATOUSEK, J., AND STEIGER, W.L. 1994. Algorithms for ham-sandwich cuts. Discrete Comput. Geom. 11,433-452.
 
195
 
196
 
197
 
198
MAKHOUL, J., ROUCOS, S., AND GISH, H. 1985. Vector quantization in speech coding. In Proceedings of the IEEE 73, 1551-1588.
 
199
MATOUSEK, J. 1991a. Computing the center of planar point sets. In Computational Geometry: Papers from the DIMACS Special Year, J. E. Goodman, R. Pollack, and W. Steiger, Eds., American Mathematical Society, Providence, 221-230.
 
200
 
201
 
202
 
203
MATOUSEK, J. 1994. Lower bound for a subexponential optimization algorithm. Random Struct. Alg. 5, 591-607.
 
204
 
205
MATOUSEK, J. 1995b. On geometric optimization with few violated constraints. Discrete Comput. Geom. 14, 365-384.
 
206
 
207
 
208
MATOUSEK, J., SHARIR, M., AND WELZL, E. 1996. A subexponential bound for linear programming. Algorithmica 16, 498-516.
209
 
210
MEGIDDO, N. 1979. Combinatorial optimization with rational objective functions. Math. Oper. Res. 4, 414-424.
211
 
212
MEGIDDO, N. 1983b. Linear-time algorithms for linear programming in R3 and related problems. SIAM J. Comput. 12, 759-776.
 
213
MEGIDDO, N. 1983c. The weighted Euclidean l-center problem. Math. Oper. Res. 8, 498- 504.
214
 
215
MEGIDDO, N. 1985. Partitioning with two lines in the plane. J. Alg. 6, 430-433.
 
216
 
217
 
218
MEGIDDO, N. AND SUPOWIT, K.J. 1984. On the complexity of some common geometric location problems. SIAM J. Comput. 13, 182-196.
 
219
MEGIDDO, N. AND TAMIR, A. 1982. On the complexity of locating linear facilities in the plane. Oper. Res. Lett. 1, 194-197.
 
220
MEGIDDO, N. AND ZEMEL, E. 1986. A randomized O(n log n) algorithm for the weighted Euclidean l-center problem. J. Alg. 7, 358- 368.
221
222
 
223
MITCHELL, J. S. B. 1996. Shortest paths and networks. Tech. Rep., University at Stony Brook.
 
224
225
 
226
 
227
 
228
MULMULEY, Z. 1994. Computational Geometry: An Introduction Through Randomized Algorithms. Prentice-Hall, Englewood Cliffs, NJ.
 
229
NAOR, N. AND SHARIR, M. 1990. Computing a point in the center of a point set in three dimensions. In Proceedings of the Second Canadian Conference on Computational Geometry, 10-13.
 
230
 
231
PAPADIMITRIOU, C. H. 1981. Worst-case and probabilistic analysis of a geometric location problem. SIAM J. Comput. 10, 542-557.
 
232
PELLEGRINI, M. 1993. Ray shooting on triangles in 3-space. Algorithmica 9, 471-494.
 
233
 
234
 
235
236
237
 
238
239
 
240
 
241
242
 
243
 
244
RoY, U. AND ZHANG, X. 1992. Establishment of a pair of concentric circles with the minimum radial separation for assessing roundness error. Comput. Aided Des. 24, 161-168.
 
245
246
247
 
248
 
249
SCHROETER, P. AND BIG~IN, J. 1995. Hierarchical image segmentation by multi-dimensional clustering and orientation-adaptive boundary refinement. Patt. Recogn. 28, 695-709.
 
250
 
251
SEIDEL, R. 1993. Backwards analysis of randomized geometric algorithms. In New Trends in Discrete and Computational Geometry, J. Pach, Ed., Springer-Verlag, Heidelberg, 37- 68.
252
 
253
 
254
SHAFER, L. AND STEIGER, W. 1993. Randomizing optimal geometric algorithms. In Proceedings of the Fifth Canadian Conference on Computational Geometry, 133-138.
 
255
SHARIR, M. 1997. A near-linear algorithm for the planar 2-center problem. Discrete Comput. Geom. 18, 125-134.
 
256
 
257
 
258
259
 
260
SOMMERVILLE, D. M.Y. 1951. Analytical Geometry in Three Dimensions. Cambridge University Press, Cambridge, UK.
 
261
 
262
STEIN, A. AND WERMAN, M. 1992b. Robust statistics in shape fitting. In Proceedings of the IEEE International Conference on Computer Vision Pattern Recognition, 540-546.
 
263
 
264
 
265
TOLEDO, S. 1991. Extremal polygon containment problems and other issues in parametric searching. M.S. Thesis, Dept. of Computer Science, Tel Aviv University, Tel Aviv.
 
266
 
267
TOLEDO, S. 1993b. Maximizing non-linear concave functions in fixed dimension. In Complexity in Numerical Computations, P. M. Pardalos, Ed., World Scientific, Singapore, 429-447.
 
268
VALIANT, L. 1975. Parallelism in comparison problems. SIAM J. Comput. 4, 348-355.
269
 
270
VARADARAJAN, K. R. AND AGARWAL, P. K. 1995. Linear approximation of simple objects. In Proceedings of the Seventh Canadian Conference on Computational Geometry, 13-18.
 
271
VOELCKER, H. 1993. Current perspective on tolerancing and metrology. Man. Rev. 6, 258- 268.
 
272
WELZL, E. 1991. Smallest enclosing disks (balls and ellipsoids). In New Results and New Trends in Computer Science, H. Maurer, Ed., LNCS 555, Springer-Verlag, 359-370.
 
273
WESOLOWSKY, G. 1993. The Weber problem: History and perspective. Loca. Sci. 1, 5-23.
 
274
275
 
276
 
277
ZEMEL, E. 1987. A linear time randomizing algorithm for searching ranked functions. Algorithmica 2, 81-90.

CITED BY  32

Collaborative Colleagues:
Pankaj K. Agarwal: colleagues
Micha Sharir: colleagues