利用最长路径长度计算规划长度界
人工智能
2021-03-02 v2
摘要
我们设计了一种方法，用于精确计算因子化状态空间（如经典规划中遇到的状态空间）中最长简单路径的长度。尽管该问题的复杂度为NEXP-Hard，我们表明该方法可用于计算规划长度的实用上界。我们表明所计算的上界显著（在许多情况下为数量级）优于先前边界技术产生的界，并且它们可用于改进基于SAT的规划。
引用
@article{arxiv.2006.01011,
title = {Computing Plan-Length Bounds Using Lengths of Longest Paths},
author = {Mohammad Abdulaziz and Dominik Berger},
journal= {arXiv preprint arXiv:2006.01011},
year = {2021}
}