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

摘要：

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

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

分类号：O157(代数、数论、组合理论)

资助基金：国家自然科学基金No.60972150。

在线出版日期：2014-05-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：41-44,48