foundations of computational agents
A constraint satisfaction problem (CSP) consists of
a set of variables,
a domain for each variable, and
a set of constraints.
A finite CSP has a finite set of variables and a finite domain for each variable. Some of the methods considered in this chapter only work for finite CSPs, although some are designed for infinite, even continuous, domains.
Suppose the delivery robot must carry out a number of delivery activities, , , , , and . Suppose that each activity happens at any of times , , , or . Let be the variable representing the time that activity will occur, and similarly for the other activities. The variable domains, which represent possible times for each of the deliveries, are
Suppose the following constraints must be satisfied:
It is instructive for you to try to find a model for this example; try to assign a value to each variable that satisfies these constraints.
Given a CSP, a number of tasks are useful:
Determine whether or not there is a model.
Find a model.
Count the number of models.
Enumerate all of the models.
Find a best model, given a measure of how good models are.
Determine whether some statement holds in all the models.
The multidimensional aspect of CSPs, where each variable is a separate dimension, makes these tasks difficult to solve, but also provides structure that can be exploited.
This chapter mostly considers the problem of finding a model. Some of the methods can also determine if there is no model, and can be adapted to finding all models. What may be more surprising is that some of the methods can find a model if one exists, but they cannot determine that there is no model if none exists.
CSPs are very common, so it is worth trying to find relatively efficient ways to solve them. Determining whether there is a model for a CSP with finite domains is NP-complete (see box) and no known algorithms exist to solve such problems that do not use exponential time in the worst case. However, just because a problem is NP-complete does not mean that all instances are difficult to solve. Many instances have structure to exploit.