Метод проектирования и разбиений для задач линейного динамического программирования

Рассматривается метод декомпозиции задачи линейного динамического программирования, заключающийся в проектировании на пространство переменных состояния. Получающаяся задача кусочно-линейного программирования сводится к конечному набору задач линейного программирования путем построения разбиения множества допустимых значений состояний на области линейности функционала. Предлагаются два алгоритма для общего и невырожденного случаев, сходящихся к точному решению исходной задачи за конечное число шагов.