老板数独的方程求解算法研究

Equation model for Boss Sudoku problem

从老板数独的定义建立了与原问题等价的方程组,由该方程组推导出一系列数学性质,包括候选数删除性质、唯一确定法性质、矛盾性质、不变性性质,说明了数独的人工推理规则包含在这些性质之中。利用这些性质提出了求解该方程组的算法。数值实例表明,提出的方法对于不同难度的数独难题都是有效的。

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.