Complexity of 2D Snake Cube Puzzles
MIT Hardness Group, Nithid Anchaleenukoon, Alex Dang, Erik D. Demaine,, Kaylee Ji, Pitchayut Saengrungkongka

TL;DR
This paper investigates the computational complexity of folding 2D Snake Cube puzzles into rectangular boxes, proving NP-hardness for various puzzle variants and extensions, including wildcard cubes, larger boxes, 3D growth, hexagonal prisms, and implicit encoding.
Contribution
It establishes NP-hardness results for multiple variants of Snake Cube puzzles, extending previous work and exploring new dimensions like hexagonal prisms and implicit encoding.
Findings
NP-hardness proven for puzzles with wildcards and larger boxes
Complexity results for 3D growth from height 8 to 2
NP-hardness established for hexagonal prism puzzles and implicit encoding
Abstract
Given a chain of cubes where each cube is marked "turn " or "go straight", when can it fold into a rectangular box? We prove several variants of this (still) open problem NP-hard: (1) allowing some cubes to be wildcard (can turn or go straight); (2) allowing a larger box with empty spaces (simplifying a proof from CCCG 2022); (3) growing the box (and the number of cubes) to (improving a prior 3D result from height to ); (4) with hexagonal prisms rather than cubes, each specified as going straight, turning , or turning ; and (5) allowing the cubes to be encoded implicitly to compress exponentially large repetitions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · semigroups and automata theory · Logic, programming, and type systems
