A while back I wrote a solver that uses no backtracking, just constraint propagation, and it wasn't substantially more complex than this. One of the key insights comes from noticing a feature of groups of numbers in cells. For example, suppose you notice two cells in a given row and they're the only cells in that row that the numbers 1 and 2 can be placed in - then one of them is going to have 1 and the other will ha…
This sounds like Crook's Algorithm ( https://www.ams.org/notices/200904/tx090400460p.pdf ), which is a perfectly reasonable thing to do, especially for pencil-and-paper puzzle solving since pigeonhole inferences are easy for people to spot. But this inference rule does not suffice on its own for many hard puzzles. Crook's algorithm still requires backtracking.
Re: Solving Every Sudoku Puzzle (2006)
#101[deleted]