Abstract:The Quantified Constraint Satisfaction Problem is the problem of evaluating a sentence with both quantifiers, over relations from some constraint language, with conjunction as the only connective. We show that for any constraint language on a finite domain the Quantified Constraint Satisfaction Problem is either in $\Pi_{2}^{P}$, or PSpace-complete. Additionally, we build a constraint language on a 6-element domain such that the Quantified Constraint Satisfaction Problem over this language is $\Pi_{2}^{P}$-complete.
Submission history
From: Dmitriy Zhuk [view email]
[v1]
Fri, 5 Apr 2024 00:27:06 UTC (80 KB)
[v2]
Mon, 21 Oct 2024 11:59:15 UTC (81 KB)