Throwing a Sofa Through the Window

Authors Dan Halperin , Micha Sharir , Itay Yehuda



PDF
Thumbnail PDF

File

LIPIcs.SoCG.2021.41.pdf
  • Filesize: 1.44 MB
  • 16 pages

Document Identifiers

Author Details

Dan Halperin
  • Tel Aviv University, School of Computer Science, Israel
Micha Sharir
  • Tel Aviv University, School of Computer Science, Israel
Itay Yehuda
  • Tel Aviv University, School of Computer Science, Israel

Acknowledgements

We deeply thank Pankaj Agarwal and Boris Aronov for useful interactions concerning this work. In particular, Boris has suggested an alternative proof of the key topological property in the analysis in Section 4, and Pankaj has been instrumental in discussions concerning the range searching problem in Section 2. We are also grateful to Lior Hadassi for interaction involving the topological property presented in Section 4, and to Eytan Tirosh for help with the alternative proof of Lemma 1.

Cite AsGet BibTex

Dan Halperin, Micha Sharir, and Itay Yehuda. Throwing a Sofa Through the Window. In 37th International Symposium on Computational Geometry (SoCG 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 189, pp. 41:1-41:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.SoCG.2021.41

Abstract

We study several variants of the problem of moving a convex polytope K, with n edges, in three dimensions through a flat rectangular (and sometimes more general) window. Specifically: ii) We study variants where the motion is restricted to translations only, discuss situations where such a motion can be reduced to sliding (translation in a fixed direction), and present efficient algorithms for those variants, which run in time close to O(n^{8/3}). iii) We consider the case of a gate (an unbounded window with two parallel infinite edges), and show that K can pass through such a window, by any collision-free rigid motion, iff it can slide through it, an observation that leads to an efficient algorithm for this variant too. iv) We consider arbitrary compact convex windows, and show that if K can pass through such a window W (by any motion) then K can slide through a slab of width equal to the diameter of W. v) We show that if a purely translational motion for K through a rectangular window W exists, then K can also slide through W keeping the same orientation as in the translational motion. For a given fixed orientation of K we can determine in linear time whether K can translate (and hence slide) through W keeping the given orientation, and if so plan the motion, also in linear time. vi) We give an example of a polytope that cannot pass through a certain window by translations only, but can do so when rotations are allowed. vii) We study the case of a circular window W, and show that, for the regular tetrahedron K of edge length 1, there are two thresholds 1 > δ₁≈ 0.901388 > δ₂≈ 0.895611, such that (a) K can slide through W if the diameter d of W is ≥ 1, (b) K cannot slide through W but can pass through it by a purely translational motion when δ₁ ≤ d < 1, (c) K cannot pass through W by a purely translational motion but can do it when rotations are allowed when δ₂ ≤ d < δ₁, and (d) K cannot pass through W at all when d < δ₂. viii) Finally, we explore the general setup, where we want to plan a general motion (with all six degrees of freedom) for K through a rectangular window W, and present an efficient algorithm for this problem, with running time close to O(n⁴).

Subject Classification

ACM Subject Classification
  • Theory of computation → Computational geometry
