nComplete? No: fails in infinite-depth spaces, spaces with loops
nModify
to avoid repeated states along path
nà complete in finite spaces
nTime? O(bm): terrible if m is much larger than d
n but if solutions are dense, may be much
faster than breadth-first
nSpace? O(bm), i.e., linear space!
nOptimal? No