Constraint satisfaction




<application> The process of assigning values to variables while meeting certain requirements or "constraints".

For example, in graph colouring, a node is a variable, the colour assigned to it is its value and a link between two nodes represents the constraint that those two nodes must not be assigned the same colour.

In scheduling, constraints apply to such variables as the starting and ending times for tasks.

The Simplex method is one well known technique for solving numerical constraints.

The search difficulty of constraint satisfaction problems can be determined on average from knowledge of easily computed structural properties of the problems.

In fact, hard instances of NP-complete problems are concentrated near an abrupt transition between under- and over-constrained problems.

This transition is analogous to phase transitions in physical systems and offers a way to estimate the likely difficulty of a constraint problem before attempting to solve it with search.

Phase transitions in search (ftp://parcftp.xerox.com/pub/dynamics/constraints.html) (Tad Hogg, XEROX PARC).



< Previous Terms Terms Containing constraint satisfaction Next Terms >
constraint functional programming
Constraint Handling In Prolog
ConstraintLisp
Constraint Logic Programming
CONSTRAINTS
constraint
Constraint Handling In Prolog
constraint satisfaction
knapsack problem
quantum computer
constructed type
constructive
Constructive Cost Model
constructive solid geometry
constructor