【问题标题】:R lpSolve package does not find optimal solutionR lpSolve 包没有找到最优解
【发布时间】:2016-11-19 16:28:41
【问题描述】:

我正在尝试使用 R lpSolve 包解决以下优化问题:

1.007825*x1 +12.000000*x2 +15.99492*x3 +14.00307*x4 +31.97207*x5 +30.97376*x6 >= 10
1.007825*x1 +12.000000*x2 +15.99492*x3 +14.00307*x4 +31.97207*x5 +30.97376*x6 <= 15
       1*x1        - 2*x2       + 0*x3        -1*x4        +0*x5        -3*x6 <=  2
         xi >= 0, where i = [1,2,3,4,5,6]

我的目标函数是:

1.007825*x1 +12.000000*x2 +15.99492*x3 +14.00307*x4 +31.97207*x5 +30.97376*x6

我以标准形式(A)创建约束矩阵:

           [,1] [,2]      [,3]      [,4]      [,5]      [,6]
 [1,] -1.007825  -12 -15.99492 -14.00307 -31.97207 -30.97376
 [2,]  1.007825   12  15.99492  14.00307  31.97207  30.97376
 [3,]  1.000000   -2   0.00000  -1.00000   0.00000  -3.00000
 [4,] -1.000000    0   0.00000   0.00000   0.00000   0.00000
 [5,]  0.000000   -1   0.00000   0.00000   0.00000   0.00000
 [6,]  0.000000    0  -1.00000   0.00000   0.00000   0.00000
 [7,]  0.000000    0   0.00000  -1.00000   0.00000   0.00000
 [8,]  0.000000    0   0.00000   0.00000  -1.00000   0.00000
 [9,]  0.000000    0   0.00000   0.00000   0.00000  -1.00000

我创建了边界矩阵 (b):

      [,1]
 [1,]  -10
 [2,]   15
 [3,]    2
 [4,]    0
 [5,]    0
 [6,]    0
 [7,]    0
 [8,]    0
 [9,]    0

和目标函数(f):

f = c(1.007825, 12.000000, 15.99492, 14.00307, 31.97207, 30.97376)

当我把它放入代码中时:

out = lp("min",f,A,rep("<=",9),b,all.int=TRUE),

我得到解 c(0,0,0,1,0,0),虽然我知道解是 c(0,1,0,0,0,0)。如果我更改右边框(而不是 15 我改为 13),一切正常。可能是什么问题?

【问题讨论】:

  • 这太可怕了,我倾向于使用不同的求解器。

标签: linear-programming integer-programming


【解决方案1】:

有了lpSolveAPI,问题就解决了:

library(lpSolveAPI)
lprec <- make.lp(0, ncol=6)
set.type(lprec, columns=seq(1,6), type="integer")
set.objfn(lprec, obj=c(1.007825, 12, 15.99492, 14.00307, 31.97207, 30.97376))

add.constraint(lprec, xt=c(1.007825, 12, 15.99492, 14.0030, 31.97207, 30.97376), type=">=", rhs=10)
add.constraint(lprec, xt=c(1.007825, 12, 15.99492, 14.0030, 31.97207, 30.97376), type="<=", rhs=15)
add.constraint(lprec, xt=c(1, -2, 0, -1, 0, -3), type="<=", rhs=2)

solve(lprec)
get.variables(lprec)

返回

[1] 0 1 0 0 0 0

【讨论】:

  • 谢谢。我会检查并通知您。
  • 是的,它有效。还有一个问题:你知道所有 MILP 是否都产生近似整数吗?我的意思是,如果一个数字足够接近,那么它就被认为是一个整数。
  • 参见LP relaxation 了解计算精确解的算法的描述。
猜你喜欢
  • 2013-05-15
  • 1970-01-01
  • 1970-01-01
  • 2018-04-06
  • 1970-01-01
  • 1970-01-01
  • 2017-03-27
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多