数独的数学模型与LINGO求解程序

本文首先从标准数独的条件与规则出发,引入三元0-1变量,建立标准数独的0-1整数规划模型,根据模型设计LINGO求解程序,用一个数独难题进行验证,说明程序计算的准确性;然后将标准数独的LINGO求解程序推广到窗口数独、额外区域数独、奇偶数独等三种变形数独的求解;最后利用数独联盟五段段位考试训练题进行验证,运算时间不超过2秒,准确率达到100%,说明这些LINGO程序求解数独问题,速度快且结果准确可靠。