线性规划讲义 优质课件
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
几何原理示例
max z 3x1 5x2 s.t.
x1 4 2x2 12 3x1 2x2 18 且x1, x2 0
关键的解原理
解原理1:单纯形法只关注CPF解 解原理2:单纯形法是一个迭代算法(一个系统
化的求解过程,它重复着一系列固定的我们称 之为迭代的步骤,直到得到期望的结果),结 构如下
起始步骤(开始准备迭代,包括找出初始CPF解) 最优性检验:(当前CPF解是最优解吗?) 不是 /是 停止 迭代(进行一次迭代,找出更好的CPF解)
关键的解原理
解原理3: 只要有可能单纯形法的起始步骤就 选择原点作为初始CPF解
解原理4:已知一个CPF解,从计算上来说,获 取它的相邻CPF解的信息比获取其他CPF解的信 息更快
常是最大或者最小
构建线性规划模型
线性规划的一般形式 目标函数:max(min)z c1x1 c2 x2 ... cn xn
a11x1 a12 x2 来自百度文库... a1n xn (, )b 约束条件:.a.2.1x1 a22 x2 ... a2n xn (, )b
构建单纯形法
单纯形法通常是在计算机上实施的,而计算 机只能执行代数运算,因此需要把上述几何 原理转化成可应用代数计算的步骤。
第一步:把不等式约束转化为等价的等式约 束,这个过程考引入松弛变量(slack variables)来完成
模型的扩展模式(augmented form):原线 性模型在引入松弛变量后形成的新的模式
单纯形法的代数-最优性检验
目标函数:z 3x1 5x2 对于初始可行解,z 0
am1x1 am2 x2 ... amnxn (, )b x1, x2 ,...,xn 0
图解法
无穷多解 无界解 无可行解
模型解的术语
可行解(feasible solution)满足所以约 束条件的解(非可行解)
可行域(feasible region)所有可行解的 集合
单纯形法的实质
单纯形法是一个代数计算过程,但它本 质上是基于几何原理
了解这些几何原理能为我们理解单纯形 法的运算步骤提供非常直观的解释,同 时也有助于我们将解释为什么单纯形法 为什么会如此有效
单纯形法的几何原理
约束边界(constraint boundary):每个约束条件都 是一条直线,该直线就是满足对应约束的边界线
BF解相邻(adjacent):当非基变量只有一个 不同时,两个BF解相邻(因此,从当前BF解转 到另一个相邻的BF解时,围绕着把一个变量从 非基变量转变为基变量来进行)
单纯形法的代数-初始化
选择 x1 , x2 为非基变量(这些变量设为0)
令x1 0, x2 0,因此有 (1)x1 x3 4 x3 4 (2)2x2 x4 12 x4 12 (3)3x1 2x2 x5 18 x5 18 因此,初始BF解是(0,0,4,12,18)
如:x1 4 x1 x2 4
扩展模式的术语
扩展解(augmented solution):原始变量 (决策变量)取值再加入相应的松弛变量取值 后形成的解
基本解(basic solution):是一个扩展后的角 点解
基本可行解(BF解):是扩展的CPF解(非负) (非基变量,基变量,基)
最优解(optimal solution)目标函数取 得最有利的可行解
模型解的术语
基(the basis):约束方程构成矩阵中 的非奇异矩阵(基向量、基变量、基解)
基可行解:非负的基解 可行基:对应基可行解的基
单纯形法原理分析
单纯型法(simplex method)
1947年乔治.丹捷格(George Dantzig)提 出单纯形法,(乔治.丹捷格堪称运筹学最 重要的先驱,由于在单纯形法及其他方面的 很多重要贡献,他被称为线性规划之父)单 纯形法已经被证实是真正有效的方法,如今 通常用于在计算机上解决大型问题。(除了 一些小问题,这种方法总是在计算机上实现) 单纯形法的延伸和变化也被用来对模型进行 优化后分析(包括灵敏度分析)
例如:生产设施的分配,国家资源和家 庭必须品的分配,部长职位的选举,海 运模式的选择,农业生产计划,放射性 治疗等
广义问题:数学模型符合线性规划一般 形式的任何问题都是线性规划问题
线性模型的三个要素
决策变量:待求的未知数 约束条件:一组线性方程,该线性方程的
集合为决策变量的可行域 目标函数:用函数表示的追求的目标,通
线性规划讲义(linear program)
组员: 林舒进 万军 曾跃文 李婷
线性规划(LP)
线性规划是使用数学模型描述相关问题 的一种工具
内涵 线性:模型中所有的数学函数都是线性
函数。 规划:等同与计划,既在模型中找找出
最优解。
线性规划解决什么类型的问题
狭义问题:给活动分配资源(竞争性活 动中以最佳的可能方式分配有限资源)
角点解(corner-point solutions):约束边界的交点 角点可行解(CPF solutions):在可行域上的角点 相邻(adjacent):两个CPF解位于同一条约束边界上,
它们是相邻的,两个相邻的CPF解连成的一条线段被称 为可行域的边 (edge) 最优性检验(optimality test):如果一个CPF解没有 比它更好(以z来衡量)的相邻CPF解,那么它就是最 优解
解原理5:得到当前的CPF解后,单纯形法考察 从这个解出发的可行域的每一条边(不是计算 相邻CPF解,而仅仅是判断沿这条边移动时z的 增长率)
关键的解原理
解原理6:z增长率为正,意味着相邻CPF 解优于当前CPF解;z增长率为负,意味 着相邻CPF解并不优于当前CPF解。因此, 最优性检验及时检查是否有边界线会带 给z正的增长率,如果没有,则证明当前 的CPF解是最优的。