Skip to main content

Mathematical Characterizations and Computational Complexity of Anti-slide Puzzles

  • Conference paper
  • First Online:
  • 438 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12635))

Abstract

For a given set of pieces, an anti-slide puzzle asks us to arrange the pieces so that none of the pieces can slide. In this paper, we investigate the anti-slide puzzle in 2D. We first give mathematical characterizations of anti-slide puzzles and show the relationship between the previous work. Using a mathematical characterization, we give a polynomial time algorithm for determining if a given arrangement of polyominoes is anti-slide or not in a model. Next, we prove that the decision problem whether a given set of polyominoes can be arranged to be anti-slide or not is strongly NP-complete even if every piece is x-monotone. On the other hand, we show that a set of pieces cannot be arranged to be anti-slide if all pieces are convex polygons.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Amano, K., Nakano, S., Yamazaki, K.: Anti Slide. J. Inf. Process. 23(3), 252–257 (2015)

    Google Scholar 

  2. Chartrand, G., Lesniak, L., Zhang, P.: Graphs and Digraphs, 6th edn. CRC Press, Boca Raton (2015)

    Book  Google Scholar 

  3. Coffin, S.T.: The Puzzling World of Polyhedral Dissections: Chapter 12 - Coordinate-Motion Puzzles (1990–2012). https://puzzleworld.org/PuzzlingWorld/chap12.htm. Accessed September 2020

  4. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)

    MATH  Google Scholar 

  5. de Berg, M., Cheong, O., van Kreveld, M., Overmars, M.: Computational Geometry: Algorithms and Applications, 3rd edn. Springer-Verlag, Heidelberg (2008). https://doi.org/10.1007/978-3-540-77974-2

    Book  MATH  Google Scholar 

  6. Demaine, E.D., O’Rourke, J.: Geometric Folding Algorithms: Linkages, Origami, Polyhedra. Cambridge University Press, Cambridge (2007)

    Book  Google Scholar 

  7. Demaine, E.D., et al.: Symmetric assembly puzzles are hard, beyond a few pieces. Comput. Geom. Theory Appl. 90(101648), 1–11 (2020)

    MathSciNet  MATH  Google Scholar 

  8. Edelsbrunner, H., Robison, A.D., Shen, X.-J.: Covering convex sets with non-overlapping polygons. Discrete Math. 81, 153–164 (1990)

    Article  MathSciNet  Google Scholar 

  9. Garey, M.R., Johnson, D.S.: Computers and Intractability–A Guide to the Theory of NP-Completeness. Freeman, New York (1979)

    MATH  Google Scholar 

  10. Golomb, S.W.: Polyominoes. Princeton University Press, Princeton (1994)

    MATH  Google Scholar 

  11. Slocum, J.: The Tangram Book: The Story of the Chinese Puzzle with Over 2000 Puzzle to Solve. Sterling Publishing, New York (2004)

    Google Scholar 

  12. Strijbos, W.: Anti-Slide. (Commertial product was sold by Hanayama, 2007) (1994)

    Google Scholar 

  13. Takenaga, Y., Yang, X., Inada, A.: Anti-slide placements of pentominoes. In: The 22nd Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCGGG), pp. 121–122 (2019)

    Google Scholar 

  14. Yamamoto, H.: Lock Device (2012). https://puzzleworld.org/DesignCompetition/2012/. Accessed September 2020

Download references

Acknowledgements

This work is partially supported by JSPS KAKENHI Grant Numbers 17H06287 and 18H04091. The authors thank Prof. Yoshio Okamoto, who mentioned that the techniques in [8] can be used to prove Theorem 4.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ko Minamisawa .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Minamisawa, K., Uehara, R., Hara, M. (2021). Mathematical Characterizations and Computational Complexity of Anti-slide Puzzles. In: Uehara, R., Hong, SH., Nandy, S.C. (eds) WALCOM: Algorithms and Computation. WALCOM 2021. Lecture Notes in Computer Science(), vol 12635. Springer, Cham. https://doi.org/10.1007/978-3-030-68211-8_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-68211-8_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-68210-1

  • Online ISBN: 978-3-030-68211-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics