Global Cardinality constraint

From Glossary

Jump to: navigation, search


This is a global constraint that is specified on LaTeX: n assignment variables LaTeX: \langle x_1 \dots x_n \rangle and LaTeX: n^{'} count variables LaTeX: \langle c_{v1} \dots c_{vn^{'}} \rangle, and enforces that each value LaTeX: v_i is assigned to exactly LaTeX: c_{vi} of the assignment variables, LaTeX: x_j. The global cardinality constraint LaTeX: gcc(x_1\dots x_n), c_{v1} \dots c_{vn^{'}}) is a generalization of the all different constraint which requires that every value is assigned to at most one variable.


Views
Personal tools