cplex boolVarArray, дающий двойные значения

Question

Я пытаюсь реализовать ILP с использованием CPLEX Java и долгое время сталкивался с проблемой. Вот несколько переменных НРП:

IloIntVar above = new IloIntVar[numRect][]; 
IloIntVar below = new IloIntVar[numRect][]; 
IloIntVar left = new IloIntVar[numRect][]; 
IloIntVar right = new IloIntVar[numRect][]; 

for (int i = 0; i < numRect; i++) { 
     above[i] = cplex.boolVarArray(numRect); 
     below[i] = cplex.boolVarArray(numRect); 
     left[i] = cplex.boolVarArray(numRect); 
     right[i] = cplex.boolVarArray(numRect); 
} 

Значение numRect равно 1. В конце вывода программы I эти значения:

for (int i = 0; i < numRect; i++) { 
      for (int j = i + 1; j < numRect; j++) { 
       System.out.println(cplex.getValue(left[i][j])); 
       System.out.println(cplex.getValue(right[i][j])); 
       System.out.println(cplex.getValue(above[i][j])); 
       System.out.println(cplex.getValue(below[i][j])); 
       System.out.println(cplex.getValue(left[i][j]) + 
            cplex.getValue(right[i][j]) + 
            cplex.getValue(above[i][j]) + 
            cplex.getValue(below[i][j])); 
      } 
     } 

Вот выход я получаю:

0.0 
0.0 
9.313225750491594E-10 
0.9999999990686774 
1.0 

Я не понимаю, почему я получаю двойные значения вместо булевых. Любая помощь будет оценена по достоинству. Благодарю.

Answer 1

IloBoolVar - это просто IloNumVar, ограниченное 0 или 1. По умолчанию все, что находится в пределах 0,00001 из 0 или 1, считаются целыми числами. Вы можете изменить это, установив параметр EpInt. Параметр может быть установлен на ноль, но вы вызываете проблемы с производительностью. Это лучшая практика для округления ценностей. Фактически, в любое время, когда вы работаете с числами с плавающей запятой, вам нужно знать о проблемах округления, подобных этому.

Answer 2

Вы не сказали, на каком языке вы используете. По некоторым причинам, версия C++ Концерта имеет

IloCplex.GetIntValue() 

и вы получите 0 или 1.

Концерт для Java и C# (я не знаю о других языках) только IloCplex.GetValue(). Вам нужно округлить значения до 0 или 1. Я также должен сначала проверить, что значения находятся в пределах небольшого значения нуля или одного, просто чтобы убедиться, что вы фактически решаете MIP, а не LP.