An expander-based approach to geometric optimization

We present a new approach to problems in geometric optimization that are traditionally solved using the parametric searching technique of Megiddo. Our new approach is based on expander graphs and is conceptually much simpler and has more explicit geometric flavor. It does not require parallelization or randomization, and it exploits recent range-searching techniques of Matousˇek and others. We exemplify the technique on three problems, the <italic>slope selection</italic> problem, the planar <italic>distance selection</italic> problem, and the planar <italic>two-center</italic> problem. For the first problem we develop an <italic>O(n log<supscrpt>3</supscrpt>n)</italic>) solution, which, although suboptimal, is very simple. The second and third problems are more typical examples of our approach. Our solutions have, respectively, running time <italic>O(n<supscrpt>4/3</supscrpt> log<supscrpt>3+δ</supscrpt> n)</italic>, for any δ > 0, and <italic>O(n<supscrpt>2</supscrpt> log<supscrpt>3</supscrpt> n)</italic>, comparable with the respective solutions of [2, 5].

[1]  Leonidas J. Guibas,et al.  Diameter, width, closest line pair, and parametric searching , 1992, SCG '92.

[2]  Jirí Matousek,et al.  A deterministic algorithm for the three-dimensional diameter problem , 1993, STOC '93.

[3]  Nimrod Megiddo,et al.  A deterministic poly(log log N)-time N-processor algorithm for linear programming in fixed dimension , 1992, STOC '92.

[4]  Nimrod Megiddo,et al.  Applying parallel computation algorithms in the design of serial algorithms , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[5]  Micha Sharir,et al.  Selecting distances in the plane , 1990, SCG '90.

[6]  John Hershberger A Faster Algorithm for the Two-Center Decision Problem , 1993, Inf. Process. Lett..

[7]  Micha Sharir,et al.  Optimal Slope Selection Via Expanders , 1993, CCCG.

[8]  Subhash Suri,et al.  Finding tailored partitions , 1989, SCG '89.

[9]  Micha Sharir,et al.  Computing the Smallest K-enclosing Circle and Related Problems , 1993, Comput. Geom..

[10]  Leslie G. Valiant,et al.  Parallelism in Comparison Problems , 1975, SIAM J. Comput..

[11]  Jirí Matousek Range searching with efficient hierarchical cuttings , 1992, SCG '92.

[12]  Alexander Lubotzky,et al.  Explicit expanders and the Ramanujan conjectures , 1986, STOC '86.

[13]  Endre Szemerédi,et al.  Optimal Slope Selection , 1988, ICALP.

[14]  Moni Naor,et al.  The minimum reservation rate problem in digital audio/video systems , 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.

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

[16]  Jirí Matousek,et al.  On Enclosing k Points by a Circle , 1995, Inf. Process. Lett..

[17]  Endre Szemerédi,et al.  An Optimal-Time Algorithm for Slope Selection , 1989, SIAM J. Comput..

[18]  William L. Steiger,et al.  Randomizing Optimal Geometric Algorithms , 1993, CCCG.

[19]  Bernard Chazelle,et al.  Quasi-optimal range searching in spaces of finite VC-dimension , 1989, Discret. Comput. Geom..

[20]  David M. Mount,et al.  A randomized algorithm for slope selection , 1992, Int. J. Comput. Geom. Appl..

[21]  Leonidas J. Guibas,et al.  Combinatorial complexity bounds for arrangements of curves and spheres , 1990, Discret. Comput. Geom..

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

[23]  Sivan Toledo,et al.  Extremal polygon containment problems , 1991, SCG '91.

[24]  Bernard Chazelle,et al.  Quasi-optimal upper bounds for simplex range searching and new zone theorems , 1990, SCG '90.

[25]  Richard Cole,et al.  Slowing down sorting networks to obtain faster sorting algorithms , 2015, JACM.

[26]  Sivan Toledo,et al.  Applications of parametric searching in geometric optimization , 1992, SODA '92.

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

[28]  Jirí Matousek,et al.  Efficient partition trees , 1991, SCG '91.

[29]  Sivan Toledo,et al.  Computing a Segment Center for a Planar Point Set , 1993, J. Algorithms.

[30]  David Haussler,et al.  Epsilon-nets and simplex range queries , 1986, SCG '86.

[31]  Jirí Matousek,et al.  Randomized Optimal Algorithm for Slope Selection , 1991, Inf. Process. Lett..

[32]  Jirí Matousek,et al.  Ray shooting and parametric search , 1992, STOC '92.

[33]  Michael T. Goodrich Geometric partitioning made easier, even in parallel , 1993, SCG '93.

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

[35]  Jirí Matousek,et al.  Approximations and optimal geometric divide-and-conquer , 1991, STOC '91.