PREPROCESSING QUANTIFIED CONSTRAINT SATISFACTION PROBLEMS WITH VALUE REORDERING AND DIRECTIONAL ARC AND PATH CONSISTENCY

2008 ◽  
Vol 17 (02) ◽  
pp. 321-337 ◽  
Author(s):  
KOSTAS STERGIOU
Keyword(s):  
Constraint Satisfaction ◽  
Early Stage ◽  
Constraint Satisfaction Problem ◽  
Constraint Satisfaction Problems ◽  
Combinatorial Problems ◽  
Arc Consistency ◽  
Solution Methods ◽  
Speed Up ◽  
Phase Transition Region ◽  
The Impact

The Quantified Constraint Satisfaction Problem (QCSP) is an extension of the CSP that can be used to model combinatorial problems containing contingency or uncertainty. It allows for universally quantified variables that can model uncertain actions and events, such as the unknown weather for a future party, or an opponent's next move in a game. Although interest in QCSPs is increasing in recent years, the development of techniques for handling QCSPs is still at an early stage. For example, although it is well known that local consistencies are of primary importance in CSPs, only arc consistency has been extended to quantified problems. In this paper we contribute towards the development of solution methods for QCSPs in two ways. First, by extending directional arc and path consistency, two popular local consistencies in constraint satisfaction, to the quantified case and proposing an algorithm that achieves these consistencies. Second, by showing how value ordering heuristics can be utilized to speed up computation in QCSPs. We study the impact of preprocessing QCSPs with value reordering and directional quantified arc and path consistency by running experiments on randomly generated problems. Results show that our preprocessing methods can significantly speed up the QCSP solving process, especially on hard instances from the phase transition region.

The Goldilocks problem

2003 ◽  
Vol 17 (1) ◽  
pp. 3-11 ◽  
Author(s):  
TUDOR HULUBEI ◽  
EUGENE C. FREUDER ◽  
RICHARD J. WALLACE
Keyword(s):  
Constraint Satisfaction ◽  
Feasible Solution ◽  
Constraint Satisfaction Problem ◽  
Real Life ◽  
Constraint Satisfaction Problems ◽  
Major Focus ◽  
Huge Number ◽  
Arc Consistency ◽  
A Value ◽  
Practical Standpoint

Constraint-based reasoning is often used to represent and find solutions to configuration problems. In the field of constraint satisfaction, the major focus has been on finding solutions to difficult problems. However, many real-life configuration problems, although not extremely complicated, have a huge number of solutions, few of which are acceptable from a practical standpoint. In this paper we present a value ordering heuristic for constraint solving that attempts to guide search toward solutions that are acceptable. More specifically, by considering weights that are assigned to values and sets of values, the heuristic can guide search toward solutions for which the total weight is within an acceptable interval. Experiments with random constraint satisfaction problems demonstrate that, when a problem has numerous solutions, the heuristic makes search extremely efficient even when there are relatively few solutions that fall within the interval of acceptable weights. In these cases, an algorithm that is very effective for finding a feasible solution to a given constraint satisfaction problem (the “maintained arc consistency” algorithm or MAC) does not find a solution in the same weight interval within a reasonable time when it is run without the heuristic.

scholarly journals Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results

2005 ◽  
Vol 24 ◽  
pp. 641-684 ◽  
Author(s):  
N. Samaras ◽  
K. Stergiou
Keyword(s):  
Constraint Satisfaction ◽  
Constraint Satisfaction Problem ◽  
Constraint Satisfaction Problems ◽  
Binary Representation ◽  
Binary Constraints ◽  
Arc Consistency ◽  
Binary Problem ◽  
Binary Constraint ◽  
Binary Problems ◽  
Standard Techniques

