Arc Consistency Propagation
When we remove a value from Dx, we may get new removals because of it
E.g. Dx = {1,4,5}, Dy = {1, 2, 3}, Dz= {2, 3, 4, 5}
- x > y, z > x
- As before we can remove 1 from Dx, so Dx = {4,5}
- But now there is no support for Dz = 2,3,4
- So we can remove those values, Dz = {5}, so z=5
- Before AC applied to y-x, we could not change Dz
This can cause a chain reaction