如何以指数级更小的空间学习搜索计划

论文提出以索引式策略学习搜索控制，用 choose 规则加载对象到寄存器并标记回溯点，使结构化终止可把每次执行限制在对象数的多项式范围内，深度优先过程在多项式空间内找到计划且无需已访问状态列表。