Define dist ⁡ ( v ) {\displaystyle \operatorname {dist} (v)} to be the length of the shortest path from s {\displaystyle s} to v {\displaystyle v} in G f {\displaystyle G_{f}} .
Пусть dist ⁡ ( v ) {\displaystyle \operatorname {dist} (v)}  — длина кратчайшего пути из s {\displaystyle s} в v {\displaystyle v} в графе G f {\displaystyle G_{f}} .