Алгоритм сдвигов для оптимальных структурных расписаний

Решается следующая задача. Задано мультимножество $J$. Найти перестановку его элементов, минимизирующую значение функционала $f$, заданного на всех перестановках мультимножества $J$. Формируются ограничения на функционал $f$, при которых решение получается с помощью алгоритма сдвигов со сложностью $O(|B(J)|^2|J|)$ вычислений значений функционала $f$. Доказано, что функционал $f_\Sigma=\sum_{i=1}^p\lambda_i(t_i)$ удовлетворяет сформулированным условиям и к нему применим алгоритм сдвигов.