Keywords
  • Motion planning
  • Convex polytopes in 3D

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. URL: https://en.wikipedia.org/wiki/Covering_space.
  2. URL: https://math.stackexchange.com/questions/1364880/smallest-cylinder-into-which-a-regular-tetrahedron-can-fit.
  3. P. Bose, D. Halperin, and S. Shamai. On the separation of a polyhedron from its single-part mold. In 13th IEEE Conference on Automation Science and Engineering, pages 61-66, 2017. Google Scholar
  4. B. Chazelle, H. Edelsbrunner, L. J. Guibas, and M. Sharir. A singly exponential stratification scheme for real semi-algebraic varieties and its applications. Theor. Comput. Sci., 84(1):77-105, 1991. Google Scholar
  5. H. Choset, K. M. Lynch, S. Hutchinson, G. Kantor, W. Burgard, L. E. Kavraki, and S. Thrun. Principles of Robot Motion: Theory, Algorithms, and Implementation. MIT Press, 2005. Google Scholar
  6. H. T. Croft, K. J. Falconer, and R. K. Guy. Unsolved Problems in Geometry. Problem Books in Mathematics. Springer Verlag, Heidelberg, 1991. Google Scholar
  7. H. E. Debrunner and P. Mani-Levitska. Can you cover your shadows? Discrete Comput. Geom., 1:45-58, 1986. Google Scholar
  8. E. Fogel, D. Halperin, and R. Wein. CGAL Arrangements and their Applications - A Step-by-Step Guide, volume 7 of Geometry and Computing. Springer, 2012. Google Scholar
  9. P. Gibbs. A computational study of sofas and cars. Computer Science, 2:1-5, 2014. Google Scholar
  10. D. Halperin, L. Kavraki, and K. Solovey. Robotics. In Handbook of Discrete and Computational Geometry, chapter 51, pages 1343-1376. Chapman & Hall/CRC, 3 edition, 2018. Google Scholar
  11. D. Halperin, J.-C. Latombe, and R. H. Wilson. A general framework for assembly planning: The motion space approach. Algorithmica, 3-4:577-601, 2000. Google Scholar
  12. D. Halperin, O. Salzman, and M. Sharir. Algorithmic motion planning. In Handbook of Discrete and Computational Geometry, chapter 50, pages 1311-1342. Chapman & Hall/CRC, 3 edition, 2018. Google Scholar
  13. D. Halperin and M. Sharir. Arrangements. In Handbook of Discrete and Computational Geometry, chapter 28, pages 723-762. Chapman & Hall/CRC, 3 edition, 2018. Google Scholar
  14. D. Halperin, M. Sharir, and I. Yehuda. Throwing a sofa through the window. CoRR, abs/2102.04262, 2021. URL: http://arxiv.org/abs/2102.04262.
  15. A. Hatcher. Algebraic Topology. Cambridge University Press, Cambridge, 2002. Google Scholar
  16. L. E. Kavraki, P. Šestka, J.-C. Latombe, and M. H. Overmars. Probabilistic roadmaps for path planning in high dimensional configuration spaces. IEEE Transactions on Robotics, 12(4):566-580, 1996. Google Scholar
  17. J. J. Kuffner and S. M. Lavalle. RRT-Connect: An efficient approach to single-query path planning. In IEEE International Conference on Robotics and Automation (ICRA), pages 995-1001, 2000. Google Scholar
  18. J.-C. Latombe. Robot Motion Planning, volume 124 of The Kluwer international series in engineering and computer science. Kluwer, 1991. Google Scholar
  19. S. M. LaValle. Planning Algorithms. Cambridge University Press, 2006. Google Scholar
  20. W. H. Plantinga and C. R. Dyer. Visibility, occlusion, and the aspect graph. Int. J. Computer Vision, 5:137-160, 1990. Google Scholar
  21. O. Salzman, M. Hemmer, and D. Halperin. On the power of manifold samples in exploring configuration spaces and the dimensionality of narrow passages. IEEE Trans Autom. Sci. Eng., 12(2):529-538, 2015. Google Scholar
  22. O. Salzman, M. Hemmer, B. Raveh, and D. Halperin. Motion planning via manifold samples. Algorithmica, 67(4):547-565, 2013. Google Scholar
  23. M. Sharir and P. K. Agarwal. Davenport-Schinzel Sequences and Their Geometric Applications. Cambridge University Press, New York, 1995. Google Scholar
  24. J. Snoeyink and J. Stolfi. Objects that cannot be taken apart with two hands. Discrete Comput. Geom., 12:367-384, 1994. Google Scholar
  25. G. Toussaint. Movable separability of sets. Comput. Geom., 2:335-375, 1985. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail