Geometric Pattern Matching in d -Dimensional Space

Abstract. We show that, using the L∞ metric, the minimum Hausdorff distance under translation between two point sets of cardinality n in d -dimensional space can be computed in time O(n(4d-2)/3 log2n) for 3 < d $\leq$ 8, and in time O(n5d/4 log2n) for any d > 8 . Thus we improve the previous time bound of O(n2d-2 log2n) due to Chew and Kedem. For d=3 we obtain a better result of O(n3 log2n) time by exploiting the fact that the union of n axis-parallel unit cubes can be decomposed into O(n) disjoint axis-parallel boxes. We prove that the number of different translations that achieve the minimum Hausdorff distance in d -space is $\Theta(n^{\floor{3d/2}})$ . Furthermore, we present an algorithm which computes the minimum Hausdorff distance under the L2 metric in d -space in time $O(n^{\ceil{3d/2}+1 +\delta})$ , for any δ > 0.

[1]  Nancy M. Amato,et al.  Parallel algorithms for higher-dimensional convex hulls , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[2]  Raimund Seidel,et al.  Small-dimensional linear programming and convex hulls made easy , 1991, Discret. Comput. Geom..

[3]  F. Frances Yao,et al.  Computational Geometry , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

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

[5]  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).

[6]  Micha Sharir,et al.  The upper envelope of voronoi surfaces and its applications , 1993, Discret. Comput. Geom..

[7]  Jirí Matousek,et al.  Linear optimization queries , 1992, SCG '92.

[8]  Micha Sharir,et al.  A near-linear algorithm for the planar segment-center problem , 1994, SODA '94.

[9]  Alon Efrat,et al.  Geometric Pattern Matching in d-Dimensional Space , 1995, ESA.

[10]  Donald B. Johnson,et al.  Generalized Selection and Ranking: Sorted Matrices , 1984, SIAM J. Comput..

[11]  Klara Kedem,et al.  Improvements on Geometric Pattern Matching Problems , 1992, SWAT.

[12]  Micha Sharir,et al.  The upper envelope of voronoi surfaces and its applications , 1991, SCG '91.

[13]  Donald B. Johnson,et al.  Finding k-th Paths and p-Centers by Generating and Searching Good Data Structures , 1983, J. Algorithms.

[14]  Mark H. Overmars,et al.  New upper bounds in Klee's measure problem , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[15]  Jirí Matousek,et al.  Reporting Points in Halfspaces , 1992, Comput. Geom..

[16]  Raimund Seidel,et al.  Constructing higher-dimensional convex hulls at logarithmic cost per face , 1986, STOC '86.

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

[18]  Mariette Yvinec,et al.  Voronoi Diagrams in Higher Dimensions under Certain Polyhedral Distance Functions , 1998, Discret. Comput. Geom..

[19]  Micha Sharir,et al.  Computing envelopes in four dimensions with applications , 1994, SCG '94.

[20]  William Rucklidge Lower Bounds for the Complexity of the Hausdorff Distance , 1993, CCCG.

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

[22]  Mariette Yvinec,et al.  Voronoi Diagrams in Higher Dimensions under Certain Polyhedral Distance Functions , 1995, SCG '95.