2.2. Метод Гомори

Ясно, что когда задача целочисленного программирования имеет более двух переменных, её необходимо решать аналитическими методами. Одним из таких методов является метод Гомори. Он заключается в следующем.

1. Задача решается как обычная (симплекс-методом или методом искусственного базиса). Если в результате получилось целочисленное решение, то задача решена. В противном случае идём к шагу 1.

2. Допустим, b_i  нецелочисленная компонента решения, полученного на 1-м шаге, , , …,  коэффициенты при свободных переменных , , …, соответствующего ограничения, из которых хотя бы один – не целый. Тогда к ограничениям, полученным в последней симплекс-таблице, добавляется дополнительное ограничение { } +{ } +…+{ } {b_i}, которое после введения очередной дополнительной переменной примет вид

{ } +{ } +…+{ } x_n+1={b_i}. (2.1)

Здесь {a}  дробная часть числа a, n  количество переменных задачи в последней симплекс-таблице. Идём к пункту 1.

Если нецелочисленных компонент в оптимальном решении, полученном на первом шаге, несколько, то берём ту, у которой дробная часть наибольшая.

Если b_i  дробное, а все коэффициенты , , …, при свободных переменных (в последней симплекс-таблице)являются целыми, то задача целочисленного программирования не имеет решения. Ясно, что задача целочисленного программирования решения не будет иметь, если задача решений не имеет вообще.

Пример 2. Решить задачу целочисленного программирования методом Гомори:

2x₁+4x₂max

Решение. Решая первоначальную задачу, как обычную, получим следующие симплекс-таблицы:

Базис		Сб	Св. чл.	2	4	0	0	1	2
				x1	x2	x3	x4
x3		0		2	1	1	0
x4		0	10	1	3	0	1	10		
j			0	2	4	0	0
x3		0	3		0	1			
x2		4			1	0		10
j					0	0		
x1	2			1	0		
x2	4			0	1	
j				0	0

Таким образом, X₀=  оптимальное решение, то есть нецелочисленных компонент в оптимальном решении, полученном на первом шаге, два. Найдём их дробные части и сравним:

, и

Поэтому составляем дополнительное ограничение по первой компоненте оптимального решения, которой в последней симплекс-таблице соответствует ограничение . Имеем

, .

Поэтому дополнительное ограничение (1.1) в нашем случае принимает вид

.

Полученную задачу снова решаем как обычную:

Базис	Сб	Св. чл.	2	4	0	0	0	3
			x1	x2	x3	x4	x5
x1	2		1	0			0	3
x2	4		0	1			0
			0	0			1		
x1	2	1	1	0	0	1	1
x2	4	3	0	1	0		
x3	0		0	0	1		
j		14	0	0	0

Получили оптимальное решение X₀= данной задачи. Но так как исходная задача зависит только от двух переменных x₁ и x₂, которые принимают в этом решении целочисленные значения, то задача целочисленного программирования решена.

Ответ: X_цел.=(1, 3), F_{max цел.}=14.

Метод Гомори  не единственный аналитический метод решения целочисленной задачи. Разработан целый ряд аналитических методов, отличных от данного. В учебной литературе можно найти, например, метод ветвей и границ.