程海礁
- 作品数：4 被引量：10H指数：2
- 供职机构：湖南科技学院理学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术文化科学更多>>
- 九宫数独的方程求解算法研究被引量：8
- 2012年
- 首先从数独的要求出发建立方程组,该方程组的解与原数独的解完全等价。然后由该方程组推导出一系列数学性质,包括删除候选数性质、唯一确定法性质、矛盾性质和不变性性质。并说明数独的人工推理规则包含在这些性质之中。最后由这些性质提出求解该方程组的算法,算法中用一个三维矩阵来表示待求解九宫数独的候选数矩阵,根据上述性质对候选数矩阵进行删减,直到能够解出此九宫数独。此算法能够求解出许多数独软件无法进行推理计算的数独难题,并用两个数独难题进行验证,说明了该算法的有效性。
- 肖华勇程海礁王月兴
- 关键词：数独智力游戏唯一解
- 窗口数独求解的线性规划模型
- 2016年
- 窗口数独是在标准的数独上多增加四个宫格,相对于标准数独来说求解难度比较大,文章从窗口数独的求解要求出发建立了线性规划模型,该线性方程组的解与原窗口数独的解完全相同。最后利用Matlab软件实现算法,并应用该算法去验证窗口数独难题。
- 程海礁
- 关键词：唯一解线性规划
- 老板数独的方程求解算法研究被引量：3
- 2014年
- 从老板数独的定义建立了与原问题等价的方程组,由该方程组推导出一系列数学性质,包括候选数删除性质、唯一确定法性质、矛盾性质、不变性性质,说明了数独的人工推理规则包含在这些性质之中。利用这些性质提出了求解该方程组的算法。数值实例表明,提出的方法对于不同难度的数独难题都是有效的。
- 肖华勇马丽娜程海礁
- 关键词：方程组不变性
