Constraint Satisfaction Problems



Download 85.7 Kb.
Date31.07.2017
Size85.7 Kb.
#25482
Constraint Satisfaction

Problems

· Many practical search problems also involve constraints, i.e., solutions to these problems must satisfy certain constraints, or restrictions.

· In this part of the course, we discuss some techniques for performing search involving constraints.

· In particular, we will study an important class of search problems, called Constraint Satisfaction Problems (CSPs) and their search techniques.

· The key feature of this type of search is to use constraints actively to prune the search space.

· CSP is important to Artificial Intelligence, Operations Research, and computer science in general since many search problems, such as graph coloring, scene and edge labeling, logical puzzles, planning and scheduling, to name a few, can all be expressed as CSPs.



Constraint satisfaction problem

Constraint Satisfaction Problem (CSP) has three components:

· Variables: A finite set V = {v1,v2, ..., vn} of n variables vi, which are also referred to as constraint variables.

· Values: Each variable vi takes its values from an associated finite domain Di.

· Constraints: A set C of constraints, i.e. relations on the variables.

A solution to a CSP is an assignment of values to variables such that constraints are satisfied. The problem may be finding one or all solutions.



An example CSP

Let us have an example CSP, which has the following variables, domains, and constraints:


Variables: X, Y, Z, W
Domains: Dx = (1 2 4 5 6 7 9)

Dy = (3 5 7 8 9)

Dz = (0 5 6 3 8 10 11)

Dw = (10 11 4 5 6 7)


Constraints:
Y = X + 1

Z ³ Y + 1

W ¹ Y

W ¹ Z


The query is to find all the possible compatible value sets for X, Y, W, and Z.

Solving CSP

· The finiteness of the domains is the key feature of this class of problems.

· Simple algorithms can be devised that eventually finds the solutions if any, and terminates. The real problem is efficiency.

1. Generate and test

2. Backtrack search

(depth-first search combined with constraint testing before successor generation step to check whether any constraint has been violated by the variable assignments made up to this point)

E.g., we have constraints X = Y, Y = W



Solving CSP (cont. ...)

· Traditionally, backtrack search is used for solving CSPs. However, backtrack search is very inefficient.

· To improve the search efficiency, a number of consistency check techniques have been developed to preprocess the problem such that many backtracks can be avoided.

· These techniques are based on the idea of a priori pruning, i.e., using constraints to reduce the search space.



Consistency check

The idea of consistency check is quite simple.

· For instance, given two constraint variables, X and Y, where X takes values from the domain

(1 2 3 4 5),



Y takes values from the domain

(3 4 6)


and the constraint is:

X = Y

· This constraint indicates that a value in the domain of X must also be in the domain of Y and vice versa.

· To satisfy the given constraint, inconsistent values from both domains of X and Y should be removed.

· Thus, we have (3 4) as the new domain for X and also for Y.

· This process is called consistency check. When combined with depth-first search, it can greatly reduce the search space.

Node and arc consistency

The most important techniques for consistency checking are node consistency and arc consistency, which are used for unary and binary constraints.

An unary constraint refers to a constraint that has only one variable, e.g.,

X > 5


and

a binary constraint refers to a constraint that has two variables, e.g.,

X = Y + 5

· Such a CSP can be represented with a graph G in which each node (we give the node a number i) represents a variable and each arc between two variables represents a binary constraint, denoted by Cij.

· A unary constraint, denoted by Ci, is represented by the arc originating and terminating at the same node.

· Such a graph is often called a constraint graph or a constraint network.



An example

We have the CSP with the following variables, their domains, and constraints:

X with the domain (1 2 4 5 6 7 9 10 11)

Y with the domain (3 5 7 8 9)

Z with the domain (0 5 6 3 8 10 11)

W with the domain (10 11 4 5 6 7)


The constraints are as follows:
X < 10

Y = X + 1

Z ³ Y + 1

W ¹ Y


W ¹ Z

The constraint graph for this CSP is shown below.





Node consistency

We now can use the standard graph theory terms for the description and analysis of a constraint graph.

· We will define two important types of consistency in this representation, node consistency and arc consistency.

Definition 1. A node i is node consistency iff for any value x ÎDi, Ci(x) holds.
Procedure NC (i)

Di ¬ Di Ç {x | Ci(x)}

Definition 2. A CSP is node consistent iff for all i Î node(G) such that i is node consistent with respect to Di.
Algorithm NC

for i ¬1 until p do NC(i).

---- NC: node consistency algorithm (note that p is the number of nodes in the CSP):



Arc consistency

Definition 3. An arc (i, j) Î arc(G) is arc consistent with respect to Di and Dj iff for all x Î Di such that Ci(x), there is a value y Î Dj such that Cj(y) and Cij(x, y) hold

