MIT Hardness Group, Nithid Anchaleenukoon, Alex Dang, Erik D. Demaine, Kaylee Ji, Pitchayut Saengrungkongka
{"title":"二维蛇形立方体谜题的复杂性","authors":"MIT Hardness Group, Nithid Anchaleenukoon, Alex Dang, Erik D. Demaine, Kaylee Ji, Pitchayut Saengrungkongka","doi":"arxiv-2407.10323","DOIUrl":null,"url":null,"abstract":"Given a chain of $HW$ cubes where each cube is marked \"turn $90^\\circ$\" or\n\"go straight\", when can it fold into a $1 \\times H \\times W$ rectangular box?\nWe prove several variants of this (still) open problem NP-hard: (1) allowing\nsome cubes to be wildcard (can turn or go straight); (2) allowing a larger box\nwith empty spaces (simplifying a proof from CCCG 2022); (3) growing the box\n(and the number of cubes) to $2 \\times H \\times W$ (improving a prior 3D result\nfrom height $8$ to $2$); (4) with hexagonal prisms rather than cubes, each\nspecified as going straight, turning $60^\\circ$, or turning $120^\\circ$; and\n(5) allowing the cubes to be encoded implicitly to compress exponentially large\nrepetitions.","PeriodicalId":501570,"journal":{"name":"arXiv - CS - Computational Geometry","volume":"53 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Complexity of 2D Snake Cube Puzzles\",\"authors\":\"MIT Hardness Group, Nithid Anchaleenukoon, Alex Dang, Erik D. Demaine, Kaylee Ji, Pitchayut Saengrungkongka\",\"doi\":\"arxiv-2407.10323\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Given a chain of $HW$ cubes where each cube is marked \\\"turn $90^\\\\circ$\\\" or\\n\\\"go straight\\\", when can it fold into a $1 \\\\times H \\\\times W$ rectangular box?\\nWe prove several variants of this (still) open problem NP-hard: (1) allowing\\nsome cubes to be wildcard (can turn or go straight); (2) allowing a larger box\\nwith empty spaces (simplifying a proof from CCCG 2022); (3) growing the box\\n(and the number of cubes) to $2 \\\\times H \\\\times W$ (improving a prior 3D result\\nfrom height $8$ to $2$); (4) with hexagonal prisms rather than cubes, each\\nspecified as going straight, turning $60^\\\\circ$, or turning $120^\\\\circ$; and\\n(5) allowing the cubes to be encoded implicitly to compress exponentially large\\nrepetitions.\",\"PeriodicalId\":501570,\"journal\":{\"name\":\"arXiv - CS - Computational Geometry\",\"volume\":\"53 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-07-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Computational Geometry\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.10323\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Computational Geometry","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.10323","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Given a chain of $HW$ cubes where each cube is marked "turn $90^\circ$" or
"go straight", when can it fold into a $1 \times H \times W$ 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 $2 \times H \times W$ (improving a prior 3D result
from height $8$ to $2$); (4) with hexagonal prisms rather than cubes, each
specified as going straight, turning $60^\circ$, or turning $120^\circ$; and
(5) allowing the cubes to be encoded implicitly to compress exponentially large
repetitions.