新方法用索引式策略实现多项式空间规划搜索

研究者 Dominik Drexler 等人提交预印本，提出一种用语言模型学习搜索控制策略、以多项式空间求解规划任务的方法。该方法按域编写索引式策略，新增 choose 规则将对象载入寄存器并标记回溯点，从而无需保存已访问状态列表。 作者称，其结构终止性可保证执行步数为对象数的多项式，深度优先过程仅需多项式空间，时间开销只在选择深度上呈指数增长；策略通过反例引导循环学习，该循环认证终止性、验证训练任务并保持选择深度较小。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。