Procedure REVISE((i, j))

begin

DELETE ¬ false



for each x Î Di do

if there is no y Î Dj such that Cij(x, y) then

begin

delete x from Di;

DELETE ¬ true

end

return DELETE

end

Arc consistency (cont. ...)

Definition 4. A CSP is arc consistent iff for all (i, j) Î arc(G) such that (i, j) is arc consistent with respect to Di and Dj.


  • The following is the arc consistency algorithm called AC-3 for a CSP:


Algorithm AC-3

begin

for i ¬ 1 to p do NC(i);

Q ¬{(i, j) | (i, j) Î arc(G), i ¹ j}

while Q not empty do

begin

select and delete any arc (k, m) from Q;



if REVISE((k, m)) then

Q ¬ Q È {(i, k) | (i, k) Î arcs(G), i ¹ k, i ¹ m}



end

end

------ AC-3: arc consistency algorithm



An intuitive example

Suppose we have the following CSP,

Variables: X, Y, Z

Domains: Dx = (4 5 6 7), Dy = (4 5 6 8 9)

Dz = (3 5 6 7 9)

Constraints: X = Y, Y = Z.

· Let check the consistency without using AC-3.

** We check the first constraint: X = Y

We get: Dx = (4 5 6),

Dy = (4 5 6),

Dz no change

*** Then, we check the second constraint: Y = Z

We get: Dy = (5 6)

Dz = (5 6)

Dx = (4 5 6) (no change)

Now we have a problem because

X = Y, is no longer satisfied

This means we have to re-check X = Y, to get Dx = (5 6) as well.



The example with AC-3

Suppose we have the following CSP,

Variables: X, Y, Z

Domains: Dx = (4 5 6 7), Dy = (4 5 6 8 9)

Dz = (3 5 6 7 9)

Constraints: X= Y, Y = Z.



Initially, Q = {(1, 2), (2, 1), (2, 3), (3, 2)} alternatively

Q = {(X, Y), (Y, X), (Y, Z), (Z, Y)}

*** After removing (X, Y) for check, we have

Dx = (4 5 6), Dy = (4 5 6 8 9), Dz no change

Nothing will be brought into Q.

*** After removing (Y, X) for check, we get

Dy = (4 5 6), Dx = (4 5 6), Dz no change

Arc (Z, Y) should be inserted into Q,

but it is already there, so do nothing

*** After removing (Y, Z) for check, we have

Dy = (5 6), Dz no change, Dx = (4 5 6)

Arc (X, Y) needs to be inserted into Q for recheck.

And so on ....



Analyzing the arc consistency algorithm

Let us analyze the arc consistency algorithm. The node consistency algorithm is very easy, we will not discuss it any further.

The arc consistency algorithm basically performs two main functions.


  1. The first function is to check (or to revise) a particular arc for consistency, i.e., removing those inconsistent values from the variable domain of the arc.



  1. The second function is to propagate domain modifications to other related constraints and bring them up to be rechecked.

Analyzing the arc consistency algorithm (cont. ...)

Thus, we note the following points about AC-3:

(a) It maintains a queue Q of arcs (or constraints) to be checked. Each arc in Q is checked in turn and the algorithm terminates when the queue becomes empty.

(b) It checks the consistency of each arc (or constraint) using the general procedure REVISE. It returns true or false depending on whether the domain Di is modified. REVISE checks every value (x) in the domain Di to see whether there is a value (y) in the domain Dj that satisfies the constraint Cij(x, y). If a value y is not found in Dj, x will be removed from Di. This process prunes the domain Di.



Analyzing the arc consistency algorithm (cont. ...)

(c) It brings up (or activates) more constraints to be checked if REVISE returns true. All the newly activated constraints are pushed into the queue Q if they are not already in it. This is done with the following statement in AC-3:



if REVISE((k, m)) then

Q ¬Q È{(i, k) | (i, k) Îarcs(G), i ¹ k, i ¹ m}

We call this constraint activation. REVISE's returning true means that the domain Di has been modified.

Analyzing the arc consistency algorithm (cont. ...)

(d) Arc consistency algorithm can only achieve local consistency, i.e., with respect to each constraint.

It does not achieve global consistency, with respect to the CSP.

For example, we have a CSP which has variables

X, Y and Z.

X has the domain (1 2 3),

Y and Z both have the domain (1 2).

The constraints are:

X ¹ Y, Y ¹ Z, X ¹ Z.

Analyzing the arc consistency algorithm (cont. ...)

Using only AC-3, no domain value can be pruned, which means that they are arc consistent.

