т.е. ситуация такая:
есть N задач, для каждой есть интервал выполнения Tm = [tk..tj]
Есть временной отрезок T = [t0..tn], включающий в себя все Tm
Тогда n(t) - функция, описывающая число задач, выполняющихся в некоторый момент времени t.
Далее ищем локальные максимумы n(t) и действуем сообразно с этим (смещаем некоторое число задача во времени вперед/назад)