alex_bn_lee

导航

< 2025年3月 >
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5

统计

【366】通过 python 求解 QP 问题

参考: 9.3 凸优化 · 如何在 Python 中利用 CVXOPT 求解二次规划问题

参考: Quadratic Programming - Official website

步骤如下:

  • 首先安装 cvxopt library
  • 将问题化成标准 QP 问题, 得到 P/q/G/h/A/b
  • 直接利用自带函数求解即可
    cvxopt.solvers.qp(P, q[, G, h[, A, b[, solver[, initvals]]]])

1、二次规划问题的标准形式

上式中,x为所要求解的列向量,xT表示x的转置

接下来,按步骤对上式进行相关说明:

  • 上式表明,任何二次规划问题都可以转化为上式的结构,事实上用cvxopt的第一步就是将实际的二次规划问题转换为上式的结构,写出对应的PqGhAb

  • 目标函数若为求max,可以通过乘以−1,将最大化问题转换为最小化问题

  • Gx≤b表示的是所有的不等式约束,同样,若存在诸如x≥0的限制条件,也可以通过乘以−1转换为的形式

  • Ax=b表示所有的等式约束

2、以一个标准的例子进行过程说明

例子中,需要求解的是x,y,我们可以把它写成向量的形式,同时,也需要将限制条件按照上述标准形式进行调整,用矩阵形式表示,如下所示:

  • 如上所示,目标函数和限制条件均转化成了二次规划的标准形式,这是第一步,也是最难的一步,接下来的事情就简单了
  • 对比上式和标准形式,不难得出:

接下来就是几行简单的代码,目的是告诉计算机上面的参数具体是什么

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
from cvxopt  import solvers, matrix
P = matrix([[1.0,0.0],[0.0,0.0]])   # matrix里区分int和double,所以数字后面都需要加小数点
q = matrix([3.0,4.0])
G = matrix([[-1.0,0.0,-1.0,2.0,3.0],[0.0,-1.0,-3.0,5.0,4.0]])
h = matrix([0.0,0.0,-15.0,100.0,80.0])
 
sol = solvers.qp(P,q,G,h)   # 调用优化函数solvers.qp求解
print sol['x'# 打印结果,sol里面还有很多其他属性,读者可以自行了解
 
    pcost       dcost       gap    pres   dres
 01.0780e+02 -7.6366e+02  9e+02  1e-16  4e+01
 19.3245e+01  9.7637e+00  8e+01  1e-16  3e+00
 26.7311e+01  3.2553e+01  3e+01  6e-17  1e+00
 32.6071e+01  1.5068e+01  1e+01  2e-16  7e-01
 43.7092e+01  2.3152e+01  1e+01  2e-16  4e-01
 52.5352e+01  1.8652e+01  7e+00  8e-17  3e-16
 62.0062e+01  1.9974e+01  9e-02  6e-17  3e-16
 72.0001e+01  2.0000e+01  9e-04  6e-17  3e-16
 82.0000e+01  2.0000e+01  9e-06  9e-17  2e-16
Optimal solution found.
[ 7.13e-07]
[ 5.00e+00]
  • 看了上面的代码,是不是觉得很简单。因为难点不在代码,而是在于将实际优化问题转化为标准形式的过程
  • 在上面的例子中,并没有出现等号,当出现等式约束时,过程一样,找到A,b,然后运行代码 sol = solvers.qp(P,q,G,h,A,b) 即可求解

扩展:上述定义各个矩阵参数用的是最直接的方式,其实也可以结合Numpy来定义上述矩阵

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
from cvxopt import solvers, matrix
import numpy as np
 
P = matrix(np.diag([1.0,0]))  #  对于一些特殊矩阵,用numpy创建会方便很多(在本例中可能感受不大)
q = matrix(np.array([3.0,4]))
G = matrix(np.array([[-1.0,0],[0,-1],[-1,-3],[2,5],[3,4]]))
h = matrix(np.array([0.0,0,-15,100,80]))
sol = solvers.qp(P,q,G,h)
 
     pcost       dcost       gap    pres   dres
 01.0780e+02 -7.6366e+02  9e+02  1e-16  4e+01
 19.3245e+01  9.7637e+00  8e+01  1e-16  3e+00
 26.7311e+01  3.2553e+01  3e+01  6e-17  1e+00
 32.6071e+01  1.5068e+01  1e+01  2e-16  7e-01
 43.7092e+01  2.3152e+01  1e+01  2e-16  4e-01
 52.5352e+01  1.8652e+01  7e+00  8e-17  3e-16
 62.0062e+01  1.9974e+01  9e-02  6e-17  3e-16
 72.0001e+01  2.0000e+01  9e-04  6e-17  3e-16
 82.0000e+01  2.0000e+01  9e-06  9e-17  2e-16
Optimal solution found.

  

posted on   McDelfino  阅读(3564)  评论(0编辑  收藏  举报

编辑推荐:
· AI与.NET技术实操系列(二):开始使用ML.NET
· 记一次.NET内存居高不下排查解决与启示
· 探究高空视频全景AR技术的实现原理
· 理解Rust引用及其生命周期标识(上)
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
阅读排行:
· DeepSeek 开源周回顾「GitHub 热点速览」
· 记一次.NET内存居高不下排查解决与启示
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· .NET 10首个预览版发布:重大改进与新特性概览!
· .NET10 - 预览版1新功能体验(一)
点击右上角即可分享
微信分享提示