Artificial Intelligence / AI 0194 · Atom · ~20 seconds
Constraints Are Information
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
For a solver, constraints are fuel: each rule powers deletions, so more rules can ease the solving even while making the satisfying harder.
Show
Each festival rule shrank a domain; few rules give propagation nothing to chew, and search inherits the space raw.
Watch for
Harder to satisfy and harder to solve are different axes — keep them apart and the inversion stops being strange.