To illustrate the algorithm, consider the example problem in
§3. It has *n*=*m*=2. With the assignments ordered according to the
corresponding interger value, i.e., 00, 01, 10, and 11, where

The resulting behavior is:

giving an amplitude of 1 in the solution assignment 00.

Another example, with *n*=*m*=3 is the propositional formula (NOT )
AND (NOT ) AND , with assignments ,
represented as bit vectors, and solution , i.e., the bit vector 100. In this case
*U* can be expressed in terms of from Eq. (15) in block form:

For this case, the algorithm's behavior is:

Again, all the amplitude is in the solution.

Feb. 1999