overconstraint, underconstraint math.

[ilya shlyakhter]

В математическом контексте, overconstraint = избыток ограничений, underconstraint = недостаток ограничений. То есть, это описание ошибочной логической формулы -- если она выдаёт "ложно" для значений где должна выдавать "истинно", то имеет место overconstraint; если формула выдаёт "истинно" где должна выдавать "ложно", то имеет место underconstraint. Как правильно перевести overconstraint и underconstraint одним словом?