On Constants for Cuttings in the Plane

Abstract. A theorem of Chazelle and Friedman with numerous applications in combinatorial and computational geometry asserts that for any set L of n lines in the plane and for any parameter r>1 there exists a subdivision of the plane into at most Cr2 (possibly unbounded) triangles, C a constant, such that the interior of each triangle is intersected by at most n/r lines of L . (Such a subdivision is called a (1/r) -cutting for L .) We give upper and lower bounds on the constant C . We also consider the canonical triangulation of the arrangement of a random sample of r lines from L . Although this typically is not a (1/r) -cutting, the expectation of the k th degree average of the number of lines intersecting a triangle is O(n/r) for any fixed k . We estimate the constant of proportionality in this result.

[1]  Kenneth L. Clarkson,et al.  New applications of random sampling in computational geometry , 1987, Discret. Comput. Geom..

[2]  J. Douglas Faires,et al.  Numerical Analysis , 1981 .

[3]  Pankaj K. Agarwal Geometric Partitioning and its Applications , 1990, Discrete and Computational Geometry.

[4]  David Haussler,et al.  ɛ-nets and simplex range queries , 1987, Discret. Comput. Geom..

[5]  Kenneth L. Clarkson,et al.  A Randomized Algorithm for Closest-Point Queries , 1988, SIAM J. Comput..

[6]  Herbert Edelsbrunner,et al.  Algorithms in Combinatorial Geometry , 1987, EATCS Monographs in Theoretical Computer Science.

[7]  Hiroshi Imai,et al.  Algorithms for vertical and orthogonal L1 linear approximation of points , 1988, SCG '88.

[8]  Kenneth L. Clarkson A bound on local minima of arrangements that implies the upper bound theorem , 1993, Discret. Comput. Geom..

[9]  Jirí Matousek,et al.  Computing many faces in arrangements of lines and segments , 1994, SCG '94.

[10]  Bernard Chazelle,et al.  Cutting hyperplanes for divide-and-conquer , 1993, Discret. Comput. Geom..

[11]  Leonidas J. Guibas,et al.  Combinatorics and Algorithms of Arrangements , 1993 .

[12]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[13]  Vladimir Vapnik,et al.  Chervonenkis: On the uniform convergence of relative frequencies of events to their probabilities , 1971 .

[14]  Bernard Chazelle,et al.  An optimal convex hull algorithm in any fixed dimension , 1993, Discret. Comput. Geom..

[15]  Bernard Chazelle,et al.  A deterministic view of random sampling and its use in geometry , 1990, Comb..

[16]  Kenneth L. Clarkson,et al.  Applications of random sampling in computational geometry, II , 1988, SCG '88.

[17]  L. Santaló Integral geometry and geometric probability , 1976 .

[18]  Bernard Chazelle,et al.  Product range spaces, sensitive sampling, and derandomization , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[19]  Herbert Edelsbrunner,et al.  Constructing Belts in Two-Dimensional Arrangements with Applications , 1986, SIAM J. Comput..