Directed acrylic graph

known as DAG, a directed graph without any cycle.

Tense edge

If this edge can be improved the destination vertex shortest walk estimation

(𝑢𝑣)𝑢.𝑑𝑖𝑠𝑡+𝑤(𝑢𝑣)<𝑣.𝑑𝑖𝑠𝑡

Relax edge operation

(𝑢𝑣)𝑢𝑣is tense𝑣.𝑑𝑖𝑠𝑡𝑢.𝑑𝑖𝑠𝑡+𝑤(𝑢𝑣)

Negative cycle

Negative weight cycles make shortest paths undefined for any algorithm, as we can decrease cost infinitely by repeating the cycle.
Additionally, negative edge weights break Dijkstra’s greedy assumption.