python求解二次规划_二次规划问题

解决最优化问题 ：

 

稍微对它做一下改动，如下：

  

  

这是一个约束优化问题，更进一步说是一个二次规划问题，复习一下约束优化问题：

定义1：约束非线性问题是，

其中和都是定义在上的实值连续函数，且至少有一个是非线性的(反之为线性约束优化问题)，m是一个正整数，叫做目标函数，叫做约束函数，如果目标函数是二次函数则叫做二次规划问题，由同时满足所有约束方程的点组成的集合叫做可行域，这些点叫可行点。

定义2:Farkas引理，对于给定的n维向量

与b，对于任意满足

  

的向量P，必有

的充要条件是：b在向量

所形成的凸锥内，即成立：

，

  

。

怎么理解“某个向量在若干其它向量形成的凸锥内”这个描述呢？可以看下图，