计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2012年
10期
2907-2910
,共4页
数独%智力游戏%推理性质%唯一解%算法性质
數獨%智力遊戲%推理性質%唯一解%算法性質
수독%지력유희%추이성질%유일해%산법성질
首先从数独的要求出发建立方程组,该方程组的解与原数独的解完全等价.然后由该方程组推导出一系列数学性质,包括删除候选数性质、唯一确定法性质、矛盾性质和不变性性质.并说明数独的人工推理规则包含在这些性质之中.最后由这些性质提出求解该方程组的算法,算法中用一个三维矩阵来表示待求解九宫数独的候选数矩阵,根据上述性质对候选数矩阵进行删减,直到能够解出此九宫数独.此算法能够求解出许多数独软件无法进行推理计算的数独难题,并用两个数独难题进行验证,说明了该算法的有效性.
首先從數獨的要求齣髮建立方程組,該方程組的解與原數獨的解完全等價.然後由該方程組推導齣一繫列數學性質,包括刪除候選數性質、唯一確定法性質、矛盾性質和不變性性質.併說明數獨的人工推理規則包含在這些性質之中.最後由這些性質提齣求解該方程組的算法,算法中用一箇三維矩陣來錶示待求解九宮數獨的候選數矩陣,根據上述性質對候選數矩陣進行刪減,直到能夠解齣此九宮數獨.此算法能夠求解齣許多數獨軟件無法進行推理計算的數獨難題,併用兩箇數獨難題進行驗證,說明瞭該算法的有效性.
수선종수독적요구출발건립방정조,해방정조적해여원수독적해완전등개.연후유해방정조추도출일계렬수학성질,포괄산제후선수성질、유일학정법성질、모순성질화불변성성질.병설명수독적인공추리규칙포함재저사성질지중.최후유저사성질제출구해해방정조적산법,산법중용일개삼유구진래표시대구해구궁수독적후선수구진,근거상술성질대후선수구진진행산감,직도능구해출차구궁수독.차산법능구구해출허다수독연건무법진행추리계산적수독난제,병용량개수독난제진행험증,설명료해산법적유효성.
