Изменения

Будем поддерживать для каждой вершины два вида смежных с ней вершин:* Обозначим множество <tex>Succ(s) \in V</tex> как множество вершин, исходящих из вершины <tex>s</tex>.  Аналогично * Обозначим множество <tex>Pred(s) \in V</tex> как множество вершин, входящих в вершину <tex>s</tex>. Ясно, что обязано соблюдаться условие: <tex>Succ(s) \subseteq V</tex> и <tex>Pred(s) \subseteq V</tex>.

Если Теперь опишем функцию <tex>rhs(s)</tex>. Эта функция будет использовать минимальные расстояние из минимальных расстояний от <tex>s_{start}</tex> до вершин, входящих в данную вершины <tex>s = </tex>. Потенциально это и будет нам давать информацию о расстояние от <tex>s_{start}</tex>:до <tex dpi="120">rhs(s) = 0</tex>.Иначе :<tex dpi="120">rhs(s) = \begin{cases}0,& \text{if } s = s_{start} \\min_{s' \in Pred(s)}(g(s') + c(s', s),& \text{otherwise}\end{cases}</tex>