数学规划模型(2020.3.7)
1.数学规划:简称最优化问题
2.最优化问题的数学模式的一般形式:
三个要素:决策变量,目标函数,约束条件
所确定的x的范围为 可行域
满足(2)的解:可行解
同时满足(1)(2):最优解
整个可行域上:全局最优解
可行域上某个领域的最优解:局部最优解
最优解对应的目标函数值:最优值
3.优化模型的分类
(1)按有无约束条件:
- 无约束优化
- 约束优化
(2)按决策变量取值是否连续:
1.数学规划或连续优化
- 线性规划
- 非线性规划(二次规划:目标为二次函数,约束为线性函数)
2.离散优化/组合优化
包含:整数规划(0,1规划)
LINGO介绍
一、求解功能
线性规划
非线性规划
二次规划
整数规划
动态规划
多目标规划
方程组
二、LINGO相关语法
1.求目标函数的最大值/最小值:
max=...
min=...
2.一行可以输入多个语句,一个语句也可以多行输入,但每个语句必须以分号结束
3.注释语句:!开头;结尾
4.默认所有决策变量均取非负数
5.LINGO模型
model:
title modelName
end
6.变量名以字母开头
例子
简单实现
model:
title 线性规划;
min=2*x1+3*x2;
x1+x2>350;
x1>100;
2*x1+x2<600;
end
用集合来实现
sets:
setname/1..n/:属性名
!students/jack,Susan,Ben/:age,sex
派生集
setname(parent_set_list)/member_list/:sttribute_list
!parent_set_list可以是原始集,或派生集。如果没有指定成员列表,Lingo自动创建父集成员的所有组合作为成员
例:
sets:
product/A B/;
machine/M N/;
week/1..2/;
allowed(product,machine,week):x;
endsets
稠密集: 包含所有成员:
稀疏集:包含部分成员
成员资格过滤器
实时数据处理
7.算数运算符:+ - * / ^(次方)
关系运算符:=,<=,>=
逻辑运算符:
运算符 | 意义 |
#eq# | |
#ne# | |
#gt# | |
#ge# | |
#lt# | |
#le# | |
#not# | |