数独模型Lingo求解程序.docVIP

第2章 数独模型Lingo求解程序 本章信息 指数 理论性 ★ 应用性 ★ ★ 趣味性 ★ ★ ★ ★ ★ 创新性 ★ ★ ★ 本章选择了LINGO建模语言,对数独模型编写了Lingo求解程序。 2-1 Lingo简介 LINGO是用来求解线性和非线性优化问题的简易工具。LINGO内置了一种建立最优化模型的语言，可以简便地表达大规模问题，利用LINGO高效的求解器可快速求解并分析结果。 2.1.1 LINGO中的集 对实际问题建模的时候，总会遇到一群或多群相联系的对象，比如工厂、消费者群体、交通工具和雇工等等。LINGO允许把这些相联系的对象聚合成集（sets）。一旦把对象聚合成集，就可以利用集来最大限度的发挥LINGO建模语言的优势。 集是LINGO建模语言的基础，是程序设计最强有力的基本构件。借助于集，能够用一个单一的、长的、简明的复合公式表示一系列相似的约束，从而可以快速方便地表达规模较大的模型。 LINGO有两种类型的集：原始集(primitive set)和派生集(derived set)。 2.1.1.1 为了定义一个原始集，必须定义：集的名字、集的成员（可选）和集成员的属性（可选）， 定义一个原始集，用下面的语法： setname[/member_list/][:attribute_list]; 注意：用“[]”表示该部分内容可选。Setname是你选择的来标记集的名字， 最好具有较强的可读性。集名字必须严格符合标准命名规则：以拉丁字母或下划线（_）为首字符，其后由拉丁字母（A—Z）、下划线、阿拉伯数字（0，1，…，9）组成的总长度不超过32个字符的字符串，且不区分大小写。 注意：该命名规则同样适用于集成员名和属性名等的命名。 比如number/1..9/;定义一个原始集number，由于在后续的程序中不直接使用该集，故省略了后面的属性，该集有9个成员，由于成员的规律性，可以采用隐式罗列法来表示，即不必罗列出每个集成员。具体语法如下： setname/member1..memberN/[: attribute_list]; 这里的member1是集的第一个成员名，memberN是集的最末一个成员名。LINGO将自动产生中间的所有成员名。 2.1.1.2 定义 为了定义一个派生集，必须定义：集的名字、父集的名字、集成员（可选）和集成员的属性（可选）。定义一个派生集，用下面的语法： setname(parent_set_list)[/member_list/][:attribute_list]; setname是集的名字。parent_set_list是已定义的集的列表，多个时必须用逗号隔开。如果没有指定成员列表，那么LINGO会自动创建父集成员的所有组合作为派生集的成员。派生集的父集既可以是原始集，也可以是其它的派生集。 比如shudu(line,col):a;定义了一个派生集，它没有指定成员列表，那么LINGO会自动创建父集line和col成员的所有组合作为派生集shudu的成员。A是该派生集的一个属性。 2.1.2 LINGO中的 在处理模型的数据时，需要为集指派一些成员并且在LINGO求解模型之前为集的某些属性指定值。为此，LINGO为用户提供了两个可选部分：输入集成员和数据的数据部分（Data Section）和为决策变量设置初始值的初始部分（Init Section）。比如： data: ! 键盘输入; a=？; enddata 以data:开始，以enddata结束，语句前加了!后成为说明语句。LINGO规定， 每个以分号“；”结束。 2.1.3 LINGO函数 LINGO有9种类型的函数：基本运算符、数学函数、金融函数、概率函数、变 量界定函数、集操作函数、集循环函数、数据输入输出函数、辅助函数。 2.1.3.1 基本运算符 这些运算符是非常基本的，甚至可以不认为它们是一类函数。事实上，在LINGO 中它们是非常重要的。 2.1.3.1.1 算术运算符 算术运算符是针对数值进行操作的。LINGO提供了5种二元运算符：＾　乘方、 ﹡　乘、／　除、﹢　加、﹣　减。LINGO唯一的一元算术运算符是取反函数“﹣”。 这些运算符的优先级由高到底为：﹣（取反）、＾、﹡／、﹢﹣。运算符的运算次 序为从左到右按优先级高低来执行。运算的次序可以用圆括号“（）”来改变。 2.1.3.1.2 逻辑运算符 在LINGO中，逻辑运算符主要用于集循环函数的条件表达式中，来控制在函数 中哪些集成员被包含，哪些被排斥。在创建稀