Метод Гомори
Свойства «правильного отсечения (Гомори)»:
· линейные
· отсекает найденные оптимальные нецелочисленные решения задачи (1)-(3)
· не затрагивает ни одной из целочисленных точек задачи (1)-(4)
Б
|
|
| …
|
| …
|
|
| …
|
| …
|
| В
|
| …
|
| …
|
|
| …
|
| …
|
|
|
|
| …
|
| …
|
|
| …
|
| …
|
|
|
…
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
|
|
|
| …
|
| …
|
|
| …
|
| …
|
|
|
…
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
|
|
|
| …
|
| …
|
|
| …
|
| …
|
|
|
…
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
| …
|
|
|
| …
|
| …
|
|
| …
|
| …
|
|
|
|
| …
|
| …
|
|
| …
|
| …
|
| F(x)
|
Найдено оптимальные, нецелочисленные решения ЗЛП (1) - (3)
∈ Б (базисные) переменные
Б (небазисные)
Пусть 
Ι. Полностью целочисленные задачи:
Выбор наиболее эффективного отсечения.
Пусть
и
– нецелочисленные. Выбирают:
- строку, соответствующую
∉ Z с наибольшей дробной частью:


- если
=
, выбирают строку, которой соответствует:

Если

i – порождающая строка:
+
+ … +
+…+
= 
(1+0)
+ ([
] +
)
+ … + ([
] +
)
+ … ([
] +
)
= [
] + 
- [0
+
+ … +
+ … + … + … +
]+
= - 



ЗЦП не имеет решения, если в симплекс-таблице появляется, хотя бы одна строка с дробным свободным членом (
) и целыми коэффициентами
при переменных
(
) (в этом случае соответствующие уравнение не имеет решения в целых числах).
Пример 2:
Б
|
| -3
|
|
|
|
|
| В
| [ ]
|
|
|
|
|
|
|
|
|
|
|
| -1/4
|
| 3/4
|
|
| 3/2
| 9/2
|
| 1/2
|
| 1/4
|
|
| 3/4
|
| 1/2
|
|
| -1/2
| 7/2
|
| 1/2
| 7/4
| 2/7
|
|
| -3/4
|
| 1/4
|
|
| -1/4
|
|
|
| -
| -
|
|
|
|
|
|
|
|
| -
| -
| -
| -
|



Строка, соответствующая
– порождающая:



отсечение Гомори (для дальнейшего решения применяют двойственный симплекс – метод)
Пример 1 (продолжение).

Б
|
|
|
|
|
| В
| [ ]
|
|
|
|
|
|
|
|
|
|
|
| 7/22
| 1/22
| 7/2
|
| 1/2
| 8/22
| 11/8
|
|
|
|
| -1/22
| 3/22
| 9/2
|
| 1/2
| 24/22
| 11/24
|
|
|
| 28/11
| 15/11
| 63
| -
| -
|
|
|



Б
|
|
|
|
|
|
| В
|
|
|
|
|
|
|
|
|
| 7/22
| 1/22
|
| 7/2
|
|
|
|
| -1/22
| 3/22
|
| 9/2
|
|
|
|
| -7/22
| -1/22
|
| -1/2
|
|
|
| 28/11
| 15/11
|
|
|
|
|
|
|
|
|
| 3
|
|
|
|
|
| 1/7
| -1/7
| 32/7
|
|
|
|
|
| 1/7
| -22/7
| 11/7
|
|
|
|
|
|
|
|


Б
|
|
|
|
|
|
|
| В
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1/7
| -1/7
|
| 32/7
|
|
|
|
|
| 1/7
| -22/7
|
| 11/7
|
|
|
|
|
| -1/7
| -6/7
|
| -4/7
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| -1
|
|
|
|
|
|
|
|
| -4
|
|
|
|
|
|
|
|
|
| -7
|
|
|
|
|
|
|
|
|
|
II. Частично целочисленная задача: 

Пусть в примере (А)
Z (условие целочисленности накладывается только на
, все остальные
, j≠2, могут быть дробными)
Пример 3: 



