Exercise 4.5:
Consider a scheduling problem, where there are five activities to be scheduled in four time slots. Suppose we represent the activities by the variables A, B, C, D, and E, where the domain of each variable is {1,2,3,4} and the constraints are A>D, D>E, C ≠A, C>E, C ≠D, B ≥ A, B≠C, and C≠D+1. [Before you start this, try to find the legal schedule(s) using your own intuition.]
*B* Show how arc consistency can be used to solve this problem. To do this you must:
1- Draw the constraint graph;
2- Show which elements of a domain are deleted at each step, and which arc is responsible for removing the element;
3- Show explicitly the constraint graph after arc consistency has stopped; and
4- Show how splitting a domain can be used to solve this problem.
(Use this book as a reference, everything explained here: http://artint.info/html/ArtInt_72.html)
(The Exercise page: http://artint.info/html/ArtInt_99.html)