Dominic wrote:...You may come up with a sufficient number to solve some problems, but this is intrinsically arbitrary since you will never know when you have the complete set of rules to solve every problem. i.e. there is no mathematical rigour to this process whatsoever...
Hi:
I don't believe your statement is correct.
Today was the first I had ever heard of this Sudoku puzzle. I was able to work through an example puzzle and arrive at the solution. It is challenging, but fairly straight-forward to solve.
That solution process showed me that I can solve Soduku using a technique that is almost identical to how I solve logic problems. It is inherently a mathematical solution process!
My point is this: it is very easy to create a program that will methodically solve a given Soduku and arrive at the one-and-only answer. There is absolutely no need for any sort of inelegant, brute-force trial-and-error solution method. And THAT means that you can be certain that your solver has arrived at the correct solution.
I will work up a Visual Basic .NET program that can solve these puzzles, but it will take a few days to complete. I'll post back then.
...in the mean time, accept it as your challenge to take another look at these puzzles and try to discover my solution methodology.
Good Luck,
KEITH