2016-11-19 8 views
1

Я пытаюсь решить следующую задачу оптимизации с пакетом R lpSolve: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 

создать матрицу границ (б):

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

и целевая функция (е):

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), 

я получаю решение с (0,0,0,1 , 0,0), хотя я знаю, что решение с (0,1,0,0,0,0). Если я изменю правую границу (вместо 15 я делаю 13), все будет работать. В чем может быть проблема?

+1

Это страшно, я был бы склонен использовать другой решатель. –

ответ

2

С 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 
+0

Спасибо. Я проверю его и дам вам знать. – Kirill

+0

Да, это работает. Еще один вопрос: знаете ли вы, что все MILP производят приближенные целые числа; Я имею в виду, что если число достаточно близко, то оно считается целочисленным. – Kirill

+0

См. [Релаксация LP] (https://en.wikipedia.org/wiki/Linear_programming_relaxation#Branch_and_bound_for_exact_solutions) для описания алгоритма, который вычисляет точные решения. –