Randomized algorithms for solving sudoku puzzles