==Formal definition==Formally, a constraint satisfaction problem is defined as a triple formula_1, where: formula_2 is a set of variables,: formula_3 is a set of the respective domains of values, and: formula_4 is a set of constraints.
Более формально, задача удовлетворения ограничений (УО) представляет собой кортеж formula_1, где formula_2 - множество переменных, formula_3 - множество доменов значений переменных, formula_4 - множество ограничений.