9.1 Background

• Depth first search for a solution (v₁,v₂,...) over some solution space S₁ × S₂ ×
• Iterative search

  for each v1 in S1     if( solution(v1) ){ exit(0); }     for each v2 in S2       if( solution(v1,v2) ){ exit(0); }       for each v3 in S3           .....

• Recursive search

  algorithm search(k,n)     if( k > n ){ exit(1); }     for each vk in Sk{       if( solution(v1,...,vk) ){ exit(0); }       search( k+1, n )   } }

S1 = {a,a'} S2 = {b,b'} S3 = {c,c'} - - - a     a b   a b c a b c' a b'   a b' c a b' c' a'     a' b   a' b c a' b c' a' b'   a' b' c a' b' c'