[math-fun] Sudoku variant: dichotomy problem