Relaxes all edges V-1 times, computing shortest paths and detecting reachable negative weight cycles.