"It Tries Every Grid"
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
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.
Builds on
Unlocks
- Nothing yet depends on this.