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

В докладе будет представлен еще один способ параллелизации динамического программирования для маршрутных задач с условиями предшествования, основанный на предложенном в (Lawler, 1979) без доказательства корректности методе «разделяй и властвую». Суть метода в параллельном решении маршрутной задачи в прямом и попятном направлении до «середины» размерности и последующем «сращивании» полученных решений. Будет обоснована корректность метода.