5.216. min_size_set_of_consecutive_var
| DESCRIPTION | LINKS | GRAPH |
- Origin
N.Β Beldiceanu
- Constraint
- Arguments
- Restrictions
- Purpose
is the size of the smallest set of variables of the collection that all take their value in a set of consecutive values.
- Example
-
In the example, the two parts and take respectively their values in the two following sets of consecutive values and . Consequently, the constraint holds since the cardinality of the smallest set of variables is 4.
- Symmetries
Items of are permutable.
All occurrences of two distinct values of can be swapped.
One and the same constant can be added to the attribute of all items of .
- See also
- Keywords
-
characteristic of a constraint: consecutive values, minimum.
- Arc input(s)
- Arc generator
-
- Arc arity
- Arc constraint(s)
- Graph property(ies)
-
- Graph model
Since the arc constraint is symmetric each strongly connected component of the final graph corresponds exactly to one connected component of the final graph.
PartsΒ (A) andΒ (B) of FigureΒ 5.216.1 respectively show the initial and final graph associated with the Example slot. Since we use the graph property, we show the smallest strongly connected component of the final graph.
Figure 5.216.1. Initial and final graph of the constraint
(a) 
(b)