BriefGPT - AI 论文速递
·
最佳优先广义规划的并行策略
💡
原文中文，约300字，阅读约需1分钟。
📝
内容提要
本文提出了基于C++程序的广义规划（GP）问题的新型表示方法，证明了其终止性和渐近复杂度。实验结果表明该方法优于以往的启发式搜索方法。C++程序在传统规划实例上执行无冗余和无搜索，可验证大型测试实例的解决方案。
🎯
关键要点
- 提出了一种基于C++程序的广义规划（GP）问题的新型表示方法。
- 该方法可以正式证明广义计划的终止性，并指定其相对于世界对象数量的渐近复杂度。
- 利用C++广义计划的复杂度特征，可以应用组合搜索枚举可能的GP解的空间。
- 实验结果表明，BFGP++方法的实现优于以往的启发式搜索方法。
- C++程序在传统规划实例上的执行是无冗余和无搜索的，能够自动验证大型测试实例的解决方案。
➡️
