Compact Dastructures for ZonesDifference Bounded Matrices

Bellman 1958, Dill 1989

x<=1

y<= -5

y-x<=3

D

Emptyness

0

y

x

1

3

-5

Negative Cycle

iff

empty solution set

Graph

Previous slide

Next slide

Back to first slide

View graphic version