Sorry if these questions have already been asked before. I am a new member.
1. Is there a method of proving that a given Sudoku puzzle has a solution (not involving any probabilistic guessing) ? Sort of an existence proof.
2. Is there a method of determining whether the number of filled boxes given in a Sudoku puzzle are adequate for a solution to be found (again without involving any probabilistic guessing) ? Sort of an adequacy proof.
Thanks.
Aydin