版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:厦门海洋职业技术学院基础部福建厦门361101
出 版 物:《长春师范大学学报》 (Journal of Changchun Normal University)
年 卷 期:2016年第35卷第12期
页 面:8-13页
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
摘 要:本文首先从标准数独的条件与规则出发,引入三元0-1变量,建立标准数独的0-1整数规划模型,根据模型设计LINGO求解程序,用一个数独难题进行验证,说明程序计算的准确性;然后将标准数独的LINGO求解程序推广到窗口数独、额外区域数独、奇偶数独等三种变形数独的求解;最后利用数独联盟五段段位考试训练题进行验证,运算时间不超过2秒,准确率达到100%,说明这些LINGO程序求解数独问题,速度快且结果准确可靠。