При одних значениях а задача (5) имеет решение, при других — нет, и исходная задача сводится к определению минимального а, при котором (5) имеет решение. Минимальное а ищется процессом типа деления вилки , каждый акт которого требует решения терминальной задачи (5). Эта редукция указана в работе автора [92], однако никогда им не использовалась и не рекомендовалась, так как методом последовательной линеаризации можно прямо решать исходную задачу на min F0 lu(-), T].