A non-binary Constraint Satisfaction Problem (CSP) can be solved directly using extended versions of binary techniques. Alternatively, the non-binary problem can be translated into an equivalent binary one. In this case, it is generally accepted that the translated problem can be solved by applying well-established techniques for binary CSPs. In this paper we evaluate the applicability of the latter approach. We demonstrate that the use of standard techniques for binary CSPs in the encodings of non-binary problems is problematic and results in models that are very rarely competitive with the non-binary representation. To overcome this, we propose specialized arc consistency and search algorithms for binary encodings, and we evaluate them theoretically and empirically. We consider three binary representations; the hidden variable encoding, the dual encoding, and the double encoding. Theoretical and empirical results show that, for certain classes of non-binary constraints, binary encodings are a competitive option, and in many cases, a better one than the non-binary representation.

scholarly journals A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems

2011 ◽  
Vol 21 (4) ◽  
pp. 733-744 ◽  
Author(s):  
Marlene Arangú ◽  
Miguel Salido
Keyword(s):  
Constraint Satisfaction ◽  
Constraint Programming ◽  
Real Life ◽  
Search Space ◽  
Constraint Satisfaction Problems ◽  
Fine Grained ◽  
Arc Consistency ◽  
Life Problems ◽  
Programming Techniques ◽  
Np Complete

A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems Constraint programming is a powerful software technology for solving numerous real-life problems. Many of these problems can be modeled as Constraint Satisfaction Problems (CSPs) and solved using constraint programming techniques. However, solving a CSP is NP-complete so filtering techniques to reduce the search space are still necessary. Arc-consistency algorithms are widely used to prune the search space. The concept of arc-consistency is bidirectional, i.e., it must be ensured in both directions of the constraint (direct and inverse constraints). Two of the most well-known and frequently used arc-consistency algorithms for filtering CSPs are AC3 and AC4. These algorithms repeatedly carry out revisions and require support checks for identifying and deleting all unsupported values from the domains. Nevertheless, many revisions are ineffective, i.e., they cannot delete any value and consume a lot of checks and time. In this paper, we present AC4-OP, an optimized version of AC4 that manages the binary and non-normalized constraints in only one direction, storing the inverse founded supports for their later evaluation. Thus, it reduces the propagation phase avoiding unnecessary or ineffective checking. The use of AC4-OP reduces the number of constraint checks by 50% while pruning the same search space as AC4. The evaluation section shows the improvement of AC4-OP over AC4, AC6 and AC7 in random and non-normalized instances.

scholarly journals Constraint programming viewed as rule-based programming

2001 ◽  
Vol 1 (6) ◽  
pp. 713-750 ◽  
Author(s):  
KRZYSZTOF R. APT ◽  
ERIC MONFROY
Keyword(s):  
Constraint Satisfaction ◽  
Constraint Programming ◽  
Constraint Satisfaction Problems ◽  
Rule Based ◽  
Local Consistency ◽  
Arc Consistency ◽  
Computation Process ◽  
Rule Based Approach ◽  
Rule Consistency

We study here a natural situation when constraint programming can be entirely reduced to rule-based programming. To this end we explain first how one can compute on constraint satisfaction problems using rules represented by simple first-order formulas. Then we consider constraint satisfaction problems that are based on predefined, explicitly given constraints. To solve them we first derive rules from these explicitly given constraints and limit the computation process to a repeated application of these rules, combined with labeling. We consider two types of rule here. The first type, that we call equality rules, leads to a new notion of local consistency, called rule consistency that turns out to be weaker than arc consistency for constraints of arbitrary arity (called hyper-arc consistency in Marriott & Stuckey (1998)). For Boolean constraints rule consistency coincides with the closure under the well-known propagation rules for Boolean constraints. The second type of rules, that we call membership rules, yields a rule-based characterization of arc consistency. To show feasibility of this rule-based approach to constraint programming, we show how both types of rules can be automatically generated, as CHR rules of Frühwirth (1995). This yields an implementation of this approach to programming by means of constraint logic programming. We illustrate the usefulness of this approach to constraint programming by discussing various examples, including Boolean constraints, two typical examples of many valued logics, constraints dealing with Waltz's language for describing polyhedral scenes, and Allen's qualitative approach to temporal logic.

scholarly journals Exploring the Impact of Early Decisions in Variable Ordering for Constraint Satisfaction Problems

