通常对问题中变量值的限制称为（），它可以表示成一个等式或不等式的集合。