Artificial Intelligence / AI 0191 · Atom · ~20 seconds
"It Tries Every Grid"
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
A Sudoku solver does not try grids — nine candidates in eighty-one cells make a number with seventy-eight digits, and no machine tries that.
Show
Each clue is a collapsed domain; each row, column, and box is a cluster of difference constraints; propagation deletes candidates by the thousands.
Watch for
The solver's speed is not the speed of trying — it is the speed of ruling out.
Unlocks
- Nothing yet depends on this.