Sudoku for mathematicians