5.246. max_occ_of_sorted_tuples_of_values
DESCRIPTION | LINKS |
- Origin
Design.
- Constraint
- Type
- Arguments
- Restrictions
- Purpose
is equal to the maximum number of occurrences of identical vectors derived from the vectors in the following way. To each vector of (with distinct) let be the corresponding sorted vector by increasing component. We generate all vectors such that , , , (with ).
- Example
-
Given the seven vectors of the example we respectively generate:
the pairs , and from the triple ,
the pairs , and from the triple ,
the pairs , and from the triple ,
the pairs , and from the triple ,
the pairs , and from the triple ,
the pairs , and from the triple ,
the pairs , and from the triple .
Putting these pairs together, we get the set of pairs , , , , , , , , , , , , , , , , , , , , . The constraint holds since each vector has pairwise distinct components, and since is set to one and all the generated pairs are distinct.
- Typical
- Arg. properties
Functional dependency: determined by and .
Contractible wrt. when .
- Usage
This constraint occurs in balanced block design problems where all vectors are not necessarily sorted.
- See also
common keyword: , Β (vector).
- Keywords