[求助]一道优化的题目，除了库恩塔克的解法，有些不明白，欢迎指教

徐帆

4 H- J x$ t: D# r4 W) p- S/ ~

+ h$ L8 O3 ~: q$ K8 b7 G4 d* f( c+ S6 Z2 h: T3 F& e& b% ^& k' ?) Y5 t

再求数学高人

$ Z5 p; D [% R* Z! Z! p9 Y; h 用分段线性函数近似求解非线性规划(不知道标准数学表达法是怎样的)， + n8 \) b+ N! |5 o+ t6 _ Min x12-4x1-2x2 7 J; b6 |8 M. C s.t.不等式组条件如下 X1+X2<=4 1 G% Y5 P# S$ u+ d2 z1 h- K U2 H V 2X1+X2<=5 -X1+4X2>=2 ) H) U- r* S; s8 s8 I X1>=0 X2>=0 【方法一】: 因目标函数中变量是可分离的，所以用替代变量y代替二次方的变量x12，将原目标表示成一次函数，以便于用线性（单纯形）方法求解。 首先给定一个取值的区间，设0≤x1≤2.5, 选择一系列x1的值，比如0，1，2 和2.5, 计算对应的函数值y如下: 点O x1=0 y= x12=0 点A x1=1 y= x12=1 1 D# Y) C' U/ c( x" m) V. e5 ~ 点B x1=2 y= x12=4 , u" o0 E: `0 Q 点C x1=2.5 y= x12=6.25 * K+ J H: m! i1 N8 J6 K 如图1: 2 j5 q4 m+ D- ]9 G+ h 用分段的线段OA, AB, BC近似代替y=x2, 原规划表达为线性规划如下: Min Y-4X1-2X2 + ]" ^( ^8 P# K4 F s.t. 6 c0 s, n2 X5 F* A3 [ X1+X2<=4 4 J2 d* u* j8 t' | 2X1+X2<=5 , h% F0 z+ E0 J- P1 J/ l -X1+4X2>=2 + S( H! S, T( |9 t X1-Y<=0 3X1-Y<=2 4.5X1-Y<=5 & Y0 q- U7 ]0 a X1>=0 X2>=0 至此没有问题, 但解下来该怎样解就不知道了. ' k2 b! e( \; b& y6 R# z 【方法二】: 取近似值的方法不一样， + S% H7 w: ~, G X1=0p1+1P2+2P3+2.5p4 Y =0p1+1*p2+4*p3+6.25*P4 1 = p1+p2+p3+p4 原规划可表示如下: Min Y-4X1-2X2 2 H% o7 ?/ x; S: G9 j s.t. + ^0 J& `5 i( e# M X1+X2<=4 - G4 i% z9 Z/ k0 B$ v 2X1+X2<=5 -X1+4X2>=2 -X1+P2+2P3+2.5P4=0 -Y+P2+4P3+6.25P4=0 P1+P2+P3+P4=1 ) @+ Z4 T# [% M2 q" p4 B# O Y,X1,X2,P1,P2,P3,P4>=0 同样的问题,到这里就不知道下面怎么解了. 0 e {! O2 |- }% {8 t 图2 6 O. j) J \$ g4 s& E+ \ 0 z/ g5 H7 B0 k, m3 P8 ?; ] 原规划用Kuhn-Tucker方法可解, 但老师非要求用上面方法解, 所以请不吝赐教, 谢谢! " g/ m# ?6 \" u& l: W6 y 我用kuhn tucker解得答案为 min=-9， x1=1， x2=3,验算觉得答案是对的，可还是不是老师要求的方法

youshanglanyu

还没看懂

yjshappy

没看明白哦。。。。。。

chenyugf

唉,都是高手,就我不是

madio

好在是三维的向量不等式，你把每个不等式看成三维空间中的半平面，将这些半空间画出图来然后做交集就可以了！

徐帆

不用大型的，就一般的，比如这一题，算三个点就好了，

7 I- c& E, |. q+ k' U

如下了，该怎么解这个不等式，我在国内是英文专业，现在上物流master，碰到这种玩意实在不知道从哪里下手了，谢谢拉

Min Y-4X1-2X2

s.t.

X1+X2<=4

+ B- M* W( }* P1 H4 o% H

2X1+X2<=5

- \3 X$ d( i& @( w7 f

-X1+4X2>=2

X1-Y<=0

3X1-Y<=2

9 c3 I* J; S6 M6 d1 g' a

4.5X1-Y<=5

: _, {4 l2 [# j4 H1 }1 q

X1>=0 X2>=0

[em06][em06]

madio

晕，大型线性不等式的求解问题至今好像没有什么好的办法呀！

徐帆

这些我都明白，就是到了最后，不知道该怎么解这个不等式组了

madio

你不断地加密分点不就可以使得近似成的线性规划的可行域与原先非线性规划的可行域不断接近吗？细分到一定程度就可以认为差不多了呀！这样相当于增加了约束条件的个数来换取目标函数的简化！