Изначально потенциалы равны кратчайшим расстояниям.

Вопрос 1: Как обновлять потенциалы?

Вопрос 2: Как доказывать, что при таком обновлении потенциалов не возникнет ребер отрицательной стоимости?

Говорят, что надо к старым потенциалам надо просто прибавить новое расстояние. Верно ли это?