Вариант линейного программирования, в котором значения решения должны быть целыми.