用Python求解线性规划问题 |
您所在的位置:网站首页 › 如何求解线性规划 › 用Python求解线性规划问题 |
在人们的生产实践中,经常会遇到如何利用现有资源来安排生产,以取得最大经济效益的问题。此类问题构成了运筹学的一个重要分支—数学规划,而线性规划(Linear Programming 简记LP)则是数学规划的一个重要分支,也是一种十分常用的最优化模型。 而随着计算机的发展,线性规划的方法被应用于广泛的领域,已成为数学建模里最为经典,最为常用的模型之一。线性规划模型可用于求解利润最大,成本最小,路径最短等最优化问题。 一个典型的线性规划问题某机床厂生产甲、乙两种机床,每台销售后的利润分别为4000元与3000元。生产甲机床需用A、B机器加工,加工时间分别为每台2小时和1小时:生产乙机床需用A、B、C三种机器加工,加工时间为每台各一小时。若每天可用于加工的机器时数分别为机器10小时、机器8小时和C机器7小时,问该厂应生产甲、乙机床各几台,才能使总利润最大? 问题分析 这个问题是一个十分典型的线性规划问题,首先对问题提取出关键信息: 决策:生产几台甲、乙机床优化目标:总利润最大约束:生产机床的使用时间有限 将上诉三个要素写成数学表达式,就是一个典型的线性规划模型: 规划问题的分类 线性规划: 在一组线性约束条件的限制下,求一线性目标函数最大或最小的问题; 整数规划:当约束条件加强,要求所有的自变量必须是整数时,成为整数规划(特别地,自变量只能为0或1时称为0-1规划); 非线性规划:无论是约束条件还是目标函数出现非线性项,那么规划问题就变成了非线性规划; 多目标规划:在一组约束条件的限制下,求多个目标函数最大或最小的问题; 动态规划:将优化目标函数分多阶段,利用阶段间的关系逐一进行求解的方法; 应用举例:旅行商问题、车辆路径规划问题、运输问题、最短路问题、最大流问题、中国邮递员问题 线性规划模型的三要素线性规划模型主要包括三个部分:决策变量、目标函数、约束条件 决策变量决策变量是指问题中可以改变的量,例如生产多少货物,选择哪条路径等;线性规划的目标就是找到最优的决策变量。在线性规划中决策变量包括实数变量,整数变量,0-1变量等。 目标函数目标函数就是把问题中的决策目标量化,一般分为最大化目标函数和最小化目标函数在线性规划中,目标函数为一个包含决策变量的线性函数,例如
约束条件是指问题中各种时间,空间,人力,物力等限制。在线性规划中约束条件一般表示为一组包含决策变量的不等式,例如
此外,决策变量的取值范围称为符号约束,例如 线性规划模型的数学表示 线性规划模型可以写成如下形式: 其中 为subject to的缩写。 上诉模型也可以写成如下的矩阵形式:
对于有 个决策变量, 个约束的线性规划模型, 为 维列向量, 为 维列向量, 为 维矩阵。 线性规划模型的标准形式线性规划的目标函数可能是最大化,也可能是最小化,约束条件的符号可能是小于等于,也可能是大于等于。因此为了编程方便,一般统一为最小化目标函数,小于等于约束 最大化目标函数可以添加负号变为最小化约束: 大于等于约束可以两边乘以 变为小于等于约束: 等于约束可以变为一个大于等于约束和一个小于等于约束,但在编程中一般支持直接写等式约束,可以不进行转换: 图解法和单纯形法 图解法对于较为简单且只有两个决策变量的线性规划问题可以使用图解法。 考虑如下线性规划模型:
从图中可以看出,当红线(即目标函数)经过多边形的顶点P(即表示两个约束条件的直线交点)时, 轴截距取得最大值。即:当 时,目标函数取得最大值为 单纯形法对于决策变量比较多的线性规划模型,图解法不再适用。单纯形法是1947 年G. B. Dantzig提出的一种十分有效的求解方法,极大地推广了线性规划的应用,直到今日也在一些线性规划的求解器中使用。 从图解法的例子中,我们可以看出,约束条件所围成的区域为一个凸多边形,当决策变量多于两个时,约束条件围成的区域为一个凸多面体,称之为可行域。其中每一个面(称之为超平面)即代表一个约束条件。 可以证明:线性规划的最优解一定在可行域的边界上 单纯形法的思路就是在可行域的一个顶点处找到一个初始可行解,判断该解是不是最优,若不是,则迭代到下一个顶点处进行重复判断。因为最优解的搜索范围从整个可行域缩小到了可行域的有限个顶点,算法的效率得到了极大的提升。 具体的找初始可行解的方法,判断解是否最优的条件,如何进行迭代这里不做详细展开,有兴趣可以查阅相关资料 此外,求解线性规划的方法还有椭球法、卡玛卡算法、内点法等。其中内点法因为求解效率更高,在决策变量多,约束多的情况下能取得更好的效果,目前主流线性规划求解器都是使用的内点法。 使用python求解简单线性规划模型 编程思路1. 选择适当的决策变量 在解决实际问题时,把问题归结成一个线性规划数学模型是很重要的一步,但往往也是困难的一步,模型建立得是否恰当,直接影响到求解。而选适当的决策变量,是我们建立有效模型的关键之一。 2.将求解目标简化为求一个目标函数的最大/最小值 能把要求解的问题简化为一个最值问题是能否使用线性规划模型的关键,如果这一点不能达到,之后的工作都有没有意义的。 3. 根据实际要求写出约束条件(正负性,资源约束等) 线性规划的约束条件针对不同的问题有不同的形式,总结来说有以下三种:等式约束、不等式约束、符号约束 考虑如下线性规划问题
Step1: 导入相关库 import numpy as np from scipy import optimize as opStep2: 定义决策变量 # 给出变量取值范围 x1=(0,None) x2=(0,None) x3=(0,None)Step3: 将原问题化为标准形式
注意:编程时默认为最小化目标函数,因此这里改为 ;第二个约束为大于等于约束,这里化为小于等于约束; Step4: 定义目标函数系数和约束条件系数 c=np.array([-2,-3,5]) # 目标函数系数,3x1列向量 A_ub=np.array([[-2,5,-1],[1,3,1]]) # 不等式约束系数A,2x3维矩阵 B_ub=np.array([-10,12]) # 等式约束系数b, 2x1维列向量 A_eq=np.array([[1,1,1]]) # 等式约束系数Aeq,3x1维列向量 B_eq=np.array([7]) # 等式约束系数beq,1x1数值Step5: 求解 res=op.linprog(c,A_ub,B_ub,A_eq,B_eq,bounds=(x1,x2,x3)) #调用函数进行求解 res con: array([0.]) fun: -14.571428571428571 message: 'Optimization terminated successfully.' nit: 3 slack: array([0. , 3.85714286]) status: 0 success: True x: array([6.42857143, 0.57142857, 0. ])即当 时,目标函数取得最大值 求解案例 例1:使用scipy求解#导入相关库 import numpy as np from scipy import optimize as op #定义决策变量范围 x1=(0,None) x2=(0,None) x3=(0,None) #定义目标函数系数 c=np.array([2,3,1]) #定义约束条件系数 A_ub=np.array([[-1,-4,-2],[-3,-2,0]]) B_ub=np.array([-8,-6]) #求解 res=op.linprog(c,A_ub,B_ub,bounds=(x1,x2,x3)) res con: array([], dtype=float64) fun: 7.0 message: 'Optimization terminated successfully.' nit: 2 slack: array([0., 0.]) status: 0 success: True x: array([0.8, 1.8, 0. ]) 即当 时,目标函数取得最小值 例2:包含非线性项的求解
由于存在非线性项,不能沿用例一中的linprog函数求解,这里使用自定义函数的方法编写目标函数和约束条件,并使用scipy.optimize中的minimize函数求解。 Step1:导入相关库 import numpy as np from scipy.optimize import minimizeStep2:使用函数的形式表示目标和约束 # 定义目标函数 def objective(x): return x[0] ** 2 + x[1]**2 + x[2]**2 +8 # 定义约束条件 def constraint1(x): return x[0] ** 2 - x[1] + x[2]**2 # 不等约束 def constraint2(x): return -(x[0] + x[1]**2 + x[2]**2-20) # 不等约束 def constraint3(x): return -x[0] - x[1]**2 + 2 # 等式约束 def constraint4(x): return x[1] + 2*x[2]**2 -3 # 等式约束注意:每一个函数的输入为一个 维列向量 ,其中 表示该列向量的第一个元素,即 。 Step3:定义约束条件 con1 = {'type': 'ineq', 'fun': constraint1} con2 = {'type': 'ineq', 'fun': constraint2} con3 = {'type': 'eq', 'fun': constraint3} con4 = {'type': 'eq', 'fun': constraint4} # 4个约束条件 cons = ([con1, con2, con3,con4]) # 决策变量的符号约束 b = (0.0, None) #即决策变量的取值范围为大于等于0 bnds = (b, b ,b)注意:每一个约束为一个字典,其中 type 表示约束类型:ineq为大于等于,eq为等于;fun 表示约束函数表达式,即step2中的自定义函数。 Step4:求解 x0=np.array([0, 0, 0]) #定义初始值 solution = minimize(objective, x0, method='SLSQP', \ bounds=bnds, constraints=cons)注意:minimize为最小化目标函数,且约束条件中默认为大于等于约束。 Step5:打印求解结果 x = solution.x print('目标值: ' + str(objective(x))) print('最优解为') print('x1 = ' + str(round(x[0],2))) print('x2 = ' + str(round(x[1],2))) print('x3 = ' + str(round(x[2],2))) solution 目标值: 10.651091840572583 最优解为 x1 = 0.55 x2 = 1.2 x3 = 0.95 fun: 10.651091840572583 jac: array([1.10433471, 2.40651834, 1.89564812]) message: 'Optimization terminated successfully.' nfev: 86 nit: 15 njev: 15 status: 0 success: True x: array([0.55216734, 1.20325918, 0.94782404])即当 时,目标函数取得最小值z = 10.65 从整数规划到0-1规划 整数规划模型规划中的变量(部分或全部)限制为整数时,称为整数规划。若在线性规划模型中,变量限制为整数,则称为整数线性规划。 当决策变量均为整数时,称纯整数规划; 当决策变量中部分为整数,部分为实数时,称混合整数规划; 一般用 表示 为整数 将第一节中的线性规划图解法的例子添加整数约束,则可行域变为了多边形内的整点,如下图所示: 可以看出,可行域变成了离散的点,这也使得整数规划问题比线性规划问题要更难求解,但现实中的许多决策变量都只能取整数,因此混合整数规划问题也成为了了研究最多的线性规划问题。 注意:整数规划最优解不能按照实数最优解简单取整而获得 整数规划的两个常用求解方法:分支定界算法、割平面法 分枝定界法 step1不考虑整数约束的情况下求解得到最优解 (一般不是整数); step2以该解的上下整数界限建立新的约束,将原整数规划问题变为两个问题(分枝); step3分别对两个子问题求解(不考虑整数约束),若解刚好为整数解则结束;若不为整数解则继续进行分枝; step4以最开始的目标函数值作为上界,子问题求解中得到的任一整数解为下界(定界),对子问题进行剪枝,减小问题规模; step5重复以上步骤直到得到最优解 割平面法 step1不考虑整数约束的情况下求解得到最优解 (一般不是整数); step2通过该解做一个割平面(二维情况下为一条直线),缩小可行域; step3在缩小后的可行域中求最优解(不考虑整数约束) step4重复步骤2和步骤3,直到最优解满足整数约束 0-1规划模型当整数规划问题中的整数型决策变量限制为只能取0或1时,称为0-1整数规划,简称为0-1规划。 因为0-1规划问题的解空间比一般的整数规划问题较少,求解起来较为容易,且所有的整数规划问题都可以化为0-1规划问题,所以在建立混合整数规划模型求解实际问题时,应尽量使用0-1决策变量进行建模。 例如:有十个工厂可供决策时,可以使用10个0-1变量,当取值为0时时代表不使用这个工厂,取值为1时使用该工厂。 0-1规划的常用求解方法:分支定界算法、割平面法、隐枚举法 案例:投资的收益和风险 问题描述与分析符号规定 模型假设 根据模型假设和符号规定,我们可以写出模型的第一个优化目标为总体风险尽可能小,而总体风险是所有投资中风险最大的一个
第二个优化目标为净收益尽可能大。根据题意,交易费用为一个分段函数(非线性函数),因此需要进行简化:由于题目给定的定值 相对于总投资额 很小,可以忽略不计,因此将交易费简化为 ,所以目标函数为
对于一个多目标优化模型,常用的考虑方式为先固定其中一个目标,再优化另一个目标。 在本题中,可以给定一个投资者能够承受的风险界限 ,使得最大投资风险下损失比例小于 ,即 ,将其作为新的约束,就可以把多目标优化转化为单目标优化,即: 使用python scipy库求解 反映了投资者对风险的偏好程度,从 开始,以步长为0.001进行循环搜索,使用python编写代码如下 #导入相关库 import numpy as np import matplotlib.pyplot as plt import scipy.optimize as op #定义a的取值 a = 0 profit_list = [] #记录最大收益 a_list = [] #记录a的取值 while a |
今日新闻 |
推荐新闻 |
CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |