Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2021/artificial-intelligence/2/c/solution

A solution is . Here is a backtracking search with forward checking, listing the chosen value order rather than assuming ascending values. No backtrack is needed on this branch.
Start with the constraint domains in (a). Assign ; remove from . Choose ; remove from each remaining neighbour. Now both have domain and each have . Choose . Its inequality removes from , forcing , and also removes from , leaving . Assigning removes from , leaving .
Choose . The edge reduces to ; makes no further deletion because is already absent from . Choose and then . All variables are assigned, and every constrained pair has different values.
In time order, the schedule is
SlotTalks in parallel
The Head of Department attends slots for ; first-year attendees see in slots ; second-year attendees see in ; the third-year Keble group sees in ; Physics attendees see in . Slot is free of every competing talk, so all assumed society overlaps are respected.

New to topics? Read the docs here!