Oudeis wrote:lunababy_moonchild wrote:but you have to know the best way of solving any of the puzzles available in order to write the solver.
I don't think so. Methods for solving these puzzles which are good for humans do not necessarily make particularly efficient solving algorithms for digital computers, and for this reason I doubt that you have to know a lot about solving Soduku by hand to write a competitive solver.
Sincerely,
Oudeis
Though it is simple to write a brute-force solver that will spit out the solution to a 9x9 Sudoku in an instant with the teensiest string of code, most of the challenge is to create software that solves in a "human-like way", using the type of logical tactics that people can and do use. The more they know about solving by hand, the better the results. A by-product is new tactics suitable for use by pencil-using solvers are expanded and created. The level of puzzle that can reasonably be solved by most carbon-based solvers is rising. Harder puzzles that were once scarce are in abundance and can be created on demand -- increasingly, to the exact specifications that the ludite puzzler wants.
Also, while brute force solving of a 9x9 puzzle is easy, as the size of the puzzle increases linearly, the time to complete a brute force search increase exponentially, quickly reaching a point where all the computer power in the universe will not help even with all the time in the universe. Although there is no getting past this limitation, they might be able to somewhat increase that limit by using 'smart' searches and incorporating logical tactics -- some of which may or may not be suitable for use by mortal solvers.
"Logic-based" solvers can also be useful to judge the relative difficulty of a puzzle to decide where you want to use your limited puzzle solving time -- brute force solvers are useless in this respect.
All of this increases the knowlege of Sudoku.
To the question of "cheating" -- that's completely contextual and subjective. If you use a solver -- any solver -- to find or even check your answer to a puzzle in a competition that specifically says not to use a computer or outside assistance, well, ok then. But if you use a solver to whip past the boring parts to get to the 'meat' of a puzzle -- don't want no salad, just give me the 'swordfish' -- well, ok then.