×

概率规划的计算复杂性。 (英语) Zbl 0903.68100号

摘要:我们研究了在概率规划领域中使用平面表示和命题表示测试和发现小计划的计算复杂性。计划评估和存在的复杂性因所寻求的计划类型而异;在计划值的三种自然定义下,我们研究了完全有序计划、非循环计划、循环计划和部分有序计划。我们证明了各种复杂类(PL、P、NP、co-NP、PP、NP(^{text{PP}})、co-NP}(^}{text{PP)和PSPACE)的感兴趣问题是完全的。在证明某些规划问题对于NP(^{text{PP}})是完全的过程中,我们引入了一个新的基本NP完全问题E-MAJSAT,它将标准布尔可满足性问题推广到包含概率量的计算中;我们的结果表明,为E-MAJSAT开发良好的启发式算法对于为各种各样的问题创建高效算法非常重要。

MSC公司:

65年第68季度 算法和问题复杂性分析
2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等)

软件:

图规划
PDF格式BibTeX公司 XML格式引用