К алгоритмам динамического программирования оптимальных процессов

Формулируется задача дискретного оптимального управления, имеющая $m$ последовательно применяемых функций цели. В этой задаче оптимальный процесс, называемый также $m$-оптимальным, разыскивается как пара функций, определяемых на конечном множестве шагов, при связях, с помощью которых одна функция однозначно определяет другую, при ограничениях этих функций включением "$\in$" их значений в конечные множественные значения функций, составляющих известную пару. Построением ограничиваемой этой парой сверху по включениям "$\subset $" неубывающей последовательности на основе характеризации разрешимости задачи даётся единообразное представление множеств, которые образуют $k$-оптимальные процессы в случаях $k$ не больше $m$.