Discrete & Computational Geometry

, Volume 2, Issue 2, pp 195–222 | Cite as

New applications of random sampling in computational geometry

  • Kenneth L. Clarkson
Article

Abstract

This paper gives several new demonstrations of the usefulness of random sampling techniques in computational geometry. One new algorithm creates a search structure for arrangements of hyperplanes by sampling the hyperplanes and using information from the resulting arrangement to divide and conquer. This algorithm requiresO(sd+ε) expected preprocessing time to build a search structure for an arrangement ofs hyperplanes ind dimensions. The expectation, as with all expected times reported here, is with respect to the random behavior of the algorithm, and holds for any input. Given the data structure, and a query pointp, the cell of the arrangement containingp can be found inO(logs) worst-case time. (The bound holds for any fixed ε>0, with the constant factors dependent ond and ε.) Using point-plane duality, the algorithm may be used for answering halfspace range queries. Another algorithm finds random samples of simplices to determine the separation distance of two polytopes. The algorithm uses expectedO(n[d/2]) time, wheren is the total number of vertices of the two polytopes. This matches previous results [10] for the cased = 3 and extends them. Another algorithm samples points in the plane to determine their orderk Voronoi diagram, and requires expectedO(s1+εk) time fors points. (It is assumed that no four of the points are cocircular.) This sharpens the boundO(sk2 logs) for Lee's algorithm [21], andO(s2 logs+k(s−k) log2s) for Chazelle and Edelsbrunner's algorithm [4]. Finally, random sampling is used to show that any set ofs points inE3 hasO(sk2 log8s/(log logs)6) distinctj-sets withjk. (ForSEd, a setS′ ⊂S with |S′| =j is aj-set ofS if there is a half-spaceh+ withS′ =Sh+.) This sharpens with respect tok the previous boundO(sk5) [5]. The proof of the bound given here is an instance of a “probabilistic method” [15].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    A. Blumer, A. Ehrenfeucht, D. Haussler, and M. Warmuth, Classifying learnable geometric concepts with the Vapnik-Chervonenkis dimension,Proceedings of the 18th Annual SIGACT Symposium, Berkeley, CA, 1986.Google Scholar
  2. 2.
    K. Q. Brown, Voronoi diagrams from convex hull,Inform. Process. Lett. 9 (1979), 223–228.MATHCrossRefGoogle Scholar
  3. 3.
    B. Chazelle, How to search in history,Inform. and Control 64 (1985), 77–99.MATHMathSciNetCrossRefGoogle Scholar
  4. 4.
    B. Chazelle and H. Edelsbrunner, An improved algorithm for constructingkth-order Voronoi diagrams,Proceedings of the First Symposium on Computational Geometry, 228–234, Baltimore, MD, 1985.Google Scholar
  5. 5.
    B. Chazelle and F. P. Preparata, Halfspace range search: an algorithmic application ofk-sets,Discrete Comput. Geom. 1 (1986), 83–94.MATHMathSciNetCrossRefGoogle Scholar
  6. 6.
    K. L. Clarkson, A probabilistic algorithm for the post office problem,Proceedings of the 17th Annual SIGACT Symposium, 75–184, Providence, RI, 1985.Google Scholar
  7. 7.
    R. Cole, Partitioning Point Sets in Arbitrary Dimensions, Technical Report 184, Department of Computer Science, Courant Institute, New York, 1985.Google Scholar
  8. 8.
    R. Cole and C. K. Yap, Geometric retrieval problems,Inform. and Control 63 (1984), 112–121.MathSciNetCrossRefGoogle Scholar
  9. 9.
    R. Cole, M. Sharir, and C. Yap, Onk-hulls and related problems,Proceedings of the 16th Annual SIGACT Symposium, 154–166, Washington, DC, 1984.Google Scholar
  10. 10.
    D. P. Dobkin and D. G. Kirkpatrick, A linear algorithm for determining the separation of convex polyhedra,J. Algorithms 6 (1985), 381–393.MATHMathSciNetCrossRefGoogle Scholar
  11. 11.
    D. Dobkin and R. J. Lipton, Multidimensional searching problems,SIAM J. Comput. 5 (1976), 181–186.MATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    H. Edelsbrunner and R. Seidel, Voronoi diagrams and arrangements,Discrete Comput. Geom. 1 (1986), 25–44.MATHMathSciNetCrossRefGoogle Scholar
  13. 13.
    H. Edelsbrunner and E. Welzl, On the number of line separations of a finite set in the plane,J. Combin. Theory Ser. A 38 (1985), 15–29.MATHMathSciNetCrossRefGoogle Scholar
  14. 14.
    H. Edelsbrunner, J. O'Rourke, and R. Seidel, Constructing arrangements of lines and hyperplanes with applications,SIAM J. Comput. 15 (1986), 341–363.MATHMathSciNetCrossRefGoogle Scholar
  15. 15.
    P. Erdös and J. Spencer,Probabilistic Methods in Combinatorics, Academic Press, New York, 1974.MATHGoogle Scholar
  16. 16.
    P. Erdös, L. Lovasz, A. Simmons, and E. G. Straus, Dissection graphs of planar point sets, inA Survey of Combinatorial Theory (J. N. Srivastavaet al., eds), North-Holland, Amsterdam 1973.Google Scholar
  17. 17.
    B. Grünbaum,Convex Polytopes, Wiley, New York, 1967.MATHGoogle Scholar
  18. 18.
    D. Haussler and E. Welzl,ε-nets and simplex range queries,Discrete Comput. Geom. 2 (1987), 127–151.MATHMathSciNetCrossRefGoogle Scholar
  19. 19.
    C. A. R. Hoare, Quicksort,Comput. J. 5 (1962), 13–28.MathSciNetGoogle Scholar
  20. 20.
    D. E. Knuth,The Art of Computer Programming, Vol. 3, Addison-Wesley, Reading, MA, 1973.Google Scholar
  21. 21.
    D. T. Lee, Onk-nearest neighbor Voronoi diagrams in the plane,IEEE Trans. Comput.,31 (1982), 478–487.MATHMathSciNetGoogle Scholar
  22. 22.
    P. McMullen, The maximum number of faces of a convex polytope,Mathematika 17 (1970), 179–184.MATHMathSciNetCrossRefGoogle Scholar
  23. 23.
    F. P. Preparata and M. I. Shamos,Computational Geometry: An Introduction, Springer-Verlag, New York, 1985.CrossRefGoogle Scholar
  24. 24.
    R. Reischuk, A fast probabilistic parallel sorting algorithm,Proceedings of the 22nd IEEE Symposium on Foundations of Computer Science, 212–219, 1981.Google Scholar
  25. 25.
    R. Seidel, Constructing higher-dimensional convex hulls at logarithmic cost per face,Proceedings of the 18th Annual SIGACT Symposium, Berkeley, CA, 1986.Google Scholar
  26. 26.
    M. I. Shamos, Computational Geometry, Ph.D. thesis, Yale University, 1978.Google Scholar
  27. 27.
    V. N. Vapnik and A. Y. A. Chervonenkis, On the uniform convergence of relative frequencies of events to their probabilities,Theory Probab. Appl. 16 (1971).Google Scholar
  28. 28.
    J. S. Vitter, Optimum algorithms for two random sampling problems,Proceedings of the 24th IEEE Symposium on Foundations of Computer Science, 65–75, Tucson, AZ, 1983.Google Scholar
  29. 29.
    D. Willard, Polygon retrieval,SIAM J. Comput. 11 (1982).Google Scholar
  30. 30.
    A. C. Yao and F. F. Yao, A general approach tod-dimensional geometric queries,Proceedings of the 17th Annual SIGACT Symposium, 163–168, Providence, RI, 1985.Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1987

Authors and Affiliations

  • Kenneth L. Clarkson
    • 1
  1. 1.AT&T Bell LaboratoriesMurray HillUSA

Personalised recommendations