However, it does not mean that X, Y and Z can take any of its domain values because when X = 2 or X = 1, there is no solution for the problem.

This means that 1 and 2 in the domain of X are not globally consistent as these two values do not lead to a solution.

The arc-consistency technique cannot detect such inconsistency. There are techniques that can find such inconsistency, but they are too inefficient. We will not discuss them here.

Depth-first search combined with consistency check

In real problem solving, we need to combine consistency techniques with a depth-first search algorithm for solving CSPs.

· The main reason is that arc consistency is only a local consistency algorithm, it does not guarantee global consistency (global solution).


  • The other reason is that in normal problem solving we need only one consistent solution rather than all solutions, which means that each variable should have only one value left in its domain.

This integrated problem solving can be implemented as a programming language (called a constraint programming language) for solving problems that can be modeled as CSPs.

An Algorithm for the integrated approach

Algorithm solve (CSP)

begin

1 if not(checkConsistency(CSP)) then

2 return(NO_SOLUTION)

3 else

4 begin

5 while CSP is not solved do

6 begin

7 VAR ¬ choose a variable;

8 Push VAR onto STACK;

9 while VAR do

10 begin

11 select a value for VAR from its

domain, which brings up a set of

constraints CSTS for recheck;

12 if checkConsistency(CSTS) then

13 VAR ¬ false

14 else

15 begin

16 VAR ¬ backtrack();

17 if VAR = EMPTY then

18 return(NO_SOLUTION);

19 end

20 end

21 end

22 return(SOLUTION_FOUND);

23 end



end

Analyzing the solve algorithm

  • At line 1, before search is started, a consistency check is performed.

  • At line 5, a solved CSP means that every variable in the CSP has obtained a single value.

  • Line 5-21 performs search and consistency check.

  • Line 7 chooses a variable from the remaining undecided variables to make a value assumption. Since search and consistency check so far has not produced a solution, further search is needed.

  • Line 8 is for backtracking purpose. When a search path is proven unsuccessful (consistency check at line 12 fails), backtracker needs to backtrack to the previous choice point (or previous variable) to try an alternative value.

If the previous variable has no more value left, backtracker goes to the variable before this previous variable, and so on.



  • Line 17 indicates that there is no more variable on STACK, which means that the CSP has no solution.

An example

Suppose we have the following CSP,

Variables: X, Y, Z

Domains: Dx = (2 3 4)

Dy = (2 3 4)

Dz = (2 3 4)

Constraints: X ¹ Y, Y ¹ Z, X ¹ Z.

No need to search any more because Z's value has been decided after Y and X are decided because of consistency check.



Problem solving in the CSP model

  1. The user models the problem to be solved with variables, domains and constraints, i.e., modeling the problem as a CSP.



  1. The system uses depth-first search (possibly combined with branch and bound technique for optimization) and consistency check to search for a solution. At each stage of the search, a consistency check is performed to remove those inconsistent values from variable domains to prune the search space.

An example program from Charme constraint language


  • This program solves the n-queens problem.




  • It is implemented in a constraint language called Charme.

define n_queens(n)

{

array Chessboard::[1..n] of 1..n;



all_diff(Chessboard);

for I in 1..(n-1) do

for J in (I + 1) ..n do

moreConstraints(Chessboard I J);

generate(Chessboard);

print Chessboard;

}

define moreConstraints(Chessboard Ind1 Ind2)



{

Chessboard[Ind1] + Ind1 != Chessboard[Ind2] + Ind2;

Chessboard[Ind1] + Ind2 != Chessboard[Ind2] + Ind1;

}
Including optimization


Due to the depth-first search and backtracking, the obvious optimization strategy that can be implemented is the depth-first branch and bound.
The basic idea is to take an exhaustive enumeration procedure (e.g., the solve algorithm) and an evaluation function (or cost function) to optimize.
The search proceeds as follows.


  • The enumeration procedure is first executed. When it yields a solution at cost C, a new constraint is dynamically introduced, say the cost of any other solution must be better than C.




  • Then the system backtracks to find another solution. Each time a new solution is found, a new constraint is generated, and the search becomes more and more constrained.




  • The process terminates when there is no better solution that can be found.



Applications of the CSP model

CSP is such a simple model. But it can be used to model many practical problems, not just the puzzles.

· Scheduling, sequencing

· Time tabling

· Manpower rostering

· Resource allocations

· and many other optimization problems.

Practical algorithms for consistency check


  • In our solve algorithm, we use “checkConsistency”. We did not say we will use AC-3. In practice, there is normally no need to use AC-3.




  • AC-3 is not an efficient algorithm for solving real-CSPs. But it is a general algorithm that can be used to check the consistency of any binary constraint.




  • However, general algorithms are normally not efficient because the specific features of a problem are not taken into account.




  • In our case, with the knowledge of these features, it is possible to design much more efficient specific algorithms for performing consistency check of specific constraints. This is important for practical CSP problem solving.


