
Figure 4.
Associated to each system of difference constraints is a weighted directed graph called the constraint graph. The directed graph shown here corresponds to the system of difference constraints given in equation 6. The weight of each inequality is shown next to the corresponding directed edge, so that the inequalityu − s ≤ 6 corresponds to the directed edge joining s to u with weight 6.











