Линейная и целочисленная оптимизация
Содержание
Линейная и целочисленная оптимизация (Задание 17)
Два вида груза, два ограничения - по массе и по объёму, - и вопрос: что и сколько погрузить, чтобы выручка была наибольшей. Или наоборот: сколько рейсов понадобится, чтобы вывезти всё. Производной здесь нет вовсе, зато появляется требование, которого нет в других сюжетах задания 17: числа обязаны быть целыми. Из-за него решение состоит из двух половин - «больше нельзя» и «столько можно», - и без любой из них баллов не будет.
Модель: план из двух целых чисел
Оценка сверху: «больше нельзя»
Оценка снизу: наименьшее число рейсов
Перебор целых планов у границы
Алгоритм
Примеры решения
Условие: Мебельный магазин отправляет одним фургоном холодильники и диваны. Холодильник весит кг и занимает м, доставка одного холодильника приносит тыс. рублей. Диван весит кг и занимает м, доставка одного дивана приносит тыс. рублей. Фургон может взять не более кг груза и не более м. Сколько холодильников и сколько диванов нужно погрузить, чтобы выручка за рейс была наибольшей, и чему она равна?
Записываем модель
Пусть - число холодильников, - число диванов; оба числа целые и неотрицательные.
Оцениваем выручку сверху
Ищем и из системы и . Из второго уравнения , подстановка в первое даёт , то есть и . Оба множителя неотрицательны, значит оценка законна:
Выясняем, когда достигается равенство
Равенство возможно, только если оба неравенства обращаются в равенства: и . Вычитая второе из первого, получаем , откуда и ; оба числа целые и неотрицательные - план допустим.
Проверяем план
Масса: кг. Объём: м. Выручка: тыс. рублей.
Интерпретация. Фургон загружается полностью и по массе, и по объёму; никакой другой набор не даёт больше тысяч рублей за рейс. Для сравнения: «только холодильники» - это штук по массе и тыс. рублей, «только диваны» - штук по объёму и тыс. рублей.
Ответ: холодильников и диванов; наибольшая выручка тысяч рублей.
Условие: На стройку нужно перевезти тяжёлых плит массой т каждая и лёгких плит массой т каждая. Грузовик за один рейс поднимает не более т, а по габаритам ложемента вмещает не более плит (любых). Какое наименьшее число рейсов потребуется, чтобы перевезти все плиты?
Считаем общую массу
Оценка снизу: меньше нельзя
За один рейс перевозится не более т, поэтому при рейсах , то есть . Число рейсов целое, значит . Ограничение по числу плит слабее: из следует лишь , то есть . Решает именно масса.
Оценка сверху: столько можно
Сделаем рейсов, в каждом из которых тяжёлые и лёгкие плиты: масса рейса т, число плит - обе нормы выполнены. За эти рейсы перевезены тяжёлых и лёгких плит. Оставшиеся тяжёлые и лёгких плит увезём двумя рейсами, в каждом тяжёлая и лёгких: масса т, число плит - нормы выполнены. Итого рейсов, и все тяжёлых и лёгких плит перевезены.
Интерпретация. Жёстче оказывается ограничение по массе, а не по габаритам. Меньше чем рейсами обойтись невозможно ни при какой раскладке, и рейсов реально достижимы - обе половины доказаны.
Ответ: рейсов.
Условие: Речная баржа перевозит контейнеры двух типов: большой контейнер весит т, и за его перевозку платят тыс. рублей, малый весит т, и за него платят тыс. рублей. Баржа может взять не более т груза; свободного места на палубе достаточно, а число контейнеров каждого типа - целое неотрицательное. Какую наибольшую выручку может получить перевозчик за один рейс и сколько контейнеров каждого типа для этого нужно взять?
Записываем модель
Пусть - число больших контейнеров, - число малых; оба целые неотрицательные.
Оцениваем сверху
Отдача на тонну: у большого контейнера , у малого . Наибольшая равна , поэтому при верно и
Усиливаем оценку целочисленностью
Выручка выражается целым числом тысяч рублей, значит . Именно этот шаг делает оценку достижимой: план на тысячи не существует.
Предъявляем план
При , масса груза равна т, а выручка тыс. рублей. Оценка достигнута. Проверка соседних планов: , - масса т, выручка ; , - масса т, выручка ; , - масса ровно т, выручка . Все хуже.
Интерпретация. «Жадный» план - грузить только более выгодные большие контейнеры - оставляет т грузоподъёмности неиспользованными и даёт лишь тыс. рублей. Замена одного большого контейнера на два малых полностью использует т и добавляет тыс. рублей выручки.
Ответ: тысяч рублей ( больших и малых контейнера).
Как оформить решение на 2 балла
Критерии ФИПИ: балла - обоснованно получен верный ответ; балл - последовательность всех шагов верна, но допущена вычислительная ошибка; - в остальных случаях. Особенность темы в том, что «обоснованно» здесь означает двустороннюю аргументацию: одна найденная раскладка ответа не доказывает, а одна оценка ответа не даёт. В чистовике должны быть шесть пунктов.
- Переменные с указанием целочисленности: « и - числа контейнеров, целые неотрицательные».
- Все ограничения неравенствами и целевая функция с числами.
- Оценка: сверху для выручки, снизу для числа рейсов. Множители , или выписаны, их неотрицательность отмечена.
- Уточнение по целочисленности, если оценка дробная: выручка вниз, рейсы вверх.
- План, на котором оценка достигается, с проверкой каждого ограничения по отдельности.
- Вывод: « - достижимо и больше не бывает», и ответ в терминах задачи.
Частые ошибки
- Ограничения и , выручка . Какая оценка сверху верна?
- Общая масса груза т, за рейс перевозится не более т. Какова оценка снизу для числа рейсов?
- Оценка сверху дала , а выручка выражается целым числом тысяч рублей. Что писать дальше?
- Найден план на тысяч рублей. Почему этого мало для полного балла?
- Почему план «грузить только самый выгодный товар» бывает хуже оптимального?