Нет, это невозможно.Если простое число выполнимо и ограничено, то двойственное также должно быть выполнимым и ограниченным, и они должны иметь одинаковое оптимальное объективное значение (это следует из сильной двойственности для линейного программирования).Таким образом, в вашем случае вывод заключается в том, что двойственное должно быть неправильно сформировано.
Одна стандартная первичная / двойственная установка состоит в том, что первичное min c'x s.t. Ax >= b, x >= 0
имеет двойное max b'y s.t. A'y <= c, y >= 0
.Мы можем легко получить ваше начальное в этой форме с помощью:
min -4x + y
s.t. -5x + 2y >= -3
-3x - y >= -2
x,y >= 0
Соответствующий двойник:
max -3a - 2b
s.t. -5a - 3b <= -4
2a - b <= 1
a, b >= 0
Двойник имеет оптимальное решение a = 7/11, b = 3/11и оптимальное объективное значение -27/11, которое в точности является оптимальным первичным объективным значением.