Talk:Interval contractor

Why does figure 2 show the blue box that is in the bottom right hand corner? Shouldn't that be removed from figure 2 just like the other blue boxes from figure 1 were removed from figure 2? Am I misunderstanding something or is this an error in the figure? >> The figure 2 is accurate. It shows a contraction, but not the optimal contraction. No solution (i.e. gray shape) can be removed (i.e. the magenta and red box cannot be contracted). The blue boxes were contracted to the empty set, it is optimal. The cyan box was contracted optimally (i.e. no further contraction is possible without losing solutions). The green box was contracted pessimistically (i.e. further contraction is possible). The bottom right box was also contracted pessimistically. However, no solution (i.e. gray shape) was removed which is the only thing mandatory. It is usual that in a contractor network some contraction leave a set unchanged (e.g. contractor for a useless or too wide constraint/contractor for an already accounted constraint). — Preceding unsigned comment added by 88.193.149.11 (talk) 21:59, 20 May 2022 (UTC)