Issues in designing specific consistency check algorithms



  1. When should a constraint be checked?

Two main points need to be noted here.




  • Although a consistency check may results in domain pruning for a constraint, it may be too inefficient to check it. In this case, it may be better to delay the constraint until more information is available.

For example, we have the constraint


X + Y + Z = P + Q
This constraint involves 5 variables. Although, checking this constraint may result in some pruning, it is too inefficient to check it.
Then, we may choose to delay this constraint until some variables’ values have been decided.



  • A domain change may not affect the constraint. Then there is no need to activate the constraint for check.

For example, we have the constraint

X  Y,

where X is in (1 2 3 4 5 6) and Y is in (1 2 3 4 5 6 7 8 9). During the first check, the values 8 and 9 are removed from the domain of Y.


Now suppose the value 3 is removed from the domain of Y due to some constraints.
It is obvious that this removal does not affect the consistency since no pruning can be achieved to X. Therefore there is no need to activate the constraint for recheck.

2. Initial check and recheck techniques may be different
Initial check refers to the first check of a constraint. Rechecks refer to the later checks.


  • It is important to note that the initial check method for a constraint may be quite different from its recheck method.

For example, we have the constraint


X = Y
where X has the domain (1 2 3 4 5 6) and Y has the domain (2 3 4 6 7 8).
For initial check, since we do not have any information, so every value in the domain of X and Y needs to be checked. This results in both domain being (2 3 4 6)
For recheck, we can do better. If we know (we always know) that 2 is removed from the domain of X due to some constraints, we can simply remove 2 from the domain of Y to restore consistency. There is no need to check other values in the domain of Y. This saves time.
3. How to efficiently check a constraint
This requires careful study of the constraint. The main point is that we should avoid:


  • Checking those domain values that will not produce any pruning.

We will discuss some efficient consistency check methods for certain types of constraint later.


4. Constraint transformation


  • Constraint satisfaction is a dynamic process. A constraint may change its form when certain events occurs.




  • Normally, such a change converts a complicated constraint into a simpler one. This often makes consistency check easier and more efficient.




  • For example, the constraint X = Y * Z may be changed into X = a * Z when Y’s value becomes known to be a (a is a constant) in problem solving. This new constraint is much simpler to check than the original one.




  • Due to change of constraint type, it is desirable to use the consistency check method for X = a * Z to check this constraint rather than the one for X = Y * Z.


Some specific consistency check techniques
Constraint : x ¹ y

It constrains x to be unequal to y.



Requirement for variables: variables x and y can have any type of domain values;

Activation events: when either x or y or both has a value;

Initial check and recheck method:

· when x is instantiated, remove the value for x from the domain of y;

· when y is instantiated, remove the corresponding value of y from the domain of x;

Similar check methods can also be devised for constraints such as x ¹ a*y + b, where a and b are constants.

To generalize this constraint, we can express a constraint that a set of variables must take different values. This constraint is discussed below.

Constraint : alldiff(x1, x2, ..., xn)

It constrains variables x1, x2, ... xn to take different values.



Requirement for variables: xi is a variable;

Activation events: when one or more variables xi has a value;

Initial check and recheck method:

· For each xi that is known,

remove the value for xi from the domains of the other variables;

Constraint : x = y

It constrains x to be equal to y.



Requirement for variables: x and y are variables, each having an integer domain;

Activation events: when a bound of either x, y or both changes;

Initial check and recheck method:

· If minx > miny, we only need to prune the values in y such that the new miny ³ minx. The same procedure can be used for x if minx < miny;

· If maxx > maxy, we need to remove the values in x such that the new maxx £ maxy. The same procedure can be used for y if maxx < maxy;

When the new minx or maxx is not equal to miny or maxy respectively, further pruning is possible. This may be done by repeating the above two procedures, until they are equal.

Note that this is only a partial method.

Constraint : x ³ y

It constrains x to be greater than or equal to y.



Requirement for variables: x and y are variables with integer domains;

Activation events: when the upper bound of x or the lower bound of y or both change;

Initial check and recheck method:

· If minx < miny, we only need to prune the domain of x such that the new minx ³ miny;

· If maxx < maxy, we need to prune the domain of y such that the new maxy £ maxx;

Constraints such as x ³ a * y + b, and x > a * y + b can be handled in a similar way.







Download 85.7 Kb.

Share with your friends:




The database is protected by copyright ©ua.originaldll.com 2024
send message

    Main page