CSP step through: backtracking, forward checking, AC-3

What the exam asks you to produce: the full domain of every variable at every step, with the values you crossed off and the reason you crossed them off, next to the assignment you were holding at the time, and for AC-3 the arc queue including the arcs you put back on it.

Part 6 chapter: constraint satisfaction problems study pack index

Problem Algorithm MRV degree LCV Mistake mode predict speed 0 / 0

Domain table the exam artefact: struck through in red means removed, hover for the reason

Assignment stack oldest on the left, the last one is where we backtrack to

Constraint graph the active arc is amber, tail to head

Arc queue AC-3 only: struck means already processed, blue means put back on

Step history one row per step: this is what a correct written answer looks like

Keyboard: left and right arrows step, space toggles autoplay. Every trace on this page is generated by the same engine that was diffed step by step against an independent Python implementation. Sources: Part 6 of the deck and exercise session 4.