Artificial Intelligence / Unit 4 AI 0189 short lesson, about 20 seconds
Elimination Is Safe
Captions available
The idea
Propagation deletes only values that appear in no solution — every deletion is a small proof, so nothing legal is ever lost.
In practice
A value with no legal partner under some constraint cannot appear in any assignment that satisfies everything; striking it costs nothing.
Where people slip
Safety belongs to the deletions, not the translation — a wrong constraint proves wrong things efficiently.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Something wrong in this lesson? Flag it · Sources for Artificial Intelligence