Prepare the following exercises for discussion in class on Friday 11th February 2011.
Exercise 1 Consider the n-queens problem with n≥
3 and its formulation as CSP that uses the least variables (that is,
n variables that indicate the position of the queens, say, on the
columns). Is the initial status of this CSP problem arc consistent?
If not, enforce arc consistency.
Exercise 2 Crossword puzzle
Consider the crossword grid of Figure 1 and suppose we are to
fill it with the words taken from the following list:
Formulate the problem as a CSP.
Is the initial status of the formulated CSP arc consistent? If not, enforce arc consistency.
