关键词: 老板数独, 方程组, 0-1规划, 不变性

Abstract: Sudoku is the recent craze in logic puzzles. The equations which are equivalent to the solution of the Boss Sudoku are established and series mathematical properties of the equations, including the candidates-deleted, unique determination, the contradiction and invariance property, are derived. The artificial reasoning rules are based on these properties. The algorithm for solving the equations according to these properties is proposed. The experimental results show that the proposed method is effective for all Boss Sudoku problems of different levels.

Key words: Boss Sudoku, equations, 0-1 integer linear program, invariance property