[论文解读] The Computational Complexity of Dominance and Consistency in CP-Nets
本文確立了通用CP-net中支配關係與一致性問題的計算複雜度，證明這兩個問題均為PSPACE完全問題。此外，本文分析了強支配、支配等價性、不可比較性以及多種最優性概念，並證明其決策問題同樣為PSPACE完全問題，透過從STRIPS規劃問題出發的歸約，強化了CP-net與自動化規劃之間的聯繫。
We investigate the computational complexity of testing dominance and consistency in CP-nets. Previously, the complexity of dominance has been determined for restricted classes in which the dependency graph of the CP-net is acyclic. However, there are preferences of interest that define cyclic dependency graphs; these are modeled with general CP-nets. In our main results, we show here that both dominance and consistency for general CP-nets are PSPACE-complete. We then consider the concept of strong dominance, dominance equivalence and dominance incomparability, and several notions of optimality, and identify the complexity of the corresponding decision problems. The reductions used in the proofs are from STRIPS planning, and thus reinforce the earlier established connections between both areas.
研究动机与目标
- 確定允許循環依賴圖的通用CP-net中支配關係與一致性的計算複雜度。
- 將先前僅限於無環CP-net的研究推廣至更具一般性的循環依賴情況。
- 探討CP-net中強支配、支配等價性、支配不可比較性以及多種最優性概念的複雜度。
- 透過複雜度理論歸約，建立CP-net推理與STRIPS規劃之間的正式聯繫。
提出的方法
- 將STRIPS規劃問題歸約至CP-net中的支配與一致性問題，以證明PSPACE難度。
- 構建模擬規劃動作與狀態轉移的CP-net編碼，使用條件偏好陳述。
- 對具有循環依賴的通用CP-net，正式定義支配、一致性、強支配與支配等價性。
- 使用多項式空間演算法，驗證所有研究中的決策問題均屬於PSPACE成員。
- 透過歸約至支配與一致性查詢，分析最優性概念（如局部、全域、弱、強最優性）。
- 透過保持規劃與偏好推理問題之間解結構的歸約，證明問題的完整性。
实验结果
研究问题
- RQ1在具有循環依賴圖的通用CP-net中，判定支配關係的計算複雜度為何？
- RQ2在通用CP-net中，檢查一致性的複雜度為何？
- RQ3在通用CP-net中，強支配、支配等價性與支配不可比較性等決策問題的複雜度為何？
- RQ4在通用CP-net中，判定多種最優性概念（如局部、全域最優性）的複雜度為何？
- RQ5CP-net與STRIPS規劃之間的聯繫在多大程度上影響偏好推理的複雜度？
主要发现
- 在通用CP-net中，支配關係為PSPACE完全問題，延伸了先前僅適用於無環CP-net的研究結果。
- 在通用CP-net中，一致性檢查同樣為PSPACE完全問題。
- 在通用CP-net中，強支配、支配等價性與支配不可比較性均為PSPACE完全問題。
- 所有所考慮的最優性概念——包括局部、全域、弱與強最優性——在通用CP-net中判定其複雜度亦為PSPACE完全。
- 用於證明難度的歸約源自STRIPS規劃，強化了CP-net與自動化規劃之間的理論聯繫。
- 研究結果確立了在最壞情況下，通用CP-net中的推理在計算上是不可行的，即使對於基本的決策問題亦然。
更好的研究，从现在开始
从论文设计到论文写作，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。