News for hackers. Stuff that matters.

A comment on From Sudoku Solver to Program Synthesis. Parent comment

Re:From Sudoku Solver to Program Synthesis by saurabh20n on Thursday February 21, 2019 @10:57AM (#19217681)
You are absolutely right. Punching "extra holes" in puzzles of certain hardness should make backtracking not as viable. But we'll loose the unique solution property.

Might make it more interesting? And maybe even bias it towards human-abilities. I think intuitively we're better at solving when the possibilities are more than 1 (just a conjecture.)

[ Parent | on HN ]
Re:From Sudoku Solver to Program Synthesis by wiredfool on Thursday February 21, 2019 @11:13AM (#19217806)
My soduku solver from ca~10 years back ran the "hardest" soduku puzzles in < 10 seconds on a netbook atom processor. IIRC, the hardest one that I ever threw at it had 7 levels of backtracking.

It's just not that hard of a problem compared to the speed of computers.

[ Parent | on HN ]