Fpij1sumwu

Описание задачи

Дано [math]m[/math] станков, на которых нужно обработать [math]n[/math] деталей. Каждую деталь нужно обработать по очереди на всех станках. Любая работа на любом станке выполняется единицу времени. Для каждой работы есть дедлайн [math]d_i[/math] — время, до которого она должна быть закончена, и штраф [math]w_i[/math], который нужно будет выплатить в случае, если работа была закончена после [math]d_i[/math]. Необходимо минимизировать суммарный штраф, который придется выплатить.

Описание алгоритма

Утверждение:

Существует оптимальное расписание, в котором каждая работа делается непрерывно.

[math]\triangleright[/math]

Рассмотрим расписание, в котором есть работы, которые делаются не непрерывно. Рассмотрим самый ранний разрыв: работа [math]i[/math] делалась в моменты [math]t(i), t(i)+1, \ldots, t(i)+k[/math], где [math]k\lt m[/math], но не делалась в момент времени [math]t(i)+k+1[/math]. Докажем, что в момент времени [math]t(i)+k+1[/math], [math]k+1[/math]-й станок простаивает и можно продолжить делать [math]i[/math]-ю работу. Пусть в момент времени [math]t(i)+k+1[/math] на [math]k+1[/math]-м станке делается работа [math]j[/math]. В [math]t(i)+k[/math]-й момент времени [math]k[/math]-й станок был занят выполнением [math]i[/math]-й работы, а значит, не мог выполнять [math]j[/math]-ю. Значит, разрыв был раньше, что противоречит тому, что был выбран самый ранний разрыв. Значит, в [math]t(i)+k+1[/math]-й момент [math]k+1[/math]-й станок свободен и туда можно поставить [math]i[/math]-ю работу, устранив разрыв. После устранения каждого разрыва получим расписание без разрывов, в котором каждая работа заканчивает выполняться не позже, чем в изначальном.

[math]\triangleleft[/math]