For simplicity, assume that such an assignment is unique, and call the corresponding solution , for marked state. + Suppose there is a problem with a very large yet finite number of potential solutions, and you know no better way to find the right one other than trying all available ...