2018 ◽  
Vol 2018 ◽  
pp. 1-14
Author(s):  
José Carlos Ortiz-Bayliss ◽  
Ivan Amaya ◽  
Santiago Enrique Conant-Pablos ◽  
Hugo Terashima-Marín
Keyword(s):  
Constraint Satisfaction ◽  
Constraint Satisfaction Problems ◽  
Search Cost ◽  
High Quality ◽  
Simple Method ◽  
Variable Ordering ◽  
It Performance ◽  
The Cost ◽  
The Impact ◽  
Variable Ordering Heuristics

When solving constraint satisfaction problems (CSPs), it is a common practice to rely on heuristics to decide which variable should be instantiated at each stage of the search. But, this ordering influences the search cost. Even so, and to the best of our knowledge, no earlier work has dealt with how first variable orderings affect the overall cost. In this paper, we explore the cost of finding high-quality orderings of variables within constraint satisfaction problems. We also study differences among the orderings produced by some commonly used heuristics and the way bad first decisions affect the search cost. One of the most important findings of this work confirms the paramount importance of first decisions. Another one is the evidence that many of the existing variable ordering heuristics fail to appropriately select the first variable to instantiate. Another one is the evidence that many of the existing variable ordering heuristics fail to appropriately select the first variable to instantiate. We propose a simple method to improve early decisions of heuristics. By using it, performance of heuristics increases.

FACTORED ARC CONSISTENCY FOR RETE MATCH

1993 ◽  
Vol 02 (02) ◽  
pp. 277-306
Author(s):  
MARK W. PERLIN
Keyword(s):  
Working Memory ◽  
Constraint Satisfaction ◽  
Production Systems ◽  
Constraint Satisfaction Problems ◽  
Unified Framework ◽  
Call Graph ◽  
Quadratic Dependence ◽  
Arc Consistency ◽  
Common Framework ◽  
Graph Factorization

RETE match for production systems and Arc Consistency (AC) filtering are two efficient AI algorithms that are designed for particular constraint satisfaction problems (CSP). Interestingly, it is possible to integrate the two within a common framework, and provide RETE with the lookahead advantages of AC. Unfortunately, the resulting quadratic dependence of AC on working memory (WM) size precludes the application of AC to RETE, since RETE responds to incremental changes in WM. Recent results in AC graph factorization, however, reduce the quadratic dependence to just linear for certain classes of problems, including RETE. In this paper, we present RETE and AC within the unified framework of Call-Graph Caching (CGC) evaluation. We describe factored arc consistency (FAC) and its use in an integrated FAC/RETE algorithm that provides RETE match with AC lookahead. We discuss our implementations, promising initial empirical results, and explore FAC/RETE’s applicability conditions and extensions. We conclude that incorporating factored AC into RETE match is an interesting and potentially useful application of arc consistency methods to the RETE CSP.

scholarly journals Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction

2012 ◽  
Vol 43 ◽  
pp. 257-292 ◽  
Author(s):  
J.H.M. Lee ◽  
K. L. Leung
Keyword(s):  
Constraint Satisfaction ◽  
Minimum Cost ◽  
Constraint Satisfaction Problems ◽  
Combinatorial Problems ◽  
Cost Functions ◽  
Global Constraints ◽  
Optimization Approach ◽  
Weak Version ◽  
Global Cost ◽  
Weighted Constraint

