On the union of Jordan regions and collision-free translational motion amidst polygonal obstacles

Let γ1,..., γm bem simple Jordan curves in the plane, and letK1,...,Km be their respective interior regions. It is shown that if each pair of curves γi, γj,i ≠j, intersect one another in at most two points, then the boundary ofK=∩i=1mKi contains at most max(2,6m − 12) intersection points of the curvesγ1, and this bound cannot be improved. As a corollary, we obtain a similar upper bound for the number of points of local nonconvexity in the union ofm Minkowski sums of planar convex sets. Following a basic approach suggested by Lozano Perez and Wesley, this can be applied to planning a collision-free translational motion of a convex polygonB amidst several (convex) polygonal obstaclesA1,...,Am. Assuming that the number of corners ofB is fixed, the algorithm presented here runs in timeO (n log2n), wheren is the total number of corners of theAi's.

[1]  P. Erdos,et al.  Osculation vertices in arrangements of curves , 1973 .

[2]  B. Grünbaum Arrangements and Spreads , 1972 .

[3]  David G. Kirkpatrick,et al.  Optimal Search in Planar Subdivisions , 1983, SIAM J. Comput..

[4]  Leonidas J. Guibas,et al.  Visibility-polygon search and euclidean shortest paths , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[5]  Hiroshi Imai,et al.  Voronoi Diagram in the Laguerre Geometry and its Applications , 1985, SIAM J. Comput..

[6]  Micha Sharir,et al.  An efficient and simple motion planning algorithm for a ladder moving in two-dimensional space amidst polygonal barriers (extended abstract) , 1985, SCG '85.

[7]  Thomas Ottmann,et al.  Algorithms for Reporting and Counting Geometric Intersections , 1979, IEEE Transactions on Computers.

[8]  Emo WELZL,et al.  Constructing the Visibility Graph for n-Line Segments in O(n²) Time , 1985, Inf. Process. Lett..

[9]  David C. Kay,et al.  On sets having finitely many points of local nonconvexity and propertyPm , 1971 .

[10]  Franz Aurenhammer,et al.  Power Diagrams: Properties, Algorithms and Applications , 1987, SIAM J. Comput..

[11]  Leonidas J. Guibas,et al.  A kinetic framework for computational geometry , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[12]  David C. Kay,et al.  Convexity and a certain propertyPm , 1970 .

[13]  J. Schwartz,et al.  On the “piano movers'” problem I. The case of a two‐dimensional rigid polygonal body moving amidst polygonal barriers , 1983 .

[14]  R. V. Benson Euclidean Geometry and Convexity , 1966 .

[15]  Franco P. Preparata,et al.  Plane-sweep algorithms for intersecting geometric figures , 1982, CACM.

[16]  Micha Sharir,et al.  Intersection and Closest-Pair Problems for a Set of Planar Discs , 1985, SIAM J. Comput..

[17]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[18]  Chee-Keng Yap,et al.  A "Retraction" Method for Planning the Motion of a Disc , 1985, J. Algorithms.