CP-Nets中占优与一致性的计算复杂性
人工智能
2014-01-16 v1
摘要
我们研究了测试 CP-nets 中占优与一致性的计算复杂性。此前，占优的复杂性已在依赖图无环的受限类别中被确定。然而，存在令人感兴趣的偏好定义了有环依赖图；这些由一般 CP-nets 建模。在我们的主要结果中，我们证明了一般 CP-nets 的占优和一致性都是 PSPACE 完全的。然后我们考虑了强占优、占优等价和占优不可比的概念，以及几种最优性概念，并确定了相应判定问题的复杂性。证明中使用的归约来自 STRIPS 规划，从而加强了先前建立的两个领域之间的联系。
引用
@article{arxiv.1401.3453,
title = {The Computational Complexity of Dominance and Consistency in CP-Nets},
author = {Judy Goldsmith and Jerome Lang and Miroslaw Truszczyski and Nic Wilson},
journal= {arXiv preprint arXiv:1401.3453},
year = {2014}
}