★ 2
学习搜索控制策略，以多项式空间求解规划任务
论文提出用语言模型学习「索引式策略」作为搜索控制，每条规则须对其所有结果有效，仅 choose 规则标记回溯点。作者证明结构终止性可将每次执行限制在对象数的多项式内，深度优先过程以多项式空间找到计划。在 IPC 2023 学习赛道与 Autoscale Agile 套件的 1890 个测试任务中解…
arXiv cs.AI24 天前
共 2 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出用语言模型学习「索引式策略」作为搜索控制，每条规则须对其所有结果有效，仅 choose 规则标记回溯点。作者证明结构终止性可将每次执行限制在对象数的多项式内，深度优先过程以多项式空间找到计划。在 IPC 2023 学习赛道与 Autoscale Agile 套件的 1890 个测试任务中解…
研究者将游戏关卡建模为 11×11 棋盘上的晶体交换谜题，用带成本上界与可采纳启发式的广度优先搜索，证明 93 条指令为最短解，并排除所有更短方案。论文公开源码、执行日志与复现脚本，属计算机辅助证明。