[math-fun] sudoku trial and error, NP-completeness