sokoban

提出了一种新颖的“蛋糕”表示法，用于随时间变化的游戏关卡，该表示法隐式编码了动态信息；同时提出了一种生成方法（回放轨迹重建分区法，PRP），在Sokoban游戏中，该方法在不牺牲求解多样性的前提下生成了有效关卡，性能优于六种最先进的PCG方法。

一项基准测试评估了LLMs在带有格式约束的严格推箱子谜题上的表现，发现只有ChatGPT、Qwen3.7-max和Gemini 3.5-thinking成功，而其他模型因非法移动或格式错误而失败。