欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
从老板数独的定义建立了与原问题等价的方程组，由该方程组推导出一系列数学性质，包括候选数删除性质、唯一确定法性质、矛盾性质、不变性性质，说明了数独的人工推理规则包含在这些性质之中。利用这些性质提出了求解该方程组的算法。数值实例表明，提出的方法对于不同难度的数独难题都是有效的。
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：