CAJ | 학술논문

从老板数独的定义建立了与原问题等价的方程组，由该方程组推导出一系列数学性质，包括候选数删除性质、唯一确定法性质、矛盾性质、不变性性质，说明了数独的人工推理规则包含在这些性质之中。利用这些性质提出了求解该方程组的算法。数值实例表明，提出的方法对于不同难度的数独难题都是有效的。
종로판수독적정의건립료여원문제등개적방정조，유해방정조추도출일계렬수학성질，포괄후선수산제성질、유일학정법성질、모순성질、불변성성질，설명료수독적인공추리규칙포함재저사성질지중。이용저사성질제출료구해해방정조적산법。수치실례표명，제출적방법대우불동난도적수독난제도시유효적。
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.