AI 中文总结
研究冰上行走问题，通过将矩形网格图特定子图的哈密顿圈一一对应映射到冰上行走解，证明其解搜索问题是 ASP 完全的。
AI 中文摘要
我们证明了铅笔谜题冰上行走的解搜索问题是 ASP 完全的。我们的归约将矩形网格图的无向最大度为 3 的生成子图中的哈密顿圈一一对应地映射到冰上行走的解。
英文摘要
We prove that the solution-search problem for the pencil puzzle Ice Walk is ASP-complete. Our reduction maps Hamiltonian cycles in an undirected maximum-degree-3 spanning subgraph of a rectangular grid graph bijectively to Ice Walk solutions.
Comments4 pages, 1 figures
