Algorithmics of sudoku