2.5.14. Related

Denotes the fact that a constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ and a constraint C π‘Žπ‘™π‘ π‘œ are related by a specific reason that is not covered by an existing link.

EXAMPLE: As an example, the constraint C π‘Žπ‘™π‘ π‘œ = πšπš›πšŽπšŽ_πš›πšŠπš—πšπšŽ (i.e.,Β given a digraph, partition it so that each vertex belongs to one tree for which the difference between the longest and the shortest paths – from a leaf to the root – is restricted) is related to the constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ = πš‹πšŠπš•πšŠπš—πšŒπšŽ (i.e.,Β given a set of variables, restrict the difference between the number of occurrence of the value that occurs the most and the value that occurs the least) by the fact that, on the one hand the constraint πšπš›πšŽπšŽ_πš›πšŠπš—πšπšŽ can express a balanced tree, on the other side the constraint πš‹πšŠπš•πšŠπš—πšŒπšŽ can express a balanced assignment.