CONSTRAINT SATISFACTIO

CONSTRAINT SATISFACTION-Problem

Suppose you have a bachelors degree in something other than a computing major, something

with no more math than College Algebra, and you want to get a Computer Science degree in six

semesters. You would need to take the following courses:

Math 120, 210, and 215

ICS 140, 141, 232, 240, 311, 340, 365, 372, 440, 460, 462, and 499

For the purposes of this problem, here are the courses and their prerequisites. These are also shown in the graph on the next page.

All of these courses are offered each semester. Suppose you wish to finish these courses within 6 semesters.,numbered 1-6. That is, the domain of each course is the set of semesters in which it can be offered, and the domain of each course is initially set to {1,2,3,4,5,6}.Prune the domains of these courses as much as necessary to make all the prerequisite arcs arc-consistent. Write your answers for the final domains on the lines below.

Pruned domains:

Math 120: ____________________

Math 210: ____________________

Math 215: ____________________

ICS 140: ____________________

ICS 141: ____________________

ICS 232: ____________________

ICS 240: ____________________

ICS 311: ____________________

ICS 340: ____________________

ICS 365: ____________________

ICS 372: ____________________

ICS 440: ____________________

ICS 460: ____________________

ICS 462: ____________________

ICS 499: ____________________

Course Prerequisite 1 (P1) May P1 be taken concurrently? Prerequisite 2 (P2) May P2 be taken concurrently? Math 120 Math 210 Math 215 ICS 140 Math 120 Math 120 Math 120 ICS 140 No No Yes No ICS 141 Math 215 Yes ICS 141 Yes ICS 141 No Yes ICS 232 ICS 240 ICS 311 ICS 340 ICS 365 ICS 372 No ICS 240 ICS 240 ICS 240 ICS 240 ICS 340 No No ICS 440 No ICS 460 ICS 340 No No No ICS 462 ICS 499 ICS 232 ICS 372 ICS 340 ICS 311, 365, 440, 460, 462 No Yes to all five Math 120 1,2,3,4,5,6 Math 210 1,2,3,4,5,6 Math 215 1,2,3,4,5,6 ICS 140 1,2,3,4,5,6 ICS 232 1,2,3,4,5,6 ICS 141 1,2,3,4,5,6 ICS 240 1,2,3,4,5,6 ICS 340 1,2,3,4,5,6 ICS 365 1,2,3,4,5,6 ICS 372 1,2,3,4,5,6 ICS 311 1,2,3,4,5,6 ICS 440 1,2,3,4,5,6 ICS 460 1,2,3,4,5,6 ICS 462 1,2,3,4,5, 6 7 ICS 499 1,2,3,4,5,6 Course Prerequisite 1 (P1) May P1 be taken concurrently? Prerequisite 2 (P2) May P2 be taken concurrently? Math 120 Math 210 Math 215 ICS 140 Math 120 Math 120 Math 120 ICS 140 No No Yes No ICS 141 Math 215 Yes ICS 141 Yes ICS 141 No Yes ICS 232 ICS 240 ICS 311 ICS 340 ICS 365 ICS 372 No ICS 240 ICS 240 ICS 240 ICS 240 ICS 340 No No ICS 440 No ICS 460 ICS 340 No No No ICS 462 ICS 499 ICS 232 ICS 372 ICS 340 ICS 311, 365, 440, 460, 462 No Yes to all five Math 120 1,2,3,4,5,6 Math 210 1,2,3,4,5,6 Math 215 1,2,3,4,5,6 ICS 140 1,2,3,4,5,6 ICS 232 1,2,3,4,5,6 ICS 141 1,2,3,4,5,6 ICS 240 1,2,3,4,5,6 ICS 340 1,2,3,4,5,6 ICS 365 1,2,3,4,5,6 ICS 372 1,2,3,4,5,6 ICS 311 1,2,3,4,5,6 ICS 440 1,2,3,4,5,6 ICS 460 1,2,3,4,5,6 ICS 462 1,2,3,4,5, 6 7 ICS 499 1,2,3,4,5,6