Detection of negative-weight cycles Corollary. If a value d[] fails to converge after V-I passes, there exists a negative-weight cycle in G reachable from s. L c 2001 by Charles E Leiserson Introduction to Agorithms Day31L1815© 2001 by Charles E. Leiserson Introduction to Algorithms Day 31 L18.15 Detection of negative-weight cycles Corollary. If a value d[v] fails to converge after |V| – 1 passes, there exists a negative-weight cycle in G reachable from s