ICS 171Fall 2008CSP1) Consider the following binary constraint network: There are 4 variables: X1, X2, X3, X4 with the domains: D1={1,2,3,4}, D2={3,4,5,8,9},D3={2,3,5,6,7,9}, D4={3,5,7,8,9}. The constraints are X1≥X2, X2>X3 or X3-X2=2, X3≠X4.a. Draw the constraint graph.b. Is the network arc-consistent? If not, compute the arc-consistent network. (show the whole process of enforcing arc-consistency and not just the finalnetwork)c. Is the network consistent? If yes, give a solution.2) Consider the 8 squares positioned as follows:The task is to label the boxes above with the numbers 1-8 such that the labels of any pair of adjacent squares (i.e. horizontal, vertical or diagonal) differ by at least 2 (i.e. 2 or more).a. Write all constraints and draw the constraint graph.b. Is the network arc-consistent? If not, compute the arc-consistent network. (show the whole process of enforcing arc-consistency and not just the finalarc-consistent network)c. Is the network consistent? If yes, give a solution.ICS 171Fall
View Full Document
Unlocking...