Abstract
Convex polygons in the plane can be defined explicitly as an ordered list of vertices, or given implicitly, for example by a list of linear constraints. The latter representation has been considered in several fields such as facility location, robotics and computer graphics. In this paper, we investigate many fundamental geometric problems for implicitly represented polygons and give simple and fast algorithms that are easy to implement. We uncover an interesting partition of the problems into two classes: those that exhibit an Ω(nlog n) lower bound on their complexity, and those that yield O(n) time algorithms via prune-and-search methods.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aggarwal, A., Guibas, L. J., Saxe, J. and Shor, P.: A linear time algorithm for computing the Voronoi diagram of a convex polygon, In: Proc. 19th Ann. ACM Sympos. Theory Comput.., 1987, pp. 39–45.
Ben-Or, M.: Lower bounds for algebraic computation trees, In: Proc. 15th Ann. Sympos. Theory Comput., 1983, pp. 80–86.
Bhattacharya, B. and Toussaint, G.: Efficient algorithms for computing the maximum distance between two finite planar sets, J. Algorithms 4 (1983), 121–136.
Blum, M., Floyd, R. W., Pratt, V., Rivest, R. L. and Tarjan, R. E.: Time bounds for selection, J. Comput. System. Sci. 7 (1973), 448–461.
Dharmadhikari, S. W. and Jogdeo, K.: A characterization of convexity and central symmetry for planar polygonal sets, Israel J. Math. 15 (1973), 356–366.
Drezner, Z. (ed.): Facility Location: A Survey of Applications and Methods, Springer Ser. Oper. Res., Springer-Verlag, New York, 1995.
Dyer, M. E.: Linear time algorithms for two-and three-variable linear programs, SIAM J. Comput. 13 (1984), 31–45.
Dyer, M. E.: On a multidimensional search technique and its application to the Euclidean onecentre problem, SIAM J. Comput. 15 (1986), 725–738.
Haunold, P., Grumbach, S., Kuper, G. and Lacroix, Z.: Linear constraints: Geometric objects represented by inequalities, In: Proc. Internat. Conf. COSIT '97, Spatial Information Theory, A Theoretical Basis for GIS, 1997, pp. 429–440.
Hoare, C. A. R.: Algorithm 63 (partition) and algorithm 65 (find), Comm. ACM 4(7) (1961), 321–322.
Houle, M. E. and Toussaint, G. T.: Computing the width of a set, IEEE Trans. Pattern Anal. Mach. Intell. 10 (1988), 761–765.
Hurtado, F., Sacristán, V. and Toussaint, G.: Some constrained minimax and maximin location problems, Stud. Locational Anal. 15 (2000), 17–35.
Kirkpatrick, D. G. and Seidel, R.: The ultimate planar convex hull algorithm, SIAM J. Comput. 15 (1986), 287–299.
Lee, D. T. and Wu, Y. F.: Geometric complexity of some location problems, Algorithmica 1 (1986), 193–211.
Liang, Y. and Barsky, B.: A new concept and method for line clipping, ACM Trans. Graphics 3(1) (1984), 1–22.
Matoušek, J., Sharir, M. and Welzl, E.: A subexponential bound for linear programming, Algorithmica 16 (1996), 498–516.
Megiddo, N.: Linear-time algorithms for linear programming in R 3 and related problems, SIAM J. Comput. 12 (1983), 759–776.
Megiddo, N.: Linear programming in linear time when the dimension is fixed, J. ACM 31 (1984), 114–127.
Preparata, F. P. and Shamos, M. I.: Computational Geometry: An Introduction, Springer-Verlag, New York, 1985.
Toussaint, G.: Solving geometric problems with rotating calipers, MELECON, Greece, 1983.
Toussaint, G. and McAlear, M. A.: A simple O(n log n) algorithm for finding the maximum distance between two finite planar sets, Pattern Recogn. Lett. 1 (1982), 21–24.
Welzl, E.: LP with small d - algorithms and applications, Manuscript, 1994.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gómez, F., Hurtado, F., Ramaswami, S. et al. Implicit Convex Polygons. Journal of Mathematical Modelling and Algorithms 1, 57–85 (2002). https://doi.org/10.1023/A:1015626820950
Issue Date:
DOI: https://doi.org/10.1023/A:1015626820950