Many combinatorial problems deal with preferences and violations, the goal of which is to find solutions with the minimum cost. Weighted constraint satisfaction is a framework for modeling such problems, which consists of a set of cost functions to measure the degree of violation or preferences of different combinations of variable assignments. Typical solution methods for weighted constraint satisfaction problems (WCSPs) are based on branch-and-bound search, which are made practical through the use of powerful consistency techniques such as AC*, FDAC*, EDAC* to deduce hidden cost information and value pruning during search. These techniques, however, are designed to be efficient only on binary and ternary cost functions which are represented in table form. In tackling many real-life problems, high arity (or global) cost functions are required. We investigate efficient representation scheme and algorithms to bring the benefits of the consistency techniques to also high arity cost functions, which are often derived from hard global constraints from classical constraint satisfaction. The literature suggests some global cost functions can be represented as flow networks, and the minimum cost flow algorithm can be used to compute the minimum costs of such networks in polynomial time. We show that naive adoption of this flow-based algorithmic method for global cost functions can result in a stronger form of null-inverse consistency. We further show how the method can be modified to handle cost projections and extensions to maintain generalized versions of AC* and FDAC* for cost functions with more than two variables. Similar generalization for the stronger EDAC* is less straightforward. We reveal the oscillation problem when enforcing EDAC* on cost functions sharing more than one variable. To avoid oscillation, we propose a weak version of EDAC* and generalize it to weak EDGAC* for non-binary cost functions. Using various benchmarks involving the soft variants of hard global constraints ALLDIFFERENT, GCC, SAME, and REGULAR, empirical results demonstrate that our proposal gives improvements of up to an order of magnitude when compared with the traditional constraint optimization approach, both in terms of time and pruning.

scholarly journals Constraint Satisfaction Problems and Their Reduction to Directed Graphs

2021 ◽  
Author(s):  
Muhanda Stella Mbaka Muzalal
Keyword(s):  
Constraint Satisfaction ◽  
Cell Phone ◽  
Constraint Satisfaction Problem ◽  
Directed Graphs ◽  
Oriented Graph ◽  
Constraint Satisfaction Problems ◽  
Systems Of Equations ◽  
Relational Structures ◽  
Algorithmic Problems ◽  
Boolean Formulas

Constraint satisfaction problems present a general framework for studying a large class of algorithmic problems such as satisfaction of Boolean formulas, solving systems of equations over finite fields, graph colourings, as well as various applied problems in artificial intelligence (scheduling, allocation of cell phone frequencies, among others.) CSP (Constraint Satisfaction Problems) bring together graph theory, complexity theory and universal algebra. It is a well known result, due to Feder and Vardi, that any constraint satisfaction problem over a finite relational structure can be reduced to the homomorphism problem for a finite oriented graph. Until recently, it was not known whether this reduction preserves the type of the algorithm which solves the original constraint satisfaction problem, so that the same algorithm solves the corresponding digraph homomorphism problem. We look at how a recent construction due to Bulin, Deli´c, Jackson, and Niven can be used to show that the polynomial solvability of a constraint satisfaction problem using Datalog, a programming language which is a weaker version of Prolog, translates from arbitrary relational structures to digraphs.

Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures

2019 ◽  
Vol 19 (02) ◽  
pp. 1950010 ◽  
Author(s):  
Libor Barto ◽  
Michael Kompatscher ◽  
Miroslav Olšák ◽  
Van Pham Trung ◽  
Michael Pinsker
Keyword(s):  
Constraint Satisfaction ◽  
Short Proof ◽  
Constraint Satisfaction Problem ◽  
Constraint Satisfaction Problems ◽  
Ramsey Property ◽  
Categorical Structure ◽  
Homogeneous Structures ◽  
Identity Modulo ◽  
Rational Order ◽  
Its Polymorphism

There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain nontrivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities (without outer embeddings) satisfied by its polymorphisms clone, together with the natural uniformity on it, being nontrivial. We prove that the identities satisfied in the polymorphism clone of a structure allow for conclusions about the orbit growth of its automorphism group, and apply this to show that the two conjectures are equivalent. We contrast this with a counterexample showing that [Formula: see text]-categoricity alone is insufficient to imply the equivalence of the two conditions above in a model-complete core. Taking another approach, we then show how the Ramsey property of a homogeneous structure can be utilized for obtaining a similar equivalence under different conditions. We then prove that any polymorphism of sufficiently large arity which is totally symmetric modulo outer embeddings of a finitely bounded structure can be turned into a nontrivial system of linear identities, and obtain nontrivial linear identities for all tractable cases of reducts of the rational order, the random graph, and the random poset. Finally, we provide a new and short proof, in the language of monoids, of the theorem stating that every [Formula: see text]-categorical structure is homomorphically equivalent to a model-complete core.

Sign in / Sign up

Export Citation Format

Share Document