Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems

04/26/2011
by   Jian Gao, et al.
0

In this paper, we investigate the hybrid tractability of binary Quantified Constraint Satisfaction Problems (QCSPs). First, a basic tractable class of binary QCSPs is identified by using the broken-triangle property. In this class, the variable ordering for the broken-triangle property must be same as that in the prefix of the QCSP. Second, we break this restriction to allow that existentially quantified variables can be shifted within or out of their blocks, and thus identify some novel tractable classes by introducing the broken-angle property. Finally, we identify a more generalized tractable class, i.e., the min-of-max extendable class for QCSPs.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

04/23/2021

Tractability of Quantified Temporal Constraints To The Max

A temporal constraint language is a set of relations that are first-orde...
01/23/2014

Tractable Triangles and Cross-Free Convexity in Discrete Optimisation

The minimisation problem of a sum of unary and pairwise functions of dis...
01/18/2012

A Dichotomy for 2-Constraint Forbidden CSP Patterns

Although the CSP (constraint satisfaction problem) is NP-complete, even ...
05/10/2019

Variable elimination in binary CSPs

We investigate rules which allow variable elimination in binary CSP (con...
10/18/2021

The complexity of the Quantified CSP having the polynomially generated powers property

It is known that if an algebra of polymorphisms of the constraint langua...
07/23/2014

M-best solutions for a class of fuzzy constraint satisfaction problems

The article considers one of the possible generalizations of constraint ...
03/02/2014

Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction

We consider the quantified constraint satisfaction problem (QCSP) which ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.